about summary refs log tree commit diff
path: root/src/librustc/infer/equate.rs
AgeCommit message (Expand)AuthorLines
2020-02-16Move librustc/{traits,infer} to librustc_infer.Camille GILLOT-142/+0
2020-02-10Reduce the number of `RefCell`s in `InferCtxt`.Nicholas Nethercote-4/+9
2020-02-02Avoid exponential behaviour when relating typesMatthew Jasper-2/+8
2020-01-05Remove rustc_hir reexports in rustc::hir.Mazdak Farrokhzad-2/+2
2019-12-22Format the worldMark Rousskov-33/+45
2019-09-25Rename `sty` to `kind`varkor-1/+1
2019-09-22Infer consts consistently. Moved some logic into super_combined_consts,ben-37/+3
2019-09-12Shrink `SubregionOrigin`.Nicholas Nethercote-1/+1
2019-08-05Fiddle param env through to `try_eval_bits` in most placesOliver Scherer-0/+2
2019-06-18rustc: remove 'x: 'y bounds (except from comments/strings).Eduard-Mihai Burtescu-1/+1
2019-06-14Run `rustfmt --file-lines ...` for changes from previous commits.Eduard-Mihai Burtescu-3/+4
2019-06-14Unify all uses of 'gcx and 'tcx.Eduard-Mihai Burtescu-7/+7
2019-06-12rustc: replace `TyCtxt<'tcx, 'gcx, 'tcx>` with `TyCtxt<'gcx, 'tcx>`.Eduard-Mihai Burtescu-1/+1
2019-06-12rustc: replace `TyCtxt<'a, 'gcx, 'tcx>` with `TyCtxt<'tcx, 'gcx, 'tcx>`.Eduard-Mihai Burtescu-4/+2
2019-05-01Fix rebase from LazyConst removalvarkor-25/+24
2019-05-01Replace ConstVariableTable with UnificationTablevarkor-2/+3
2019-05-01Implement TypeRelation::constsvarkor-3/+45
2019-02-26replace &'tcx Substs with SubstsRefcsmoe-4/+4
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-4/+0
2018-12-25Remove licensesMark Rousskov-10/+0
2018-12-14add coherence future-compat warnings for marker-only trait objectsAriel Ben-Yehuda-0/+4
2018-12-07Various minor/cosmetic improvements to codeAlexander Regueiro-2/+2
2018-10-22Fix Rustdoc ICE when checking blanket implsAaron Hill-0/+3
2018-09-29rustc/infer: readability improvementsljedrz-4/+2
2018-08-22Remove Ty prefix from Ty{Adt|Array|Slice|RawPtr|Ref|FnDef|FnPtr|Dynamic|Closu...varkor-3/+3
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-05-11do not fetch variance for items when equatingNiko Matsakis-1/+20
2017-04-30intern CodeExtentsNiko Matsakis-2/+2
2017-04-11remove the subtyping relations from TypeVariableNiko Matsakis-5/+4
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-8/+9
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-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/+95