| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 |
| 2024-08-12 | Rollup merge of #128912 - compiler-errors:do-not-recommend-impl, r=lcnr | Matthias Krüger | -5/+1 |
| 2024-08-12 | do not use the global solver cache for proof trees | lcnr | -7/+3 |
| 2024-08-11 | Use assert_matches around the compiler | Michael Goulet | -3/+6 |
| 2024-08-09 | Store do_not_recommend-ness in impl header | Michael Goulet | -5/+1 |
| 2024-07-29 | Reformat `use` declarations. | Nicholas Nethercote | -9/+9 |
| 2024-07-21 | Move all error reporting into rustc_trait_selection | Michael Goulet | -1/+2 |
| 2024-07-18 | valtree construction: keep track of which type was valtree-incompatible | Ralf Jung | -2/+2 |
| 2024-07-09 | Split out overflow handling into its own module | Michael Goulet | -1/+1 |
| 2024-07-08 | Move trait selection error reporting to its own top-level module | Michael Goulet | -1/+1 |
| 2024-07-08 | Rollup merge of #127439 - compiler-errors:uplift-elaborate, r=lcnr | 许杰友 Jieyou Xu (Joe) | -8/+0 |
| 2024-07-07 | Finish uplifting supertraits | Michael Goulet | -8/+0 |
| 2024-07-07 | Get rid of trait_ref_is_knowable from delegate | Michael Goulet | -10/+0 |
| 2024-07-05 | Split SolverDelegate back out from InferCtxtLike | Michael Goulet | -169/+2 |
| 2024-06-21 | Rename a bunch of things | Michael Goulet | -6/+6 |
| 2024-06-18 | Fix transmute goal | Michael Goulet | -1/+27 |
| 2024-06-18 | Fix impl for SolverDelegate | Michael Goulet | -76/+297 |
| 2024-06-18 | Uplift the new trait solver | Michael Goulet | -7260/+0 |
| 2024-06-18 | SolverDelegate | Michael Goulet | -148/+339 |
| 2024-06-18 | Make SearchGraph fully generic | Michael Goulet | -73/+49 |
| 2024-06-16 | Uplift OpaqueTypeKey too, use it in response | Michael Goulet | -9/+3 |
| 2024-06-16 | Uplift ExternalConstraintData | Michael Goulet | -15/+27 |
| 2024-06-16 | Make ExternalConstraints just carry outlives | Michael Goulet | -18/+22 |
| 2024-06-16 | Stop using AssocKind in new solver | Michael Goulet | -13/+11 |
| 2024-06-16 | Move InferCtxtSelectExt out of eval_ctxt module | Michael Goulet | -3/+3 |
| 2024-06-16 | Auto merge of #126505 - compiler-errors:no-vtable, r=lcnr | bors | -60/+21 |
| 2024-06-15 | Rollup merge of #126496 - compiler-errors:more-generics, r=lcnr | Guillaume Gomez | -143/+151 |
| 2024-06-15 | Rollup merge of #126404 - compiler-errors:alias-relate-terms, r=lcnr | Guillaume Gomez | -1/+40 |
| 2024-06-15 | Rollup merge of #126354 - compiler-errors:variance, r=lcnr | Matthias Krüger | -4/+4 |
| 2024-06-14 | Only compute vtable information during codegen | Michael Goulet | -60/+21 |
| 2024-06-14 | Correctly consider depth when visiting WF goals | Michael Goulet | -3/+18 |
| 2024-06-14 | Add TyCtxt::is_lang_item | Michael Goulet | -38/+36 |
| 2024-06-14 | Make proof tree probing generic | Michael Goulet | -38/+45 |
