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