| Age | Commit message (Expand) | Author | Lines |
|---|
| 2025-09-08 | Make some matches non-exhaustive. | Nicholas Nethercote | -30/+2 |
| 2025-08-07 | Add a missing UpcastFrom impl in rustc_type_ir | Florian Diebold | -11/+1 |
| 2025-07-31 | Fix up size asserts. | Nicholas Nethercote | -0/+12 |
| 2025-07-18 | Auto merge of #143545 - compiler-errors:coroutine-obl, r=oli-obk | bors | -0/+1 |
| 2025-07-15 | Add alias for ArgOutlivesPredicate | Michael Goulet | -0/+1 |
| 2025-07-15 | Implement other logics | tiif | -0/+3 |
| 2025-05-26 | add additional `TypeFlags` fast paths | lcnr | -0/+2 |
| 2025-04-24 | norm nested aliases before evaluating the parent goal | lcnr | -4/+4 |
| 2025-03-15 | Fold visit into ty | Michael Goulet | -1/+1 |
| 2025-02-28 | review | lcnr | -14/+0 |
| 2025-02-28 | rework cycle handling | lcnr | -4/+2 |
| 2025-02-25 | Teach structured errors to display short `Ty` | Esteban Küber | -6/+12 |
| 2025-02-22 | Greatly simplify lifetime captures in edition 2024 | Michael Goulet | -8/+5 |
| 2025-01-18 | Get rid of `ToPolyTraitRef` | Michael Goulet | -10/+0 |
| 2025-01-06 | Add derived causes for host effect predicates | Michael Goulet | -0/+22 |
| 2024-10-24 | Implement const effect predicate in new solver | Michael Goulet | -0/+4 |
| 2024-10-04 | Elaborate supertrait span correctly to label the error better | Michael Goulet | -0/+4 |
| 2024-09-25 | Compiler: Rename "object safe" to "dyn compatible" | León Orell Valerian Liehr | -4/+4 |
| 2024-09-22 | Reformat using the new identifier sorting from rustfmt | Michael Goulet | -1/+1 |
| 2024-07-29 | Reformat `use` declarations. | Nicholas Nethercote | -1/+2 |
| 2024-07-08 | Rollup merge of #120248 - WaffleLapkin:bonk-ptr-object-casts, r=compiler-erro... | Matthias Krüger | -0/+8 |
| 2024-07-07 | Uplift elaboration | Michael Goulet | -1/+9 |
| 2024-07-04 | Align the changes to the lang decision | Maybe Lapkin | -0/+8 |
| 2024-06-18 | Uplift the new trait solver | Michael Goulet | -6/+36 |
| 2024-06-13 | Address nits | Michael Goulet | -0/+4 |
| 2024-06-13 | Finish uplifting all of structural_traits | Michael Goulet | -0/+9 |
| 2024-06-12 | Stop passing traitref/traitpredicate by ref | Michael Goulet | -1/+1 |
| 2024-05-28 | eagerly normalize when adding goals | lcnr | -6/+3 |
| 2024-05-23 | Remove `#[macro_use] extern crate tracing` from `rustc_middle`. | Nicholas Nethercote | -0/+1 |
| 2024-05-21 | Uplift OutlivesPredicate, remove a bunch of unnecessary associated types from... | Michael Goulet | -21/+12 |
| 2024-05-21 | Uplift binder | Michael Goulet | -136/+17 |
| 2024-05-19 | Make search graph generic over interner | Michael Goulet | -1/+5 |
| 2024-05-18 | Uplift GenericArgKind, CanonicalVarValues, QueryInput | Michael Goulet | -1/+0 |
| 2024-05-17 | to_opt_poly_X_pred -> as_X_clause | Michael Goulet | -2/+2 |
| 2024-05-16 | Uplift Goal to rustc_type_ir | Michael Goulet | -50/+28 |
| 2024-05-16 | Make impls UpcastFrom, implement Upcast for UpcastFrom | Michael Goulet | -89/+91 |
| 2024-05-16 | Make P parameter explicit | Michael Goulet | -16/+16 |
| 2024-05-16 | Rename ToPredicate for Upcast | Michael Goulet | -73/+73 |
| 2024-05-13 | Uplift AliasTy | Michael Goulet | -0/+1 |
| 2024-05-13 | split out AliasTy -> AliasTerm | Michael Goulet | -3/+3 |
| 2024-05-11 | Apply nits, uplift ExistentialPredicate too | Michael Goulet | -52/+28 |
| 2024-05-11 | Uplift `NormalizesTo`, `CoercePredicate`, and `SubtypePredicate` | Michael Goulet | -49/+11 |
| 2024-05-11 | Uplift `ExistentialTraitRef`, `ExistentialProjection`, `ProjectionPredicate` | Michael Goulet | -140/+7 |
| 2024-05-11 | Uplift `TraitPredicate` | Michael Goulet | -29/+2 |
| 2024-05-10 | Apply nits, make some bounds into supertraits on inherent traits | Michael Goulet | -0/+2 |
| 2024-05-10 | Lift `TraitRef` into `rustc_type_ir` | Michael Goulet | -80/+4 |
| 2024-05-09 | Rename Generics::params to Generics::own_params | Michael Goulet | -2/+2 |
| 2024-04-29 | Remove `extern crate rustc_macros` from `rustc_middle`. | Nicholas Nethercote | -0/+1 |
| 2024-03-27 | Remove `Ord` from `Ty`, `Const`, and `Region` | Oli Scherer | -4/+4 |
| 2024-03-22 | Split out ImplPolarity and PredicatePolarity | Michael Goulet | -6/+6 |
