| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2024-12-07 | reword trait bound suggestion message to include the bounds | Esteban Küber | -1/+1 |
| 2024-10-29 | Remove detail from label/note that is already available in other note | Esteban Küber | -2/+2 |
| 2024-10-24 | Deeply normalize type trace in type error reporting | Michael Goulet | -0/+34 |
| 2024-10-15 | Structurally resolve in may_coerce | Michael Goulet | -0/+40 |
| 2024-06-12 | Rollup merge of #126142 - compiler-errors:trait-ref-split, r=jackh726 | Jubilee | -0/+10 |
| 2024-06-12 | Harmonize use of leaf and root obligation in trait error reporting | Michael Goulet | -0/+10 |
| 2024-06-12 | Walk into alias-eq nested goals even if normalization fails | Michael Goulet | -0/+43 |
| 2024-05-16 | Don't ICE because recomputing overflow goals during find_best_leaf_obligation... | Michael Goulet | -0/+66 |
| 2024-05-06 | Don't consider candidates with no failing where clauses | Michael Goulet | -0/+44 |
| 2024-05-04 | Record impl args in the proof tree | Michael Goulet | -0/+47 |
