Repository navigation

Refactor DebruijnIndex to be 0-based - #50475

Merged

bors merged 13 commits into

rust-lang:masterfrom

May 29, 2018

Commits on May 28, 2018

introduce `shifted_in`, `shifted_out` and friends

nikomatsakis
and
csmoe
committed
69ab6f2
port `fold_regions` and friends to use debruijn indices directly

nikomatsakis
and
csmoe
committed
9c5a450
make `shifted_in` and `shifted_out` const fns

nikomatsakis
and
csmoe
committed
b5018de
stop invoking `DebruijnIndex::new` directly

nikomatsakis
and
csmoe
committed
8bd4bff
port `nice_region_error` code to not track depth but rather index

nikomatsakis
and
csmoe
committed
e2f7f4a
rewrite the hasher to not access `depth` field

nikomatsakis
and
csmoe
committed
f965b79
refactor `resolve_lifetime` to track outer-index, not depth

nikomatsakis
and
csmoe
committed
34c9ae7
replace use of DebruijnIndex in `for_each_free_region`

nikomatsakis
and
csmoe
committed
4aeb6ef
convert `LateBoundRegionsCollector` to track a debruijn index

nikomatsakis
and
csmoe
committed
06b2a3f
replace `binder_depth` in `LateBoundRegionsDetector`

nikomatsakis
and
csmoe
committed
8f15d1e
remove use of depth from `TyS` and replace with a debruijn index

nikomatsakis
and
csmoe
committed
7e15e0b
make depth private

nikomatsakis
and
csmoe
committed
22a25d9
change to 0-based indices

nikomatsakis
and
csmoe
committed
783fe4f