Module rustc_mir::borrow_check::flows[][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?

Manages the dataflow bits required for borrowck.

FIXME: this might be better as a "generic" fixed-point combinator, but is not as ugly as it is right now.

Re-exports

use rustc::mir::BasicBlock;
use rustc::mir::Location;
use rustc::ty::RegionVid;
use rustc_data_structures::indexed_set::Iter;
use borrow_check::location::LocationIndex;
use polonius_engine::Output;
use dataflow::move_paths::indexes::BorrowIndex;
use dataflow::move_paths::HasMoveData;
use dataflow::Borrows;
use dataflow::EverInitializedPlaces;
use dataflow::MovingOutStatements;
use dataflow::FlowAtLocation;
use dataflow::FlowsAtLocation;
use dataflow::MaybeInitializedPlaces;
use dataflow::MaybeUninitializedPlaces;
use either::Either;
use std::fmt;
use std::rc::Rc;

Structs

Flows [
Experimental
]