| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-04-30 | compiletest: Make diagnostic kind mandatory on line annotations | Vadim Petrochenkov | -3/+3 | |
| 2025-02-10 | Show diff suggestion format on verbose replacement | Esteban Küber | -2/+3 | |
| ``` error[E0610]: `{integer}` is a primitive type and therefore doesn't have fields --> $DIR/attempted-access-non-fatal.rs:7:15 | LL | let _ = 2.l; | ^ | help: if intended to be a floating point literal, consider adding a `0` after the period and a `f64` suffix | LL - let _ = 2.l; LL + let _ = 2.0f64; | ``` | ||||
| 2024-09-22 | Don't call const normalize in error reporting | Michael Goulet | -2/+2 | |
| 2024-06-12 | Spell out other trait diagnostic | Alex Macleod | -4/+4 | |
| 2024-06-11 | Revert "When checking whether an impl applies, constrain hidden types of ↵ | Oli Scherer | -4/+11 | |
| opaque types." This reverts commit 29a630eb72ffb94c3708947afae1e948ad3cb189. | ||||
| 2024-05-23 | When checking whether an impl applies, constrain hidden types of opaque types. | Oli Scherer | -11/+4 | |
| We already handle this case this way on the coherence side, and it matches the new solver's behaviour. While there is some breakage around type-alias-impl-trait (see new "type annotations needed" in tests/ui/type-alias-impl-trait/issue-84660-unsoundness.rs), no stable code breaks, and no new stable code is accepted. | ||||
| 2024-03-27 | Use `TraitRef::to_string` sorting in favor of `TraitRef::ord`, as the latter ↵ | Oli Scherer | -2/+2 | |
| compares `DefId`s which we need to avoid | ||||
| 2023-06-27 | Don't sort strings right after we just sorted by types | Michael Goulet | -2/+2 | |
| 2023-01-11 | Move /src/test to /tests | Albert Larsan | -0/+41 | |
