fn ensure_drop_predicates_are_implied_by_item_defn<'tcx>(
    tcx: TyCtxt<'tcx>,
    drop_impl_def_id: LocalDefId,
    adt_def_id: LocalDefId,
    adt_to_impl_args: GenericArgsRef<'tcx>
) -> Result<(), ErrorGuaranteed>
Expand description

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