| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-08-22 | On E0277, point at type that doesn't implement bound | Esteban Küber | -2/+2 |
| 2025-02-14 | fallout :skull_emoji: | lcnr | -21/+21 |
| 2024-11-02 | Add trait diff highlighting logic and use it in E0277 | Esteban Küber | -2/+4 |
| 2024-09-16 | Relate receiver invariantly in method probe for Mode::Path | Michael Goulet | -10/+42 |
| 2024-04-21 | Use sup instead of eq when unifying self type | Michael Goulet | -42/+10 |
| 2024-04-21 | Use fulfillment, not evaluate, during method probe | Michael Goulet | -20/+30 |
| 2024-02-22 | overflow errors: change source to a concrete enum | lcnr | -17/+9 |
| 2024-02-22 | freshen: resolve root vars | lcnr | -7/+30 |
| 2023-10-02 | Point out the actual mismatch error | Michael Goulet | -0/+1 |
| 2023-10-02 | For a single impl candidate, try to unify it with error trait ref | Michael Goulet | -2/+2 |
| 2023-01-11 | Conserve cause of `ImplDerivedObligation` in E0599 | Esteban Küber | -2/+7 |
| 2023-01-11 | Move /src/test to /tests | Albert Larsan | -0/+50 |
