Skip to content

Rename ParamTy::idx to ParamTy::index#60579

Merged
bors merged 1 commit intorust-lang:masterfrom
varkor:typaram-index
May 7, 2019

Commits

Commits on May 6, 2019