| Age | Commit message (Expand) | Author | Lines |
| 2025-03-01 | Rollup merge of #137776 - nnethercote:rustc_transmute-cleanups, r=jswrenn | Matthias Krüger | -8/+4 |
| 2025-02-28 | normalizing where-clauses is also coinductive, add tests | lcnr | -1/+4 |
| 2025-02-28 | Remove `allow(unused_variables)` for `rustc_transmute`. | Nicholas Nethercote | -8/+4 |
| 2025-02-28 | Remove `rustc_transmute`'s dependence on `rustc_infer`. | Nicholas Nethercote | -1/+1 |
| 2025-02-22 | Greatly simplify lifetime captures in edition 2024 | Michael Goulet | -3/+1 |
| 2025-02-22 | Fix binding mode problems | Michael Goulet | -1/+3 |
| 2025-02-19 | Make fewer crates depend on rustc_ast_ir | Michael Goulet | -2/+1 |
| 2025-02-13 | adjust derive_error | lcnr | -25/+103 |
| 2025-02-13 | normalizes-to rework rigid alias handling | lcnr | -4/+1 |
| 2025-02-08 | Rustfmt | bjorn3 | -19/+20 |
| 2025-02-05 | Pass spans around new solver | Michael Goulet | -12/+22 |
| 2025-02-05 | Remove span from delegate | Michael Goulet | -2/+0 |
| 2025-01-31 | Manually walk into WF obligations in BestObligation proof tree visitor | Michael Goulet | -56/+95 |
| 2025-01-31 | Move fulfillment error derivation into new module | Michael Goulet | -490/+505 |
| 2025-01-30 | introduce `ty::Value` | Lukas Markeffsky | -1/+1 |
| 2025-01-22 | Don't pick `T: FnPtr` nested goals | Boxy | -2/+21 |
| 2025-01-15 | Rollup merge of #135498 - compiler-errors:dyn-upcasting-completeness, r=lcnr | Guillaume Gomez | -0/+4 |
| 2025-01-14 | Make sure we can produce ConstArgHasWrongType errors for valtree consts | Michael Goulet | -2/+3 |
| 2025-01-14 | Prefer lower TraitUpcasting candidates | Michael Goulet | -0/+4 |
| 2025-01-06 | Rollup merge of #132345 - compiler-errors:fx-diag, r=lcnr | Jacob Pratt | -4/+75 |
| 2025-01-06 | Rollup merge of #134771 - compiler-errors:const-arg-has-type-err, r=lcnr | Matthias Krüger | -1/+18 |
| 2025-01-06 | Recurse on GAT where clauses in fulfillment error proof tree visitor | Michael Goulet | -5/+9 |
| 2025-01-06 | Add derived causes for host effect predicates | Michael Goulet | -3/+70 |
| 2025-01-03 | Also in the new solver | Michael Goulet | -3/+2 |
| 2024-12-25 | Report correct SelectionError for ConstArgHasType in new solver fulfill | Michael Goulet | -1/+18 |
| 2024-12-20 | remove non-borrowck member constraints | lcnr | -2/+0 |
| 2024-12-02 | Assert that obligations are empty before deeply normalizing | Michael Goulet | -0/+4 |
| 2024-11-28 | support revealing defined opaque post borrowck | lcnr | -1/+3 |
| 2024-11-26 | do not constrain infer vars in `find_best_leaf_obligation` | lcnr | -4/+13 |
| 2024-11-23 | Auto merge of #133242 - lcnr:questionable-uwu, r=compiler-errors,BoxyUwU | bors | -1/+1 |
| 2024-11-23 | no more Reveal :( | lcnr | -1/+1 |
| 2024-11-23 | Remove unnecessary bool from ExpectedFound | Michael Goulet | -2/+2 |
| 2024-11-12 | Consolidate type system const evaluation under `traits::evaluate_const` | Boxy | -12/+11 |
| 2024-10-29 | TypingMode :thinking: | lcnr | -15/+9 |
| 2024-10-22 | remove unused field | lcnr | -1/+1 |
| 2024-10-17 | Rollup merge of #131825 - lcnr:probe-no-more-leak-2, r=compiler-errors | Matthias Krüger | -0/+1 |
| 2024-10-17 | SolverDelegate add assoc type for Infcx | lcnr | -0/+1 |
| 2024-10-17 | move `defining_opaque_types` out of `Canonical` | lcnr | -2/+2 |
| 2024-10-16 | Rollup merge of #131699 - compiler-errors:better-errors-for-projections, r=lcnr | Matthias Krüger | -12/+22 |
| 2024-10-15 | Be better at reporting alias errors | Michael Goulet | -5/+21 |
| 2024-10-15 | Always recurse on predicates in BestObligation | Michael Goulet | -7/+1 |
| 2024-10-12 | Swap PredicateObligation to ThinVec | GnomedDev | -1/+3 |
| 2024-10-12 | Swap Vec<PredicateObligation> to type alias | GnomedDev | -10/+7 |
| 2024-10-11 | remove outdated FIXMEs | lcnr | -0/+2 |
| 2024-10-10 | impossible obligations check fast path | lcnr | -7/+8 |
| 2024-09-25 | Compiler: Rename "object safe" to "dyn compatible" | León Orell Valerian Liehr | -1/+1 |
| 2024-09-22 | Reformat using the new identifier sorting from rustfmt | Michael Goulet | -30/+29 |
| 2024-09-12 | more eagerly discard constraints on overflow | lcnr | -1/+1 |
| 2024-08-30 | Remove `#[macro_use] extern crate tracing` from `rustc_trait_selection`. | Nicholas Nethercote | -0/+4 |
| 2024-08-14 | Rollup merge of #128828 - lcnr:search-graph-11, r=compiler-errors | 许杰友 Jieyou Xu (Joe) | -7/+3 |