fn implied_bounds_from_components<'tcx>(
sub_region: Region<'tcx>,
sup_components: SmallVec<[Component<TyCtxt<'tcx>>; 4]>,
) -> Vec<OutlivesBound<'tcx>>
Expand description
When we have an implied bound that T: 'a
, we can further break
this down to determine what relationships would have to hold for
T: 'a
to hold. We get to assume that the caller has validated
those relationships.