about summary refs log tree commit diff
path: root/src/librustc/infer/higher_ranked
AgeCommit message (Expand)AuthorLines
2018-03-16Replace many of the last references to readmesMark Mansi-1/+4
2018-03-01store type values in the unification table directlyNiko Matsakis-9/+8
2017-11-17use a BTreeMap instead of an FxHasMap for the skol regionsNiko Matsakis-4/+5
2017-11-16make the `region_constraints` field an `Option`Niko Matsakis-13/+11
2017-11-16infer: rename `region_vars` field to `region_constraints`Niko Matsakis-9/+15
2017-11-16rename `region_inference` module to `region_constraints`Niko Matsakis-1/+1
2017-11-16move refcells out from `RegionVarBindings` and up into `InferCtxt`Niko Matsakis-8/+12
2017-11-16extract the `tcx` out from `RegionVarBindings`Niko Matsakis-4/+4
2017-11-02add some better debugsNiko Matsakis-1/+4
2017-08-12Fix some typosBastien Orivel-1/+1
2017-07-29Cleanup some remains of `hr_lifetime_in_assoc_type` compatibility lintVadim Petrochenkov-49/+7
2017-07-05use field init shorthand in src/librustcZack M. Davis-1/+1
2017-05-13rustc: treat ReEarlyBound as free without replacing it with ReFree.Eduard-Mihai Burtescu-4/+4
2017-04-30intern CodeExtentsNiko Matsakis-16/+16
2017-03-26store a copy of the Issue32230 info within TypeErrorAriel Ben-Yehuda-2/+16
2017-02-05make lifetimes that only appear in return type early-boundNiko Matsakis-47/+1
2016-11-15remove TypeOrigin and use ObligationCause insteadNiko Matsakis-7/+7
2016-11-08Replace FnvHasher use with FxHasher.Nicholas Nethercote-12/+11
2016-10-21only remove keys that mention skolemized regionsNiko Matsakis-1/+4
2016-10-21when pop skol, also remove from proj cacheNiko Matsakis-0/+1
2016-10-03Optimize plug_leaks some more.Nicholas Nethercote-3/+3
2016-10-03Optimize plug_leaks.Nicholas Nethercote-3/+4
2016-09-11Use question_mark feature in librustc.Ahmed Charles-1/+1
2016-09-04Replace `_, _` with `..`Vadim Petrochenkov-1/+1
2016-08-27rustc: pass ty::Region behind an interned 'tcx reference.Eduard Burtescu-30/+36
2016-07-25Use &mut for CombineFields in inference relationsMasood Malekghassemi-4/+4
2016-07-25Move `a_is_expected` out of `CombineFields`Masood Malekghassemi-9/+10
2016-06-23Move errors from libsyntax to its own crateJonathan Turner-1/+1
2016-05-31add a higher-ranked match routineNiko Matsakis-0/+142
2016-05-31simplify HR subtyping back to what we did beforeNiko Matsakis-68/+2
2016-05-31warn if leak-check relies on LBRs that will changeNiko Matsakis-1/+50
2016-05-31add `Issue32330` warning marker to bound regionsNiko Matsakis-2/+0
2016-05-31make HR algorithms account for region subtypingNiko Matsakis-31/+153
2016-05-11Fixup indentation after methodification.Eduard Burtescu-155/+155
2016-05-11rustc: Generalize a minimum set of functions over 'tcx != 'gcx.Eduard Burtescu-44/+35
2016-05-11rustc: Split 'tcx into 'gcx and 'tcx for InferCtxt and its users.Eduard Burtescu-21/+21
2016-05-11rustc: Replace &'a TyCtxt<'tcx> with a TyCtxt<'a, 'tcx> wrapper.Eduard Burtescu-4/+4
2016-05-11rustc: Avoid free functions taking &TyCtxt and &InferCtxt.Eduard Burtescu-49/+34
2016-03-31librustc: replace span_bug calls with span_bug!()Benjamin Herr-11/+11
2016-03-27rustc: move cfg, infer, traits and ty from middle to top-level.Eduard Burtescu-0/+1017