| Age | Commit message (Expand) | Author | Lines |
| 2020-02-16 | Move librustc/{traits,infer} to librustc_infer. | Camille GILLOT | -266/+0 |
| 2020-02-10 | Reduce the number of `RefCell`s in `InferCtxt`. | Nicholas Nethercote | -5/+13 |
| 2020-02-06 | index ReEmpty by universe | Niko Matsakis | -1/+1 |
| 2020-01-04 | canonicalize FxHash{Map,Set} imports | Mazdak Farrokhzad | -1/+2 |
| 2019-12-22 | Format the world | Mark Rousskov | -81/+72 |
| 2019-11-12 | Create intermediate enum ty::ConstKind. | Camille GILLOT | -10/+7 |
| 2019-10-21 | Rename `ConstValue::Infer(InferConst::Canonical(..))` to `ConstValue::Bound(..)` | varkor | -1/+1 |
| 2019-09-25 | Rename `sty` to `kind` | varkor | -1/+1 |
| 2019-06-19 | Change `ByRef` to a struct variant to clarify its fields via names | Oliver Scherer | -1/+1 |
| 2019-06-18 | rustc: remove 'x: 'y bounds (except from comments/strings). | Eduard-Mihai Burtescu | -1/+1 |
| 2019-06-14 | Run `rustfmt --file-lines ...` for changes from previous commits. | Eduard-Mihai Burtescu | -2/+1 |
| 2019-06-14 | Unify all uses of 'gcx and 'tcx. | Eduard-Mihai Burtescu | -7/+7 |
| 2019-06-12 | rustc: replace `TyCtxt<'tcx, 'gcx, 'tcx>` with `TyCtxt<'gcx, 'tcx>`. | Eduard-Mihai Burtescu | -1/+1 |
| 2019-06-12 | rustc: replace `TyCtxt<'a, 'gcx, 'tcx>` with `TyCtxt<'tcx, 'gcx, 'tcx>`. | Eduard-Mihai Burtescu | -1/+1 |
| 2019-05-25 | Make `ConstValue::Slice` solely take `[u8]` and `str` | Oliver Scherer | -1/+1 |
| 2019-05-01 | Fix rebase from LazyConst removal | varkor | -37/+36 |
| 2019-05-01 | Replace ConstVariableTable with UnificationTable | varkor | -1/+2 |
| 2019-05-01 | Add `ConstValue::Placeholder` | varkor | -1/+2 |
| 2019-05-01 | impl fold_const for TypeFreshener | Gabriel Smith | -22/+92 |
| 2019-05-01 | Rename mk_infer to mk_ty_infer | Gabriel Smith | -1/+1 |
| 2019-05-01 | Add stubs for `fold_const` | varkor | -0/+4 |
| 2019-04-25 | Update existing usages | varkor | -1/+1 |
| 2019-02-05 | move librustc to 2018 | Mark Mansi | -3/+3 |
| 2018-12-25 | Remove licenses | Mark Rousskov | -10/+0 |
| 2018-11-24 | Introduce `TyKind::Placeholder` variant | scalexm | -3/+3 |
| 2018-11-03 | Remove `ReCanonical` in favor of `ReLateBound` | scalexm | -1/+0 |
| 2018-11-03 | Move `BoundTy` to `ty::TyKind` | scalexm | -2/+2 |
| 2018-10-20 | Rename InferTy::CanonicalTy to BoundTy and add DebruijnIndex to variant type | Fabian Drinck | -1/+1 |
| 2018-10-19 | Prefer `Default::default` over `FxHash*::default` in struct constructors | Oliver Scherer | -1/+1 |
| 2018-10-19 | Deprecate the `FxHashMap()` and `FxHashSet()` constructor function hack | Oliver Scherer | -1/+1 |
| 2018-10-04 | rename skolemized to placeholder | Niko Matsakis | -1/+1 |
| 2018-10-03 | Introduce `TyKind::UnnormalizedProjection` | scalexm | -0/+1 |
| 2018-09-05 | Changing TyAnon -> TyOpaque and relevant functions | ms2300 | -1/+1 |
| 2018-08-22 | Remove Ty prefix from Ty{Bool|Char|Int|Uint|Float|Str} | varkor | -6/+6 |
| 2018-08-22 | Remove Ty prefix from Ty{Foreign|Param} | varkor | -2/+2 |
| 2018-08-22 | Remove Ty prefix from Ty{Adt|Array|Slice|RawPtr|Ref|FnDef|FnPtr|Dynamic|Closu... | varkor | -23/+23 |
| 2018-03-13 | add `canonicalize` method to `InferCtxt` [VIC] | Niko Matsakis | -1/+5 |
| 2018-03-01 | have `probe()` return `TypeVariableValue` | Niko Matsakis | -1/+1 |
| 2018-03-01 | obtain `UnificationTable` and `snapshot_vec` from `ena` instead | Niko Matsakis | -2/+2 |
| 2018-01-23 | Adds support for immovable generators. Move checking of invalid borrows acros... | John Kåre Alsaker | -0/+1 |
| 2017-12-15 | add a new RegionKind variant: ReClosureBound | Niko Matsakis | -0/+7 |
| 2017-11-18 | remove the `generator_sigs` map, query, and plumbing | Niko Matsakis | -106/+1 |
| 2017-11-18 | `TyClosure` no longer needs to use `freshen_closure_like` | Niko Matsakis | -13/+3 |
| 2017-11-18 | make `mk_closure` take a `ClosureSubsts` | Niko Matsakis | -1/+1 |
| 2017-11-18 | thread the closure-kind through in the closure substs | Niko Matsakis | -15/+1 |
| 2017-10-27 | Implement RFC 1861: Extern types | Paul Lietar | -0/+1 |
| 2017-08-29 | Track closure signatures & kinds in freshened types | Ariel Ben-Yehuda | -4/+146 |
| 2017-07-28 | Generator literal support | John Kåre Alsaker | -0/+1 |
| 2017-07-05 | use field init shorthand in src/librustc | Zack M. Davis | -1/+1 |
| 2017-05-13 | rustc: treat ReEarlyBound as free without replacing it with ReFree. | Eduard-Mihai Burtescu | -1/+1 |