126d809287
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` |
||
|---|---|---|
| .. | ||
| rmeta | ||
| creader.rs | ||
| dependency_format.rs | ||
| errors.rs | ||
| foreign_modules.rs | ||
| fs.rs | ||
| lib.rs | ||
| locator.rs | ||
| native_libs.rs | ||