Module rustc_mir::borrow_check::nll::region_infer [−][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 super::universal_regions::UniversalRegions; |
use rustc::hir::def_id::DefId; |
use rustc::infer::InferCtxt; |
use rustc::infer::NLLRegionVariableOrigin; |
use rustc::infer::RegionObligation; |
use rustc::infer::RegionVariableOrigin; |
use rustc::infer::SubregionOrigin; |
use rustc::infer::error_reporting::nice_region_error::NiceRegionError; |
use rustc::infer::region_constraints::GenericKind; |
use rustc::infer::region_constraints::VarInfos; |
use rustc::mir::ClosureOutlivesRequirement; |
use rustc::mir::ClosureOutlivesSubject; |
use rustc::mir::ClosureRegionRequirements; |
use rustc::mir::Local; |
use rustc::mir::Location; |
use rustc::mir::Mir; |
use rustc::traits::ObligationCause; |
use rustc::ty; |
use rustc::ty::RegionVid; |
use rustc::ty::Ty; |
use rustc::ty::TypeFoldable; |
use rustc::util::common; |
use rustc::util::common::ErrorReported; |
use rustc_data_structures::bitvec::BitVector; |
use rustc_data_structures::indexed_vec::Idx; |
use rustc_data_structures::indexed_vec::IndexVec; |
use std::fmt; |
use std::rc::Rc; |
use syntax::ast; |
use syntax_pos::Span; |
use self::dfs::CopyFromSourceToTarget; |
use self::dfs::TestTargetOutlivesSource; |
use self::values::RegionValueElements; |
use self::values::RegionValues; |
use super::ToRegionVid; |
Modules
annotation |
[ Experimental ] As part of the NLL unit tests, you can annotate a function with
|
dfs |
[ Experimental ] Module defining the |
dump_mir |
[ Experimental ] As part of generating the regions, if you enable |
graphviz |
[ Experimental ] This module provides linkage between RegionInferenceContext and libgraphviz traits, specialized to attaching borrowck analysis data to rendered labels. |
values |
[ Experimental ]
|
Structs
Constraint |
[ Experimental ]
|
ConstraintIndex |
[ Experimental ]
|
RegionCausalInfo |
[ Experimental ]
|
RegionDefinition |
[ Experimental ]
|
RegionInferenceContext |
[ Experimental ]
|
TrackCauses |
[ Experimental ]
|
TypeTest |
[ Experimental ] A "type test" corresponds to an outlives constraint between a type
and a lifetime, like |
Enums
Cause |
[ Experimental ] NB: The variants in |
RegionTest |
[ Experimental ] A "test" that can be applied to some "subject region" |
Traits
CauseExt |
[ Experimental ]
|
ClosureRegionRequirementsExt |
[ Experimental ]
|