Module rustc_trait_selection::traits::query::type_op::implied_outlives_bounds
source · Structs§
Functions§
- When we have an implied bound that
T: 'a
, we can further break this down to determine what relationships would have to hold forT: 'a
to hold. We get to assume that the caller has validated those relationships.