bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity
rust/compiler/rustc_typeck
History
Matthias Krüger 33a40297d3
Rollup merge of #100500 - cjgillot:verify-self-predicate, r=lcnr 
Ban references to `Self` in trait object substs for projection predicates too.

Fixes https://github.com/rust-lang/rust/issues/100484
Fixes https://github.com/rust-lang/rust/issues/100485

r? ````@lcnr````
2022-08-20 19:45:12 +02:00
..
src Rollup merge of #100500 - cjgillot:verify-self-predicate, r=lcnr 2022-08-20 19:45:12 +02:00
Cargo.toml Improve error message for unstable default body 2022-07-26 15:40:04 +04:00
README.md

README.md

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