user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
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 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.