Expand description
Values computed by queries that use MIR.
Structs§
- Const
Qualifs - The result of the
mir_const_qualifquery. - Coroutine
Layout - The layout of coroutine state.
- Coroutine
Saved Local - Coroutine
Saved Ty - Definition
Site Hidden Types - All the opaque types that have had their hidden type fully computed.
Unlike the value in
TypeckResults, this has unerased regions. - Destructured
Constant - The constituent parts of a mir constant of kind ADT or array.
Enums§
- Annotation
Source - Constraint
Category - Outlives-constraints can be categorized to determine whether and why they are interesting (for error reporting). Order of variants indicates sort order of the category, thereby influencing diagnostic output.
- Return
Constraint