nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2025-05-03 21:47:36 +00:00
Code Issues Packages Projects Releases Wiki Activity
a8d5c00d46
rust/compiler/rustc_hir_analysis
History
bors 307dd938d7 Auto merge of #101454 - cjgillot:concat-binders, r=estebank 
Do not overwrite lifetime binders for another HirId.

This PR makes higher-ranked bounds in where clauses a bit more principled.
We used to conflate `for<'a> T: Trait` with `(for<'a> T): Trait`.
This PR separates both binders.

This caused issued with fn types, which have their own binder, causing us to overwrite the predicates's binders with `fn`'s binders, ICEing.

Fixes https://github.com/rust-lang/rust/issues/98594
2022-09-28 14:42:55 +00:00
..
src Auto merge of #101454 - cjgillot:concat-binders, r=estebank 2022-09-28 14:42:55 +00:00
Cargo.toml rustc_typeck to rustc_hir_analysis 2022-09-27 10:37:23 +02:00
README.md rustc_typeck to rustc_hir_analysis 2022-09-27 10:37:23 +02:00

README.md

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