my rust fork https://www.rust-lang.org

compilerlanguagerust

Santiago Pastorino 0ee047e931 We use HIR to do type inference, trait solving and type checking (#1139) ... * We use HIR to do type inference, trait solving and type checking * Update src/overview.md Co-authored-by: Yuki Okushi <jtitor@2k36.org> * Update src/overview.md Co-authored-by: Yuki Okushi <jtitor@2k36.org> * Update src/overview.md Co-authored-by: Noah Lev <camelidcamel@gmail.com> * Fix type checking brief explanation Co-authored-by: Yuki Okushi <jtitor@2k36.org> Co-authored-by: Noah Lev <camelidcamel@gmail.com>		2021-06-14 20:35:38 +02:00
src/doc/rustc-dev-guide	We use HIR to do type inference, trait solving and type checking (#1139)	2021-06-14 20:35:38 +02:00