Function rustc_hir_analysis::collect::predicates_of::compute_bidirectional_outlives_predicates

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

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