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?

Re-exports

use check::regionck::RegionCtxt;
use hir::def_id::DefId;
use rustc::infer;
use rustc::infer::InferOk;
use rustc::infer::outlives::env::OutlivesEnvironment;
use rustc::middle::region;
use rustc::ty::subst::Subst;
use rustc::ty::subst::Substs;
use rustc::ty::subst::UnpackedKind;
use rustc::ty;
use rustc::ty::Ty;
use rustc::ty::TyCtxt;
use rustc::traits::ObligationCause;
use rustc::traits::TraitEngine;
use util::common::ErrorReported;
use syntax::ast;
use syntax_pos::Span;

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.