We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 9e4ce76 commit faf8e16Copy full SHA for faf8e16
src/overview.md
@@ -73,7 +73,7 @@ we'll talk about that later.
73
of pairing up an impl with each reference to a trait) and [type
74
checking] (the process of converting the types found in the HIR
75
(`hir::Ty`), which represent the syntactic things that the user wrote,
76
- into the internal representation used by the compiler (Ty<'tcx>)).
+ into the internal representation used by the compiler (`Ty<'tcx>`)).
77
- The HIR is then [lowered to Mid-Level Intermediate Representation (MIR)][mir].
78
- Along the way, we construct the THIR, which is an even more desugared HIR.
79
THIR is used for pattern and exhaustiveness checking. It is also more
0 commit comments