Add support for bound types - #55330

Merged

bors merged 11 commits into

rust-lang:masterfrom

scalexm:bound-ty

Nov 3, 2018

Commits on Nov 3, 2018

Move `BoundTy` to `ty::TyKind`
scalexm
committed
1003b7f
Shift both late bound regions and bound types
scalexm
committed
d044755
Rename `BoundTyIndex` to `BoundVar`
scalexm
committed
3dd303a
Rename `BoundTy` field `level` -> `index`
scalexm
committed
ee569c7
Adjust bound tys indices in canonicalization
scalexm
committed
1f8de94
Remove `ReCanonical` in favor of `ReLateBound`
scalexm
committed
45be1ac
Rename `Binder::no_late_bound_regions` to `Binder::no_bound_vars`
scalexm
committed
d99195a
Extend `ty::fold::RegionReplacer` to `ty::fold::BoundVarReplacer`
scalexm
committed
142359c
Fix doc comment
scalexm
committed
af8196b
Rename `as_bound_var` to `assert_bound_var`
scalexm
committed
0751997
Substitute binders directly
scalexm
committed
c5ed72f