Function rustc_hir_analysis::outlives::utils::insert_outlives_predicate

source ยท
pub(crate) fn insert_outlives_predicate<'tcx>(
    tcx: TyCtxt<'tcx>,
    kind: GenericArg<'tcx>,
    outlived_region: Region<'tcx>,
    span: Span,
    required_predicates: &mut FxIndexMap<OutlivesPredicate<'tcx, GenericArg<'tcx>>, Span>,
)
Expand description

Given a requirement T: 'a or 'b: 'a, deduce the outlives_component and add it to required_predicates