rust/compiler/rustc_typeck at f2858b5cd32f3689ad83de77cacfa1ea2f533793 - rust

mirror of https://github.com/rust-lang/rust.git synced 2026-03-27 15:06:50 +00:00

Files

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

…

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.