mathieu/granite-rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
granite-rust/compiler/rustc_typeck
History
Dylan DPC e96304b73d
Rollup merge of #95973 - oli-obk:tait_ub3, r=compiler-errors 
prevent opaque types from appearing in impl headers

cc `@lqd`

opaque types are not distinguishable from their hidden type at the codegen stage. So we could either end up with cases where the hidden type doesn't implement the trait (which will thus ICE) or where the hidden type does implement the trait (so we'd be using its impl instead of the one written for the opaque type). This can even lead to unsound behaviour without unsafe code.

Fixes https://github.com/rust-lang/rust/issues/86411.
Fixes https://github.com/rust-lang/rust/issues/84660.

rebase of #87382 plus some diagnostic tweaks
2022-04-12 23:17:01 +02:00
..
src Rollup merge of #95973 - oli-obk:tait_ub3, r=compiler-errors 2022-04-12 23:17:01 +02:00
Cargo.toml Fix control flow handling in generator_interior 2022-01-18 14:25:26 -08:00
README.md mv compiler to compiler/ 2020-08-30 18:45:07 +03:00

README.md

For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.