Refactor DebruijnIndex to be 0-based#50475

Merged

bors merged 13 commits intorust-lang:masterfrom csmoe:debr

May 29, 2018

+360-184

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