diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2022-10-23 08:14:31 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-23 08:14:31 +0200 |
| commit | ff689a1404081871afd31814f31db508bcd560dc (patch) | |
| tree | 747856acd945f9fbd3dd5d3e1c844c0120888107 /compiler/rustc_errors/src | |
| parent | b656f5e9a64d6fe0f0b75e76e6350fb08cea562d (diff) | |
| parent | 419fde7a38fab7c0355d4091ddafd8d775e63f3f (diff) | |
| download | rust-ff689a1404081871afd31814f31db508bcd560dc.tar.gz rust-ff689a1404081871afd31814f31db508bcd560dc.zip | |
Rollup merge of #103355 - compiler-errors:rpitit-default-check, r=oli-obk
Handle return-position `impl Trait` in traits properly in `register_hidden_type` The bounds that we get by calling `bound_explicit_item_bounds` from an RPITIT have projections, not opaques, but when we're *registering* an opaque, we want to treat it like an opaque. Coincidentally fixes #102688 as well, which makes sense, since that was failing because we were inferring an opaque type to be equal to itself (opaque cycle error => "cannot resolve opaque type"). Fixes #103352 r? ```@oli-obk```
Diffstat (limited to 'compiler/rustc_errors/src')
0 files changed, 0 insertions, 0 deletions