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 ]
|