Module rustc_typeck::check::dropck

source ·

Structs

Functions

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).
Confirms that every predicate imposed by dtor_predicates is implied by assuming the predicates attached to self_type_did.