[−][src]Function rustc_typeck::check::dropck::ensure_drop_predicates_are_implied_by_item_defn
fn ensure_drop_predicates_are_implied_by_item_defn<'a, 'tcx>(
tcx: TyCtxt<'a, 'tcx, 'tcx>,
drop_impl_did: DefId,
dtor_predicates: &GenericPredicates<'tcx>,
self_type_did: DefId,
self_to_impl_substs: &Substs<'tcx>
) -> Result<(), ErrorReported>
🔬 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?
Confirms that every predicate imposed by dtor_predicates is implied by assuming the predicates attached to self_type_did.