Module query

Source
Expand description

Values computed by queries that use MIR.

Structs§

ConcreteOpaqueTypes
All the opaque types that are restricted to concrete types by this function. Unlike the value in TypeckResults, this has unerased regions.
ConstQualifs
The result of the mir_const_qualif query.
CoroutineLayout
The layout of coroutine state.
CoroutineSavedLocal
CoroutineSavedTy
DestructuredConstant
The constituent parts of a mir constant of kind ADT or array.

Enums§

AnnotationSource
ConstraintCategory
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.
ReturnConstraint