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
port `fold_regions` and friends to use debruijn indices directly

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

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

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

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

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

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

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

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

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

nikomatsakis
and
csmoe
committed
make depth private

nikomatsakis
and
csmoe
committed
change to 0-based indices

nikomatsakis
and
csmoe
committed