region must be equal to one of the regions in
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.
Represents a constraint that influences the inference process.
Describes the things that some
G is known to
outlive. Each variant of
VerifyBound can be thought of as a