squiid/rust
1
0
Fork 0
Code Issues Pull requests Projects Activity
rust/compiler/rustc_typeck
History
bors c4b5406981 Auto merge of #86118 - spastorino:tait-soundness-bug, r=nikomatsakis 
Create different inference variables for different defining uses of TAITs

Fixes #73481

r? `@nikomatsakis`
cc `@oli-obk`
2021-06-09 09:00:16 +00:00
..
src Auto merge of #86118 - spastorino:tait-soundness-bug, r=nikomatsakis 2021-06-09 09:00:16 +00:00
Cargo.toml move representability out of rustc_middle 2021-04-27 15:01:37 +02: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.