@@ -168,20 +168,22 @@ pointers for understanding them better.
168
168
units. Each of these units is processed by LLVM independently from one another,
169
169
enabling parallelism. They are also the unit of incremental re-use.
170
170
- cx -- we tend to use "cx" as an abbrevation for context. See also tcx, infcx, etc.
171
- - `DefId` -- an index identifying a **definition** (see `librustc/hir/def_id.rs`).
171
+ - `DefId` -- an index identifying a **definition** (see `librustc/hir/def_id.rs`). Uniquely
172
+ identifies a `DefPath`.
172
173
- HIR -- the **High-level IR**, created by lowering and desugaring the AST. See `librustc/hir`.
173
174
- `HirId` -- identifies a particular node in the HIR by combining a
174
175
def-id with an "intra-definition offset".
175
176
- `'gcx` -- the lifetime of the global arena (see `librustc/ty`).
176
177
- generics -- the set of generic type parameters defined on a type or item
178
+ - ICE -- internal compiler error. When the compiler crashes.
177
179
- infcx -- the inference context (see `librustc/infer`)
178
180
- MIR -- the **Mid-level IR** that is created after type-checking for use by borrowck and trans.
179
181
Defined in the `src/librustc/mir/` module, but much of the code that manipulates it is
180
182
found in `src/librustc_mir`.
181
183
- obligation -- something that must be proven by the trait system; see `librustc/traits`.
182
184
- local crate -- the crate currently being compiled.
183
185
- node-id or `NodeId` -- an index identifying a particular node in the
184
- AST or HIR; gradually being phased out.
186
+ AST or HIR; gradually being phased out and replaced with `HirId` .
185
187
- query -- perhaps some sub-computation during compilation; see `librustc/maps`.
186
188
- provider -- the function that executes a query; see `librustc/maps`.
187
189
- sess -- the **compiler session**, which stores global data used throughout compilation
0 commit comments