Module accesses 

Re-exports

use rustc_middle::mir::visit::MutatingUseContext; 🔒

use rustc_middle::mir::visit::PlaceContext; 🔒

use rustc_middle::mir::visit::Visitor; 🔒

use rustc_middle::mir::Body; 🔒

use rustc_middle::mir::Local; 🔒

use rustc_middle::mir::Location; 🔒

use rustc_middle::mir::Place; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_mir_dataflow::move_paths::LookupResult; 🔒

use rustc_mir_dataflow::move_paths::MoveData; 🔒

use tracing::debug; 🔒

use super::LocationIndex; 🔒

use super::PoloniusFacts; 🔒

use super::PoloniusLocationTable; 🔒

use crate::def_use; 🔒

use crate::def_use::DefUse; 🔒

use crate::universal_regions::UniversalRegions; 🔒

Structs

AccessFactsExtractor 🔒

MIR visitor extracting point-wise facts about accesses.

Functions

emit_access_facts 🔒

Emit polonius facts for variable defs, uses, drops, and path accesses.