Skip to content

Use InternedString rather than Name for RegionParameterDef#49913

Merged
bors merged 1 commit intorust-lang:masterfrom
varkor:RegionParameterDef-InternedString
Apr 14, 2018

Commits

Commits on Apr 13, 2018