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.