Module rustc_middle::mir::terminator [−][src]
Structs
BorrowCheckResult | |
ClosureOutlivesRequirement | Indicates an outlives-constraint between a type or between two free regions declared on the closure. |
ClosureRegionRequirements | 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. |
ConstQualifs | The result of the |
CoverageInfo | Coverage information summarized from a MIR if instrumented for source code coverage (see
compiler option |
DestructuredConst | The constituent parts of an ADT or array. |
GeneratorLayout | The layout of generator state. |
GeneratorSavedLocal | |
SwitchTargets | |
SwitchTargetsIter | |
Terminator | |
UnsafetyCheckResult | |
UnsafetyViolation |
Enums
ClosureOutlivesSubject | The subject of a |
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. |
Mutability | |
ReturnConstraint | |
TerminatorKind | |
UnsafetyViolationDetails | |
UnsafetyViolationKind |