about summary refs log tree commit diff
path: root/tests/ui/impl-trait/equality.stderr
AgeCommit message (Collapse)AuthorLines
2025-04-30compiletest: Make diagnostic kind mandatory on line annotationsVadim Petrochenkov-3/+3
2025-02-10Show diff suggestion format on verbose replacementEsteban 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-22Don't call const normalize in error reportingMichael Goulet-2/+2
2024-06-12Spell out other trait diagnosticAlex Macleod-4/+4
2024-06-11Revert "When checking whether an impl applies, constrain hidden types of ↵Oli Scherer-4/+11
opaque types." This reverts commit 29a630eb72ffb94c3708947afae1e948ad3cb189.
2024-05-23When 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-27Use `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-27Don't sort strings right after we just sorted by typesMichael Goulet-2/+2
2023-01-11Move /src/test to /testsAlbert Larsan-0/+41