summary refs log tree commit diff
path: root/src/librustc/middle/free_region.rs
AgeCommit message (Expand)AuthorLines
2017-11-16integrate NLL with MIR type-checkerNiko Matsakis-1/+1
2017-11-02add `regions_that_outlive` to `FreeRegionMap`Niko Matsakis-0/+13
2017-09-24Point at parameter type on E0301Esteban Küber-1/+1
2017-09-11rustc: evaluate fixed-length array length expressions lazily.Eduard-Mihai Burtescu-1/+2
2017-09-01rustc: rename CodeExtent to Scope and RegionMaps to ScopeTree.Eduard-Mihai Burtescu-10/+10
2017-06-17move `implied_bounds` into regionckNiko Matsakis-19/+1
2017-05-13rustc: stop interning CodeExtent, it's small enough.Eduard-Mihai Burtescu-2/+2
2017-05-13rustc: treat ReEarlyBound as free without replacing it with ReFree.Eduard-Mihai Burtescu-34/+29
2017-05-13rustc: use DefId instead of CodeExtent for FreeRegion's scope.Eduard-Mihai Burtescu-6/+3
2017-04-30introduce per-fn RegionMapsTaylor Cramer-55/+98
2017-04-30intern CodeExtentsNiko Matsakis-69/+65
2017-04-30remove ROOT_CODE_EXTENT and DUMMY_CODE_EXTENTNiko Matsakis-6/+9
2017-04-30On-demandify region mappingTaylor Cramer-2/+2
2017-04-13Auto merge of #40570 - nikomatsakis:inference-subtype-through-obligation, r=a...bors-0/+1
2017-04-12ICH: Hash everything that gets encoded into crate metadata.Michael Woerister-0/+4
2017-04-11add Subtype predicateNiko Matsakis-0/+1
2017-02-28move the `FreeRegionMap` into `TypeckTables`Niko Matsakis-1/+5
2016-09-01turn the RFC1592 warnings into hard errorsAriel Ben-Yehuda-1/+0
2016-08-27rustc: pass ty::Region behind an interned 'tcx reference.Eduard Burtescu-12/+12
2016-05-11rustc_typeck: Generalize over 'tcx != 'gcx.Eduard Burtescu-5/+5
2016-05-11rustc: Split 'tcx into 'gcx and 'tcx for InferCtxt and its users.Eduard Burtescu-5/+5
2016-05-11rustc: Replace &'a TyCtxt<'tcx> with a TyCtxt<'a, 'tcx> wrapper.Eduard Burtescu-1/+1
2016-05-11rustc: Avoid free functions taking &TyCtxt and &InferCtxt.Eduard Burtescu-3/+2
2016-05-03change the newly-added errors to warningsAriel Ben-Yehuda-0/+1
2016-04-06Replace consider_unification_despite_ambiguity with obligation variantMasood Malekghassemi-0/+1
2016-03-31librustc: replace tcx.sess.bug calls with bug!()Benjamin Herr-5/+4
2016-03-27rustc: move cfg, infer, traits and ty from middle to top-level.Eduard Burtescu-2/+2
2016-03-03Rename middle::ty::ctxt to TyCtxtJeffrey Seyfried-3/+3
2015-10-05Fix some typos.Ms2ger-1/+1
2015-09-14move middle::ty and related modules to middle/ty/Ariel Ben-Yehuda-1/+1
2015-08-24fix testAriel Ben-Yehuda-2/+2
2015-08-24store the CodeExtent directly in FreeRegionAriel Ben-Yehuda-2/+1
2015-08-24Use a Vec instead of an HashMap for the scope hierarchyAriel Ben-Yehuda-2/+2
2015-08-21completely aborted commentNiko Matsakis-1/+6
2015-08-21rename `best_upper_bound` to `postdom_upper_bound`Niko Matsakis-1/+1
2015-08-21nits from pnkfelixNiko Matsakis-0/+1
2015-08-21fix accidental reversal of 'static, and add a testNiko Matsakis-1/+1
2015-08-18rewrite `free_region`/`region_inference` to use newly mintedNiko Matsakis-26/+57
2015-08-12Add two new kinds of predicates, WellFormed and ObjectSafe.Niko Matsakis-0/+2
2015-08-12Define the `wf` and `outlives` relation separately, unlike the existingNiko Matsakis-10/+11
2015-07-24Unify the upvar variables found in closures with the actual types of theNiko Matsakis-1/+0
2015-07-20implement 'a:'static region boundsAriel Ben-Yehuda-7/+23
2015-06-19rustc: remove Repr and UserString.Eduard Burtescu-6/+5
2015-06-19Clean up unused argument/variable warnings.Eduard Burtescu-1/+0
2015-06-19rustc: use the TLS type context in Repr and UserString.Eduard Burtescu-4/+4
2015-04-18Rather than storing the relations between free-regions in a globalNiko Matsakis-0/+127
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-05-03 23:36:32 +0000