Module rustc_infer::infer::region_constraints

See README.md.

Modules

leak_check

Structs

MemberConstraint	Requires that region must be equal to one of the regions in choice_regions. We often denote this using the syntax:
RegionConstraintCollector
RegionConstraintData	The full set of region constraints gathered up by the collector. Describes constraints between the region variables and other regions, as well as other conditions that must be verified, or assumptions that can be made.
RegionConstraintStorage
RegionSnapshot
RegionVariableInfo
TaintDirections	When working with placeholder regions, we often wish to find all of the regions that are either reachable from a placeholder region, or which can reach a placeholder region, or both. We call such regions tainted regions. This struct allows you to decide what set of tainted regions you want.
TwoRegions
Verify

Enums

CombineMapType
Constraint	Represents a constraint that influences the inference process.
GenericKind
UndoLog
VerifyBound	Describes the things that some GenericKind value G is known to outlive. Each variant of VerifyBound can be thought of as a function:

Type Definitions

CombineMap
VarInfos