Module rustc_typeck::check::dropck [−] [src]

Unstable (rustc_private)

Functions

check_drop_impl	[Unstable] check_drop_impl confirms that the Drop implementation identfied by `drop_impl_did` is not any more specialized than the type it is attached to (Issue #8142).
check_safety_of_destructor_if_necessary	[Unstable] check_safety_of_destructor_if_necessary confirms that the type expression `typ` conforms to the "Drop Check Rule" from the Sound Generic Drop (RFC 769).