Module rustc_typeck::outlives::utils
source · Functions
Given a requirement
T: 'a
or 'b: 'a
, deduce the
outlives_component and add it to required_predicates
Type Definitions
Tracks the
T: 'a
or 'a: 'a
predicates that we have inferred
must be added to the struct header.