summary refs log tree commit diff
path: root/src/librustc/ty/fold.rs
AgeCommit message (Expand)AuthorLines
2018-07-18Check lifetimes on existential typesOliver Schneider-3/+11
2018-07-07Auto merge of #52037 - lqd:skipping-regionless-types, r=nikomatsakisbors-0/+9
2018-07-04NLL Liveness: Skip regionless types when visiting free regionsRémy Rakic-0/+9
2018-07-03add "free region helpers"Niko Matsakis-14/+32
2018-06-28Merge `ConstVal` and `ConstValue`Oliver Schneider-2/+2
2018-06-28Move everything over from `middle::const_val` to `mir::interpret`Oliver Schneider-1/+1
2018-06-25`Self` in where clauses may not be object safeleonardo.yvens-0/+14
2018-06-14Edit commentFabian Drinck-1/+1
2018-06-14Declare DebruijnIndex via newtype_index macroFabian Drinck-8/+8
2018-05-28remove use of depth from `TyS` and replace with a debruijn indexNiko Matsakis-13/+24
2018-05-28convert `LateBoundRegionsCollector` to track a debruijn indexNiko Matsakis-6/+15
2018-05-28replace use of DebruijnIndex in `for_each_free_region`Niko Matsakis-5/+25
2018-05-28port `fold_regions` and friends to use debruijn indices directlyNiko Matsakis-40/+68
2018-05-28introduce `shifted_in`, `shifted_out` and friendsNiko Matsakis-2/+2
2018-05-17Rename trans to codegen everywhere.Irina Popa-1/+1
2018-05-17Rollup merge of #50740 - nnethercote:rm-LazyBTreeMap, r=cramertjkennytm-4/+4
2018-05-15Make is_global true for latebound regionsMatthew Jasper-3/+7
2018-05-14Remove LazyBTreeMap.Nicholas Nethercote-4/+4
2018-04-30make needs_infer specific to inference variablesNiko Matsakis-0/+3
2018-04-30remove some (apparently) dead codeNiko Matsakis-9/+0
2018-04-28Auto merge of #50240 - nnethercote:LazyBTreeMap, r=cramertjbors-4/+4
2018-04-26Implement LazyBTreeMap and use it in a few places.Nicholas Nethercote-4/+4
2018-04-24Make Binder's field private and clean up its usageTyler Mandry-2/+2
2018-03-13improve TypeFoldable/Lift macros and make a bunch of stuff use themNiko Matsakis-0/+3
2018-03-02Run Rustfix on librustcManish Goregaokar-2/+2
2017-12-15rework region flags: 'static can be erased tooNiko Matsakis-5/+10
2017-12-04fix debruijn account in `for_each_free_region`Niko Matsakis-1/+1
2017-12-04move `liberate_late_bound_regions` to a method on the tcxNiko Matsakis-0/+25
2017-12-04make `no_late_bound_regions` a method on `Binder<T>`Niko Matsakis-10/+0
2017-11-17use a BTreeMap instead of an FxHasMap for the skol regionsNiko Matsakis-4/+5
2017-10-31add helper `for_each_free_region` that iterates over free regionsNiko Matsakis-0/+37
2017-10-17make `erase_regions` use a query instead of an ad-hoc cacheNiko Matsakis-61/+0
2017-09-11rustc: evaluate fixed-length array length expressions lazily.Eduard-Mihai Burtescu-1/+21
2017-07-11Downgrade ProjectionTy's TraitRef to its substsTobias Schottdorf-4/+0
2017-07-05use field init shorthand in src/librustcZack M. Davis-6/+6
2017-06-01rustc: remove unused TypeFolder methods.Eduard-Mihai Burtescu-27/+0
2017-05-22remove the cell from type flags completelyNiko Matsakis-3/+2
2017-05-13rustc: stop interning CodeExtent, it's small enough.Eduard-Mihai Burtescu-1/+1
2017-05-13rustc: move liberate_late_bound_regions to rustc_typeck.Eduard-Mihai Burtescu-18/+0
2017-05-13rustc: use DefId instead of CodeExtent for FreeRegion's scope.Eduard-Mihai Burtescu-2/+2
2017-04-30intern CodeExtentsNiko Matsakis-22/+23
2017-04-30remove ROOT_CODE_EXTENT and DUMMY_CODE_EXTENTNiko Matsakis-1/+1
2017-04-22avoid calling `mk_region` unnecessarilyAriel Ben-Yehuda-3/+19
2017-02-25rustc: combine BareFnTy and ClosureTy into FnSig.Eduard-Mihai Burtescu-13/+0
2016-11-28rustc_privacy: visit Ty instead of HIR types in EmbargoVisitor.Eduard-Mihai Burtescu-0/+4
2016-11-08Replace FnvHasher use with FxHasher.Nicholas Nethercote-10/+10
2016-11-02rustc: record the target type of every adjustment.Eduard Burtescu-2/+2
2016-10-21only remove keys that mention skolemized regionsNiko Matsakis-17/+9
2016-10-03loosen assertion against proj in collectorNiko Matsakis-1/+1
2016-08-27rustc: pass ty::Region behind an interned 'tcx reference.Eduard Burtescu-36/+42