Function rustc_hir_analysis::collect::predicates_of::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.