mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

add entry points for type check and type inference 

Co-Authored-By: LeSeulArtichaut <leseulartichaut@gmail.com>
This commit is contained in:
mark 2020-04-14 16:18:55 -05:00 committed by Who? Me?!
parent 3bf10201ac
commit 8600655969
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/overview.md
View File

@ -357,7 +357,9 @@ bootstrapping compiler will support them.
- Type Inference
- Guide: [Type Inference](https://rustc-dev-guide.rust-lang.org/type-inference.html)
- Guide: [The ty Module: Representing Types](https://rustc-dev-guide.rust-lang.org/ty.html) (semantics)
- Main entry point: **TODO**
- Main entry point (type inference): [`InferCtxtBuilder::enter`](https://doc.rust-lang.org/nightly/nightly-rustc/rustc_infer/infer/struct.InferCtxtBuilder.html#method.enter)
- Main entry point (type checking bodies): [the `typeck_tables_of` query](https://doc.rust-lang.org/nightly/nightly-rustc/rustc_middle/ty/struct.TyCtxt.html#method.typeck_tables_of)
- These two functions can't be decoupled.
- The Mid Level Intermediate Representation (MIR)
- Guide: [The MIR (Mid level IR)](https://rustc-dev-guide.rust-lang.org/mir/index.html)
- Definition: [`librustc/mir`](https://github.com/rust-lang/rust/tree/master/src/librustc/mir)