Expand description
Values computed by queries that use MIR.
Structs§
- Concrete
Opaque Types - All the opaque types that are restricted to concrete types
by this function. Unlike the value in
TypeckResults
, this has unerased regions. - Const
Qualifs - The result of the
mir_const_qualif
query. - Coroutine
Layout - The layout of coroutine state.
- Coroutine
Saved Local - Coroutine
Saved Ty - 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