[][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.