Repository navigation

Refactorings in preparation for the removal of the leak check - #50397

Merged

bors merged 10 commits into

rust-lang:masterfrom

sgrif:sg-smaller-universe-refactorings

May 4, 2018

Commits on May 2, 2018

introduce `UniverseIndex` into `InferCtxt`
sgrif
committed
df8f537
add universes to type inference variables
sgrif
committed
e904d56
change skolemizations to use universe index
sgrif
committed
360cbf2
store RegionVariableInfo and not just RegionVariableOrigin
sgrif
committed
6234a89
give a universe to region variables
sgrif
committed
2f69b79
Fix rebase issues
sgrif
committed
ce64f9d
Wrap `InferCtxt::universe` in a cell
sgrif
committed
f5d240b
track skol levels in the InferCtxt rather than via counter
sgrif
committed
04708ba
Fix rebase issues
sgrif
committed
4ac9717
Add a comment explaining unification w/ universes
sgrif
committed
68a1fdf