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

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Functions

check_drop_impl [
Experimental
]

check_drop_impl confirms that the Drop implementation identified by drop_impl_did is not any more specialized than the type it is attached to (Issue #8142).

check_safety_of_destructor_if_necessary [
Experimental
]

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).

ensure_drop_params_and_item_params_correspond [
Experimental
]
ensure_drop_predicates_are_implied_by_item_defn [
Experimental
]

Confirms that every predicate imposed by dtor_predicates is implied by assuming the predicates attached to self_type_did.