Function rustc_typeck::outlives::utils::insert_outlives_predicate [−][src]
pub fn insert_outlives_predicate<'tcx>(
tcx: TyCtxt<'_, 'tcx, 'tcx>,
kind: Kind<'tcx>,
outlived_region: Region<'tcx>,
required_predicates: &mut BTreeSet<OutlivesPredicate<Kind<'tcx>, Region<'tcx>>>
)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
Given a requirement T: 'a
or 'b: 'a
, deduce the
outlives_component and add it to required_predicates