Expand description
Values computed by queries that use MIR.
Structs§
- Borrow
Check Result - Closure
Outlives Requirement - Indicates an outlives-constraint between a type or between two free regions declared on the closure.
- Closure
Outlives Subject Ty - Represents a
ty::Ty
for use inClosureOutlivesSubject
. - Closure
Region Requirements - After we borrow check a closure, we are left with various requirements that we have inferred between the free regions that appear in the closure’s signature or on its field types. These requirements are then verified and proved by the closure’s creating function. This struct encodes those requirements.
- 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 - Closure
Outlives Subject - The subject of a
ClosureOutlivesRequirement
– that is, the thing that must outlive some region. - 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