# Function rustc_hir_analysis::check::dropck::ensure_drop_predicates_are_implied_by_item_defn

source ·

    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.