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 all predicates defined on the
Drop
impl (drop_impl_def_id
) are able to be proven from withinadt_def_id
โs environment. I.e. all the predicates on the impl are implied by the ADT being well formed.