Module dropck

Functions

check_drop_impl 🔒

This function confirms that the Drop implementation identified by drop_impl_did is not any more specialized than the type it is attached to (Issue #8142).

ensure_drop_params_and_item_params_correspond 🔒

ensure_drop_predicates_are_implied_by_item_defn 🔒

Confirms that all predicates defined on the Drop impl (drop_impl_def_id) are able to be proven from within adt_def_id’s environment. I.e. all the predicates on the impl are implied by the ADT being well formed.