Update glossary.md

This commit is contained in:
avborhanian 2018-02-04 13:46:29 -05:00 committed by Who? Me?!
parent 4489e9734f
commit 5b7e442fc3
1 changed files with 1 additions and 1 deletions

View File

@ -14,7 +14,7 @@ HirId | identifies a particular node in the HIR by combining
'gcx | the lifetime of the global arena ([see more](ty.html)) 'gcx | the lifetime of the global arena ([see more](ty.html))
generics | the set of generic type parameters defined on a type or item generics | the set of generic type parameters defined on a type or item
ICE | internal compiler error. When the compiler crashes. ICE | internal compiler error. When the compiler crashes.
ICH | incremental compilation hash. ICH | incremental compilation hash. ICHs are used as fingerprints for things such as HIR and crate metadata, to check if changes have been made.
infcx | the inference context (see `librustc/infer`) infcx | the inference context (see `librustc/infer`)
MIR | the Mid-level IR that is created after type-checking for use by borrowck and trans ([see more](./mir.html)) MIR | the Mid-level IR that is created after type-checking for use by borrowck and trans ([see more](./mir.html))
obligation | something that must be proven by the trait system ([see more](trait-resolution.html)) obligation | something that must be proven by the trait system ([see more](trait-resolution.html))