diff options
| author | Jubilee <46493976+workingjubilee@users.noreply.github.com> | 2023-07-30 17:50:48 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-07-30 17:50:48 -0700 |
| commit | 126d809287e2247e1a4d4efc43ec782e9768da84 (patch) | |
| tree | 9065b7f9089f58455cbd55e8278c5a0c5bc1b445 /compiler/rustc_mir_transform/src/coverage/counters.rs | |
| parent | 0ad8d6adc5727d5a6f22ca3805df00335edd6ba2 (diff) | |
| parent | 0f0ab89feb4d668cb989aefe08f27af45cb10bed (diff) | |
| download | rust-126d809287e2247e1a4d4efc43ec782e9768da84.tar.gz rust-126d809287e2247e1a4d4efc43ec782e9768da84.zip | |
Rollup merge of #113741 - compiler-errors:rpitit-projects-to-missing-opaque, r=spastorino
Don't install default projection bound for return-position `impl Trait` in trait methods with no body This ensures that we never try to project to an opaque type in a trait method that has no body to infer its hidden type, which means we never later call `type_of` on that opaque. This is because opaque types try to reveal their hidden type when proving auto traits. I thought about this a lot, and I think this is a fix that's less likely to introduce other strange downstream ICEs than #113461. Fixes #113434 r? `@spastorino`
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/counters.rs')
0 files changed, 0 insertions, 0 deletions