Module rustc_trait_selection::infer::free_regions [−][src]
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
Traits
The NLL region handling code represents free region relations in a slightly different way; this trait allows functions to be abstract over which version is in use.