Module rustc_mir::borrow_check::nll::type_check::constraint_conversion[][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 borrow_check::location::LocationTable;
use borrow_check::nll::facts::AllFacts;
use borrow_check::nll::region_infer::OutlivesConstraint;
use borrow_check::nll::region_infer::RegionTest;
use borrow_check::nll::region_infer::TypeTest;
use borrow_check::nll::type_check::Locations;
use borrow_check::nll::universal_regions::UniversalRegions;
use rustc::infer::region_constraints::Constraint;
use rustc::infer::region_constraints::RegionConstraintData;
use rustc::infer::region_constraints::Verify;
use rustc::infer::region_constraints::VerifyBound;
use rustc::mir::Location;
use rustc::mir::Mir;
use rustc::ty;
use syntax::codemap::Span;

Structs

ConstraintConversion [
Experimental
]