Module rustc_mir::borrow_check::nll::region_infer::dfs [−][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?
Module defining the dfs
method on RegionInferenceContext
, along with
its associated helper traits.
Re-exports
use borrow_check::nll::universal_regions::UniversalRegions; |
use borrow_check::nll::region_infer::RegionInferenceContext; |
use borrow_check::nll::region_infer::values::RegionElementIndex; |
use borrow_check::nll::region_infer::values::RegionValueElements; |
use borrow_check::nll::region_infer::values::RegionValues; |
use syntax::codemap::Span; |
use rustc::mir::Location; |
use rustc::mir::Mir; |
use rustc::ty::RegionVid; |
use rustc_data_structures::bitvec::BitVector; |
use rustc_data_structures::indexed_vec::Idx; |
Structs
CopyFromSourceToTarget |
[ Experimental ] Used during inference to enforce a |
DfsStorage |
[ Experimental ]
|
TestTargetOutlivesSource |
[ Experimental ] Used after inference to test a |
Traits
DfsOp |
[ Experimental ] Customizes the operation of the |