fn compute_bidirectional_outlives_predicates<'tcx>(
    tcx: TyCtxt<'tcx>,
    opaque_own_params: &[GenericParamDef],
    predicates: &mut Vec<(Clause<'tcx>, Span)>
)
Expand description

Opaques have duplicated lifetimes and we need to compute bidirectional outlives predicates to enforce that these lifetimes stay in sync.