Module rustc::infer::outlives::env[][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::GenericKind;
use infer::InferCtxt;
use infer::outlives::free_region_map::FreeRegionMap;
use infer::outlives::bounds;
use infer::outlives::bounds::OutlivesBound;
use ty;
use ty::Ty;
use syntax::ast;
use syntax_pos::Span;

Structs

OutlivesEnvironment [
Experimental
]

The OutlivesEnvironment collects information about what outlives what in a given type-checking setting. For example, if we have a where-clause like where T: 'a in scope, then the OutlivesEnvironment would record that (in its region_bound_pairs field). Similarly, it contains methods for processing and adding implied bounds into the outlives environment.