about summary refs log tree commit diff
path: root/src/librustc/infer/sub.rs
AgeCommit message (Expand)AuthorLines
2019-02-05move librustc to 2018Mark Mansi-5/+5
2019-01-04Revert "add coherence future-compat warnings for marker-only trait objects"Ariel Ben-Yehuda-5/+1
2018-12-25Remove licensesMark Rousskov-10/+0
2018-12-14add coherence future-compat warnings for marker-only trait objectsAriel Ben-Yehuda-1/+5
2018-11-03Shift both late bound regions and bound typesscalexm-2/+2
2018-08-22Remove Ty prefix from Ty{Adt|Array|Slice|RawPtr|Ref|FnDef|FnPtr|Dynamic|Closu...varkor-4/+4
2018-04-24Make Binder's field private and clean up its usageTyler Mandry-1/+1
2017-11-16make the `region_constraints` field an `Option`Niko Matsakis-1/+2
2017-11-16infer: rename `region_vars` field to `region_constraints`Niko Matsakis-1/+1
2017-11-16move refcells out from `RegionVarBindings` and up into `InferCtxt`Niko Matsakis-1/+1
2017-06-01strip param-env from infcxNiko Matsakis-0/+1
2017-04-30intern CodeExtentsNiko Matsakis-2/+2
2017-04-11generalize type variables tooNiko Matsakis-2/+6
2017-04-11remove the subtyping relations from TypeVariableNiko Matsakis-4/+3
2017-04-11use obligations to propagate sub-typing instead of the TV codeNiko Matsakis-4/+21
2017-04-11remove bivarianceNiko Matsakis-1/+1
2016-11-15register `infer-ok` obligations properlyNiko Matsakis-1/+2
2016-11-15remove TypeOrigin and use ObligationCause insteadNiko Matsakis-0/+1
2016-08-27rustc: pass ty::Region behind an interned 'tcx reference.Eduard Burtescu-1/+2
2016-07-25Tidy upMasood Malekghassemi-2/+6
2016-07-25Use &mut for CombineFields in inference relationsMasood Malekghassemi-10/+5
2016-07-25Move `a_is_expected` out of `CombineFields`Masood Malekghassemi-10/+17
2016-07-25Rename infcx lifetimes in inference relationsMasood Malekghassemi-6/+6
2016-05-11rustc: Generalize a minimum set of functions over 'tcx != 'gcx.Eduard Burtescu-11/+10
2016-05-11rustc: Split 'tcx into 'gcx and 'tcx for InferCtxt and its users.Eduard Burtescu-6/+6
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-2/+2
2016-04-12Suppress fallback and ambiguity errorsNiko Matsakis-0/+1
2016-03-29Plumb obligations through librustc/inferMasood Malekghassemi-0/+5
2016-03-27rustc: move cfg, infer, traits and ty from middle to top-level.Eduard Burtescu-0/+116
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 14:43:30 +0000