diff options
| author | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2024-04-17 09:29:13 +0000 |
|---|---|---|
| committer | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2024-05-23 15:52:10 +0000 |
| commit | 29a630eb72ffb94c3708947afae1e948ad3cb189 (patch) | |
| tree | 5df458e8d90312cceef1fa1b0d5c9e81f5ccded6 /compiler/rustc_parse/src/errors.rs | |
| parent | dc8d1bc3733bf922a11197649b9a41360a3aacd3 (diff) | |
| download | rust-29a630eb72ffb94c3708947afae1e948ad3cb189.tar.gz rust-29a630eb72ffb94c3708947afae1e948ad3cb189.zip | |
When checking whether an impl applies, constrain hidden types of opaque types.
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.
Diffstat (limited to 'compiler/rustc_parse/src/errors.rs')
0 files changed, 0 insertions, 0 deletions