Module rustc_traits::dropck_outlives[][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 rustc::infer::canonical::Canonical;
use rustc::infer::canonical::QueryResult;
use rustc::hir::def_id::DefId;
use rustc::traits::FulfillmentContext;
use rustc::traits::Normalized;
use rustc::traits::ObligationCause;
use rustc::traits::query::CanonicalTyGoal;
use rustc::traits::query::NoSolution;
use rustc::traits::query::dropck_outlives::DtorckConstraint;
use rustc::traits::query::dropck_outlives::DropckOutlivesResult;
use rustc::ty;
use rustc::ty::ParamEnvAnd;
use rustc::ty::Ty;
use rustc::ty::TyCtxt;
use rustc::ty::subst::Subst;
use rustc::ty::subst::Substs;
use rustc::util::nodemap::FxHashSet;
use rustc::util::nodemap::FxHashSet;
use rustc_data_structures::sync::Lrc;
use syntax::codemap::Span;
use syntax::codemap::DUMMY_SP;
use util;

Functions

adt_dtorck_constraint [
Experimental
]

Calculates the dtorck constraint for a type.

dedup_dtorck_constraint [
Experimental
]
dropck_outlives [
Experimental
]
dtorck_constraint_for_ty [
Experimental
]

Return a set of constraints that needs to be satisfied in order for ty to be valid for destruction.