Skip to main content

## insert_outlives_predicate

# Function insert_outlives_predicate

Source

    pub(crate) fn insert_outlives_predicate<'tcx>(
        tcx: TyCtxt<'tcx>,
        arg: GenericArg<'tcx>,
        outlived_region: Region<'tcx>,
        span: Span,
        required_predicates: &mut FxIndexMap<ArgOutlivesPredicate<'tcx>, Span>,
    )

Expand description

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