Module rustc_hir_analysis::check::dropck
source · Functions
- This function confirms that the
Drop
implementation identified bydrop_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.