| Age | Commit message (Expand) | Author | Lines |
| 2023-08-02 | Remove constness from `TraitPredicate` | Deadbeef | -3/+1 |
| 2023-08-01 | Make coverage counter IDs count up from 0, not 1 | Zalathar | -1/+1 |
| 2023-08-01 | Make coverage expression IDs count up from 0, not down from `u32::MAX` | Zalathar | -2/+1 |
| 2023-08-01 | Replace `ExpressionOperandId` with enum `Operand` | Zalathar | -1/+0 |
| 2023-07-30 | inline format!() args up to and including rustc_middle | Matthias Krüger | -6/+6 |
| 2023-07-27 | Remove `constness` from `ParamEnv` | Deadbeef | -1/+1 |
| 2023-07-14 | refactor(rustc_middle): Substs -> GenericArg | Mahdi Dibaiee | -17/+17 |
| 2023-07-11 | Auto merge of #112984 - BoxyUwU:debug_with_infcx, r=compiler-errors | bors | -12/+179 |
| 2023-07-07 | Rename `adjustment::PointerCast` and variants using it to `PointerCoercion` | Nilstrieb | -1/+1 |
| 2023-07-06 | Add a new trait to `Debug` things with an infcx available | Boxy | -12/+179 |
| 2023-07-05 | Deal with fallout | Boxy | -2/+26 |
| 2023-07-05 | move `ConstKind` to typeir and move inherent impls to `Const` | Boxy | -18/+0 |
| 2023-07-04 | Replace `mk_const` with `Const::new_x` methods | Boxy | -1/+1 |
| 2023-07-03 | remove TypeWellFormedFromEnv | Michael Goulet | -3/+0 |
| 2023-06-26 | TypeWellFormedInEnv | Michael Goulet | -3/+3 |
| 2023-06-26 | Migrate predicates_of and caller_bounds to Clause | Michael Goulet | -9/+0 |
| 2023-06-22 | Expect clause more | Michael Goulet | -4/+1 |
| 2023-06-22 | Migrate item_bounds to ty::Clause | Michael Goulet | -0/+9 |
| 2023-06-19 | Fully fledged Clause type | Michael Goulet | -0/+25 |
| 2023-06-19 | s/Clause/ClauseKind | Michael Goulet | -8/+8 |
| 2023-06-17 | Move ConstEvaluatable to Clause | Michael Goulet | -3/+3 |
| 2023-06-17 | Move WF goal to clause | Michael Goulet | -1/+1 |
| 2023-05-26 | better `TyKind::Debug` | Boxy | -7/+52 |
| 2023-05-16 | format `Const`'s less verbosely | Boxy | -0/+38 |
| 2023-05-13 | Implement references VarDebugInfo. | Camille GILLOT | -0/+1 |
| 2023-04-27 | Rollup merge of #110838 - nnethercote:more-Folder-Visitable-cleanups, r=lcnr | Matthias Krüger | -20/+0 |
| 2023-04-26 | Remove unused `TypeFoldable`/`TypeVisitable` impls. | Nicholas Nethercote | -20/+0 |
| 2023-04-25 | vars are ? | Michael Goulet | -1/+1 |
| 2023-04-24 | Split `{Idx, IndexVec, IndexSlice}` into their own modules | Maybe Waffle | -1/+1 |
| 2023-04-17 | Spelling - compiler | Josh Soref | -1/+1 |
| 2023-04-17 | Rollup merge of #110386 - nnethercote:clean-up-traversal-macros, r=lcnr | Matthias Krüger | -3/+1 |
| 2023-04-16 | Simplify `CloneLiftImpls` and `TrivialTypeTraversalImpls`. | Nicholas Nethercote | -3/+1 |
| 2023-04-16 | Remove `TypeSuper{Foldable,Visitable}` impls for `Region`. | Nicholas Nethercote | -18/+0 |
| 2023-04-06 | Remove index from BrAnon | Jack Huey | -1/+1 |
| 2023-04-06 | Use BoundTy and BoundRegion instead of kind of PlaceholderTy and PlaceholderR... | Jack Huey | -2/+2 |
| 2023-03-28 | Move `mir::Field` → `abi::FieldIdx` | Scott McMurray | -2/+2 |
| 2023-03-23 | Printing alias-relate goals correctly | Michael Goulet | -2/+3 |
| 2023-03-23 | Rename AliasEq -> AliasRelate | Michael Goulet | -1/+1 |
| 2023-03-23 | Include relation direction in AliasEq predicate | Michael Goulet | -1/+3 |
| 2023-02-26 | Access upvars through a query. | Camille GILLOT | -0/+1 |
| 2023-02-24 | Rename `mk_{ty,region}` as `mk_{ty,region}_from_kind`. | Nicholas Nethercote | -1/+1 |
| 2023-02-24 | Rename many interner functions. | Nicholas Nethercote | -4/+4 |
| 2023-02-22 | Remove type-traversal trait aliases | Alan Egerton | -54/+113 |
| 2023-02-18 | Auto merge of #108112 - nnethercote:clarify-iterator-interners, r=oli-obk,com... | bors | -1/+1 |
| 2023-02-17 | Replace `mk_foo` calls with `infer_foo` where possible. | Nicholas Nethercote | -1/+1 |
| 2023-02-17 | Add `Clause::ConstArgHasType` variant | Boxy | -0/+1 |
| 2023-02-13 | Rename folder traits' `tcx` method to `interner` | Alan Egerton | -3/+3 |
| 2023-02-13 | Move folding and visiting traits into type library | Alan Egerton | -226/+19 |
| 2023-02-13 | Make atomic structural impls generic over Interner | Alan Egerton | -45/+45 |
| 2023-02-13 | Make folding traits generic over the Interner | Alan Egerton | -24/+24 |