| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2024-11-12 | Consolidate type system const evaluation under `traits::evaluate_const` | Boxy | -2/+2 |
| 2024-10-29 | TypingMode :thinking: | lcnr | -3/+1 |
| 2024-10-17 | Rollup merge of #131825 - lcnr:probe-no-more-leak-2, r=compiler-errors | Matthias Krüger | -3/+2 |
| 2024-10-17 | SolverDelegate add assoc type for Infcx | lcnr | -3/+2 |
| 2024-10-17 | move `defining_opaque_types` out of `Canonical` | lcnr | -1/+1 |
| 2024-07-08 | Rollup merge of #127439 - compiler-errors:uplift-elaborate, r=lcnr | 许杰友 Jieyou Xu (Joe) | -6/+0 |
| 2024-07-07 | Finish uplifting supertraits | Michael Goulet | -6/+0 |
| 2024-07-07 | Get rid of trait_ref_is_knowable from delegate | Michael Goulet | -9/+0 |
| 2024-07-05 | Split SolverDelegate back out from InferCtxtLike | Michael Goulet | -88/+8 |
| 2024-06-21 | Rename a bunch of things | Michael Goulet | -0/+205 |
