rust/compiler/rustc_metadata
Jubilee 126d809287
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`
2023-07-30 17:50:48 -07:00
..
src Rollup merge of #113741 - compiler-errors:rpitit-projects-to-missing-opaque, r=spastorino 2023-07-30 17:50:48 -07:00
Cargo.toml drop unused deps, gate libc under unix for one crate 2023-04-22 15:22:21 +03:00
messages.ftl Revert "Suggest x build library for a custom toolchain that fails to load core" 2023-07-03 12:48:52 +00:00