| Age | Commit message (Expand) | Author | Lines |
| 2025-08-05 | Rename most of the printers. | Nicholas Nethercote | -3/+3 |
| 2025-08-05 | Rollup merge of #144776 - nnethercote:Printer-cleanups, r=cjgillot | Samuel Tardieu | -42/+43 |
| 2025-08-04 | Suggest bounds in more cases, accounting for type parameters referenced in pr... | Esteban Küber | -10/+68 |
| 2025-08-04 | Rollup merge of #144694 - compiler-errors:with-self-ty, r=SparrowLii | Stuart Cook | -8/+9 |
| 2025-08-03 | Remove unused arg from `path_append_impl`. | Nicholas Nethercote | -1/+0 |
| 2025-08-03 | Rename `Printer` variables. | Nicholas Nethercote | -37/+36 |
| 2025-08-03 | Mark `Printer` methods as unreachable where appropriate. | Nicholas Nethercote | -4/+7 |
| 2025-08-03 | Auto merge of #144677 - nnethercote:bound-const-handling, r=lcnr | bors | -4/+10 |
| 2025-08-01 | Auto merge of #144458 - compiler-errors:no-witness-mini, r=lcnr | bors | -37/+52 |
| 2025-08-01 | Auto merge of #144446 - nnethercote:opt-region-constraints, r=lcnr | bors | -22/+24 |
| 2025-07-31 | Remove the witness type from coroutine args | Michael Goulet | -6/+12 |
| 2025-07-31 | Extract borrowck coroutine drop-liveness hack | Michael Goulet | -2/+5 |
| 2025-07-31 | Stall coroutines based off of ty::Coroutine, not ty::CoroutineWitness | Michael Goulet | -29/+35 |
| 2025-07-31 | Rollup merge of #144726 - jdonszelmann:move-attr-data-structures, r=lcnr | Jana Dönszelmann | -1/+2 |
| 2025-07-31 | Rollup merge of #144702 - compiler-errors:stall-const-arg-has-type, r=lcnr | Jana Dönszelmann | -0/+7 |
| 2025-07-31 | remove rustc_attr_data_structures | Jana Dönszelmann | -1/+2 |
| 2025-07-31 | Overhaul `Constraint`. | Nicholas Nethercote | -22/+24 |
| 2025-07-31 | Make const bound handling more like types/regions. | Nicholas Nethercote | -4/+10 |
| 2025-07-31 | Rollup merge of #144713 - nnethercote:rustc_middle-ty-cleanups, r=lcnr | Stuart Cook | -7/+20 |
| 2025-07-31 | Remove `ParamEnvAnd::into_parts`. | Nicholas Nethercote | -1/+1 |
| 2025-07-31 | Move `ImplHeader` out of `rustc_middle`. | Nicholas Nethercote | -6/+19 |
| 2025-07-31 | Auto merge of #144405 - lcnr:hir-typeck-uniquify, r=BoxyUwU | bors | -2/+27 |
| 2025-07-30 | stall ConstArgHasType in compute_goal_fast_path | Michael Goulet | -0/+7 |
| 2025-07-30 | Distinguish appending and replacing self ty in predicates | Michael Goulet | -8/+9 |
| 2025-07-30 | add comment and opaque type fixme | lcnr | -0/+11 |
| 2025-07-30 | handle region dependent goals due to infer vars | lcnr | -1/+11 |
| 2025-07-29 | resuse eagerly resolved goal from previous iteration | lcnr | -1/+5 |
| 2025-07-28 | Rename trait_of_item -> trait_of_assoc | Cameron Steffen | -5/+5 |
| 2025-07-28 | use let chains in mir, resolve, target | Kivooeo | -142/+132 |
| 2025-07-20 | Consider param-env for fast path | Michael Goulet | -19/+29 |
| 2025-07-18 | Auto merge of #143545 - compiler-errors:coroutine-obl, r=oli-obk | bors | -30/+104 |
| 2025-07-17 | Auto merge of #141762 - compiler-errors:witnesser, r=lcnr | bors | -31/+90 |
| 2025-07-17 | Eagerly unify coroutine witness in old solver | Michael Goulet | -12/+43 |
| 2025-07-17 | Unstall obligations by looking for coroutines in old solver | Michael Goulet | -15/+40 |
| 2025-07-17 | Check if type has coroutines before visiting | Michael Goulet | -4/+7 |
| 2025-07-17 | Auto merge of #143879 - fee1-dead-contrib:push-lrlpoouyqqry, r=fmease | bors | -7/+7 |
| 2025-07-17 | parse `const trait Trait` | Deadbeef | -7/+7 |
| 2025-07-17 | Rollup merge of #143431 - xizheyin:143392, r=compiler-errors | Matthias Krüger | -5/+15 |
| 2025-07-17 | Auto merge of #144044 - fmease:rollup-kg413pt, r=fmease | bors | -5/+13 |
| 2025-07-17 | Rollup merge of #144016 - davidtwco:sized-hierarchy-temp-pseudo-revert, r=lcnr | León Orell Valerian Liehr | -0/+7 |
| 2025-07-17 | Use `join_path_syms` in one more place. | Nicholas Nethercote | -5/+6 |
| 2025-07-16 | trait_sel: `MetaSized` always holds temporarily | David Wood | -0/+7 |
| 2025-07-15 | Add alias for ArgOutlivesPredicate | Michael Goulet | -4/+2 |
| 2025-07-15 | Consider outlives assumptions when proving auto traits for coroutine interiors | Michael Goulet | -27/+103 |
| 2025-07-15 | Implement other logics | tiif | -0/+37 |
| 2025-07-15 | Add the core logic in old and new solvers | tiif | -2/+19 |
| 2025-07-14 | Rollup merge of #143901 - compiler-errors:region-constraint-nits, r=lcnr | Samuel Tardieu | -11/+2 |
| 2025-07-13 | Simplify make_query_region_constraints | Michael Goulet | -11/+2 |
| 2025-07-13 | Retire hir::*ItemRef. | Camille GILLOT | -13/+7 |
| 2025-07-13 | Remove hir::AssocItemKind. | Camille GILLOT | -43/+21 |