| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-04-30 | compiletest: Make diagnostic kind mandatory on line annotations | Vadim Petrochenkov | -1/+3 | |
| 2024-06-11 | Revert "When checking whether an impl applies, constrain hidden types of ↵ | Oli Scherer | -8/+5 | |
| opaque types." This reverts commit 29a630eb72ffb94c3708947afae1e948ad3cb189. | ||||
| 2024-05-23 | When 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-11 | Move /src/test to /tests | Albert Larsan | -0/+43 | |
