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
- is_
free_ ๐region
Type Aliasesยง
- Required
Predicates ๐Tracks theT: 'a
or'a: 'a
predicates that we have inferred must be added to the struct header.