Module rustc_trait_selection::infer::outlives
source · Expand description
Various code related to computing outlives relations.
Modules
Code that handles “type-outlives” constraints like
T: 'a. This
is based on the push_outlives_components function defined in rustc_infer,
but it adds a bit of heuristics on top, in particular to deal with
associated types and projections.