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

nits

This commit is contained in:
Tshepang Lekhonkhobe 2020-08-26 13:19:07 +02:00 committed by Joshua Nelson
parent 7e3fe0a961
commit 76efc9b91f
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/mir/construction.md
View File

@ -13,7 +13,7 @@ list of items:
The lowering is triggered by calling the [`mir_built`] query. The lowering is triggered by calling the [`mir_built`] query.
There is an intermediate representation There is an intermediate representation
between [HIR] and [MIR] called the [THIR] that is only used during the lowering. between [HIR] and [MIR] called the [THIR] that is only used during lowering.
[THIR] means "Typed HIR" and used to be called "HAIR (High-level Abstract IR)". [THIR] means "Typed HIR" and used to be called "HAIR (High-level Abstract IR)".
The [THIR]'s most important feature is that the various adjustments (which happen The [THIR]'s most important feature is that the various adjustments (which happen
without explicit syntax) like coercions, autoderef, autoref and overloaded method without explicit syntax) like coercions, autoderef, autoref and overloaded method
@ -30,8 +30,8 @@ without having to create an in-memory copy of the entire [HIR].
the [THIR] expressions recursively. the [THIR] expressions recursively.
The lowering creates local variables for every argument as specified in the signature. The lowering creates local variables for every argument as specified in the signature.
Next it creates local variables for every binding specified (e.g. `(a, b): (i32, String)`) Next, it creates local variables for every binding specified (e.g. `(a, b): (i32, String)`)
produces 3 bindings, one for the argument, and two for the bindings. Next it generates produces 3 bindings, one for the argument, and two for the bindings. Next, it generates
field accesses that read the fields from the argument and writes the value to the binding field accesses that read the fields from the argument and writes the value to the binding
variable. variable.