Structs§
- The
OutlivesEnvironment
collects information about what outlives what in a given type-checking setting. For example, if we have a where-clause likewhere T: 'a
in scope, then theOutlivesEnvironment
would record that (in itsregion_bound_pairs
field). Similarly, it contains methods for processing and adding implied bounds into the outlives environment. - Builder of OutlivesEnvironment.
Type Aliases§
- “Region-bound pairs” tracks outlives relations that are known to be true, either because of explicit where-clauses like
T: 'a
or because of implied bounds.