Module rustc_infer::infer::free_regions
source · Expand description
This module handles the relationships between “free regions”, i.e., lifetime parameters.
Ordinarily, free regions are unrelated to one another, but they can be related via implied
or explicit bounds. In that case, we track the bounds using the TransitiveRelation
type,
and use that to decide when one free region outlives another, and so forth.
Structs
- Combines a
FreeRegionMap
and aTyCtxt
.