Module rustc_typeck::outlives::utils[][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::ty::outlives::Component;
use rustc::ty::subst::Kind;
use rustc::ty::subst::UnpackedKind;
use rustc::ty;
use rustc::ty::Region;
use rustc::ty::RegionKind;
use rustc::ty::Ty;
use rustc::ty::TyCtxt;
use std::collections::BTreeSet;

Functions

insert_outlives_predicate [
Experimental
]

Given a requirement T: 'a or 'b: 'a, deduce the outlives_component and add it to required_predicates

is_free_region [
Experimental
]

Type Definitions

RequiredPredicates [
Experimental
]

Tracks the T: 'a or 'a: 'a predicates that we have inferred must be added to the struct header.