Skip to content

Remove ErasedRegions from substs#32346

Merged
bors merged 3 commits intorust-lang:masterfrom
nikomatsakis:no-erased-regions
Mar 25, 2016
Merged

Remove `ErasedRegions` from substs#32346
bors merged 3 commits intorust-lang:masterfrom
nikomatsakis:no-erased-regions

Commits

Commits on Mar 24, 2016