rustc_hir_analysis::collect::predicates_of

Function compute_bidirectional_outlives_predicates

source 
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.