Module rustc_infer::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 thepush_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.