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 BTreeMap<OutlivesPredicate<GenericArg<'tcx>, Region<'tcx>>, Span>
)
Expand description
Given a requirement T: 'a
or 'b: 'a
, deduce the
outlives_component and add it to required_predicates