Skip to content

Commit

Permalink
Reflect the changes in rust-lang/rust#67000
Browse files Browse the repository at this point in the history
Signed-off-by: Yuki Okushi <[email protected]>
  • Loading branch information
JohnTitor committed Mar 3, 2023
1 parent 82e50a6 commit 195ad7f
Showing 1 changed file with 3 additions and 4 deletions.
7 changes: 3 additions & 4 deletions src/mir/index.md
Original file line number Diff line number Diff line change
Expand Up @@ -217,7 +217,7 @@ over the overflow checks.)
## MIR data types

The MIR data types are defined in the [`compiler/rustc_middle/src/mir/`][mir]
module. Each of the key concepts mentioned in the previous section
module. Each of the key concepts mentioned in the previous section
maps in a fairly straightforward way to a Rust type.

The main MIR data type is [`Body`]. It contains the data for a single
Expand All @@ -235,10 +235,9 @@ but [you can read about those below](#promoted)).
The data for a local variable is found in the
[`Body::local_decls`][localdecls] vector). There is also a special constant
[`RETURN_PLACE`] identifying the special "local" representing the return value.
- **Places** are identified by the enum [`Place`]. There are a few
variants:
- **Places** are identified by the struct [`Place`]. There are a few
fields:
- Local variables like `_1`
- Static variables `FOO`
- **Projections**, which are fields or other things that "project
out" from a base place. These are represented by the type
[`ProjectionElem`]. So e.g. the place `_1.f` is a projection,
Expand Down

0 comments on commit 195ad7f

Please sign in to comment.