Module rustc::traits::query::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 infer::at::At;
use infer::canonical::Canonical;
use infer::canonical::Canonicalize;
use infer::canonical::QueryResult;
use infer::InferOk;
use std::iter::FromIterator;
use traits::query::CanonicalTyGoal;
use ty;
use ty::Ty;
use ty::TyCtxt;
use ty::subst::Kind;
use rustc_data_structures::sync::Lrc;

Structs

DropckOutlivesResult [
Experimental
]
DtorckConstraint [
Experimental
]

A set of constraints that need to be satisfied in order for a type to be valid for destruction.

Functions

trivial_dropck_outlives [
Experimental
]

This returns true if the type ty is "trivial" for dropck-outlives -- that is, if it doesn't require any types to outlive. This is similar but not quite the same as the needs_drop test in the compiler already -- that is, for every type T for which this function return true, needs-drop would return false. But the reverse does not hold: in particular, needs_drop returns false for PhantomData, but it is not trivial for dropck-outlives.