about summary refs log tree commit diff
path: root/tests/ui/impl-trait/equality.rs
AgeCommit message (Collapse)AuthorLines
2025-04-30compiletest: Make diagnostic kind mandatory on line annotationsVadim Petrochenkov-1/+3
2024-06-11Revert "When checking whether an impl applies, constrain hidden types of ↵Oli Scherer-8/+5
opaque types." This reverts commit 29a630eb72ffb94c3708947afae1e948ad3cb189.
2024-05-23When checking whether an impl applies, constrain hidden types of opaque types.Oli Scherer-5/+8
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.
2023-01-11Move /src/test to /testsAlbert Larsan-0/+43