Module rustc_mir::borrow_check::nll::invalidation[][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::borrow_set::BorrowSet;
use borrow_check::location::LocationTable;
use borrow_check::JustWrite;
use borrow_check::WriteAndRead;
use borrow_check::ShallowOrDeep;
use borrow_check::Deep;
use borrow_check::Shallow;
use borrow_check::ReadOrWrite;
use borrow_check::Activation;
use borrow_check::Read;
use borrow_check::Reservation;
use borrow_check::Write;
use borrow_check::Context;
use borrow_check::ContextKind;
use borrow_check::LocalMutationIsAllowed;
use borrow_check::MutateMode;
use borrow_check::ArtificialField;
use borrow_check::ReadKind;
use borrow_check::WriteKind;
use borrow_check::nll::facts::AllFacts;
use borrow_check::path_utils::*;
use dataflow::move_paths::indexes::BorrowIndex;
use rustc::hir::def_id::DefId;
use rustc::infer::InferCtxt;
use rustc::mir::visit::Visitor;
use rustc::mir::BasicBlock;
use rustc::mir::Location;
use rustc::mir::Mir;
use rustc::mir::Place;
use rustc::mir::Rvalue;
use rustc::mir::Local;
use rustc::mir::Statement;
use rustc::mir::StatementKind;
use rustc::mir::Terminator;
use rustc::mir::TerminatorKind;
use rustc::mir::Field;
use rustc::mir::Operand;
use rustc::mir::BorrowKind;
use rustc::ty;
use rustc::ty::ParamEnv;
use rustc_data_structures::indexed_vec::Idx;
use rustc_data_structures::control_flow_graph::dominators::Dominators;

Structs

InvalidationGenerator [
Experimental
]

'cg = the duration of the constraint generation process itself.

Functions

generate_invalidates [
Experimental
]