Module rustc_infer::infer::region_constraints
source · Expand description
See README.md
.
Modules
Structs
- Requires that
region
must be equal to one of the regions inchoice_regions
. We often denote this using the syntax: - 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.
- This is a “conditional bound” that checks the result of inference and supplies a bound if it ended up being relevant. It’s used in situations like this:
Enums
- Represents a constraint that influences the inference process.
- UndoLog 🔒
- Describes the things that some
GenericKind
valueG
is known to outlive. Each variant ofVerifyBound
can be thought of as a function: