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
|
check_safety_of_destructor_if_necessary |
[ Experimental ] check_safety_of_destructor_if_necessary confirms that the type
expression |
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. |