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.