| Age | Commit message (Expand) | Author | Lines |
|---|
| 2025-06-26 | Auto merge of #142774 - lcnr:search_graph-2, r=oli-obk | bors | -6/+6 |
| 2025-06-23 | Simplify API of solver a bit | Michael Goulet | -14/+6 |
| 2025-06-23 | inspect: merge `[Canonical]GoalEvaluation` | lcnr | -6/+6 |
| 2025-06-09 | Apply nested goals certainty to InspectGoals for normalizes-to | Michael Goulet | -35/+64 |
| 2025-06-07 | Rollup merge of #142126 - compiler-errors:normalize-uv-via-relate, r=BoxyUwU | Guillaume Gomez | -4/+1 |
| 2025-06-07 | Unify normalization of terms in deeply normalize | Michael Goulet | -4/+1 |
| 2025-06-05 | Only instantiate impl args | Michael Goulet | -28/+53 |
| 2025-05-29 | Auto merge of #141581 - lcnr:fold-clauses, r=compiler-errors | bors | -5/+4 |
| 2025-05-27 | Rename unpack to kind | Michael Goulet | -1/+1 |
| 2025-05-26 | add additional `TypeFlags` fast paths | lcnr | -5/+4 |
| 2025-05-26 | Don't rerun goals if none of its vars have changed | Michael Goulet | -3/+4 |
| 2025-05-07 | Use MaybeCause::or to allow constraints from overflows if they are combined w... | Michael Goulet | -1/+1 |
| 2025-04-16 | Fix replacing supertrait aliases in ReplaceProjectionWith | Michael Goulet | -3/+5 |
| 2025-03-15 | Fold visit into ty | Michael Goulet | -2/+1 |
| 2025-02-19 | Make fewer crates depend on rustc_ast_ir | Michael Goulet | -2/+1 |
| 2025-02-13 | normalizes-to rework rigid alias handling | lcnr | -2/+0 |
| 2025-02-05 | Pass spans around new solver | Michael Goulet | -3/+6 |
| 2025-01-31 | Manually walk into WF obligations in BestObligation proof tree visitor | Michael Goulet | -36/+46 |
| 2024-10-22 | remove unused field | lcnr | -1/+1 |
| 2024-10-15 | Be better at reporting alias errors | Michael Goulet | -2/+4 |
| 2024-09-22 | Reformat using the new identifier sorting from rustfmt | Michael Goulet | -2/+2 |
| 2024-08-30 | Remove `#[macro_use] extern crate tracing` from `rustc_trait_selection`. | Nicholas Nethercote | -0/+1 |
| 2024-08-14 | Rollup merge of #128828 - lcnr:search-graph-11, r=compiler-errors | 许杰友 Jieyou Xu (Joe) | -7/+3 |
| 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 | -2/+4 |
| 2024-06-21 | Rename a bunch of things | Michael Goulet | -1/+1 |
| 2024-06-18 | Fix impl for SolverDelegate | Michael Goulet | -38/+16 |
| 2024-06-18 | SolverDelegate | Michael Goulet | -3/+6 |
| 2024-06-14 | Correctly consider depth when visiting WF goals | Michael Goulet | -1/+14 |
| 2024-06-12 | Walk into alias-eq nested goals even if normalization fails | Michael Goulet | -2/+5 |
| 2024-06-05 | Basic removal of `Ty` from places (boring) | Boxy | -1/+1 |
| 2024-05-28 | refactor analyse visitor to instantiate states in order | lcnr | -45/+41 |
| 2024-05-24 | remove proof tree formatter, make em shallow | lcnr | -11/+2 |
| 2024-05-20 | Rework var resolution in InferCtxtLike, uplift EagerResolver | Michael Goulet | -1/+1 |
| 2024-05-18 | Uplift inspect into rustc_type_ir | Michael Goulet | -10/+11 |
| 2024-05-13 | Use a proper probe for shadowing impl | Michael Goulet | -10/+24 |
| 2024-05-10 | Rollup merge of #124955 - nnethercote:next_ty_var, r=lcnr | Matthias Krüger | -11/+2 |
| 2024-05-10 | Use fewer origins when creating type variables. | Nicholas Nethercote | -11/+2 |
| 2024-05-09 | analyse visitor: build proof tree in probe | lcnr | -11/+33 |
| 2024-05-06 | Record impl args in the InsepctCandiate rather than rematching during select | Michael Goulet | -5/+37 |
| 2024-05-03 | Rollup merge of #124418 - compiler-errors:better-cause, r=lcnr | Michael Goulet | -16/+37 |
| 2024-05-02 | Use ObligationCtxt in favor of TraitEngine in many places | Michael Goulet | -10/+8 |
| 2024-05-02 | Higher ranked goal source, do overflow handling less badly | Michael Goulet | -4/+10 |
| 2024-05-02 | Store goal source in InspectGoal | Michael Goulet | -12/+27 |
| 2024-05-01 | review | lcnr | -13/+15 |
| 2024-04-30 | fix `NormalizesTo` proof tree issue | lcnr | -50/+118 |
| 2024-04-30 | Rollup merge of #124511 - nnethercote:rm-extern-crates, r=fee1-dead | Matthias Krüger | -0/+1 |
| 2024-04-29 | Split out instantiate_nested_goals | Michael Goulet | -36/+43 |
| 2024-04-29 | Take proof trees by value in inspect goal | Michael Goulet | -15/+12 |
| 2024-04-29 | Only register candidate if it is associated w a shallow certainty | Michael Goulet | -34/+21 |
