Function rustc_typeck::check::dropck::ensure_drop_predicates_are_implied_by_item_defn

pub(in check::dropck) fn ensure_drop_predicates_are_implied_by_item_defn<'tcx>(
    tcx: TyCtxt<'tcx>, 
    dtor_predicates: GenericPredicates<'tcx>, 
    self_type_did: LocalDefId, 
    self_to_impl_substs: SubstsRef<'tcx>
) -> Result<(), ErrorReported>

Confirms that every predicate imposed by dtor_predicates is implied by assuming the predicates attached to self_type_did.