Module constraints 

Re-exports

use rustc_data_structures::fx::FxHashMap; 🔒

use rustc_data_structures::fx::FxHashSet; 🔒

use rustc_index::IndexVec; 🔒

use rustc_middle::mir::Body; 🔒

use rustc_middle::mir::Location; 🔒

use rustc_middle::ty::RegionVid; 🔒

use rustc_mir_dataflow::points::DenseLocationMap; 🔒

use rustc_mir_dataflow::points::PointIndex; 🔒

use smallvec::SmallVec; 🔒

use crate::BorrowSet; 🔒

use crate::constraints::OutlivesConstraint; 🔒

use crate::dataflow::BorrowIndex; 🔒

use crate::polonius::ConstraintDirection; 🔒

use crate::polonius::liveness::LivenessSource; 🔒

use crate::type_check::Locations; 🔒

Structs

LocalizedConstraintGraph 🔒

The localized constraint graph indexes the physical and logical edges to lazily compute a given node’s successors during traversal.

LocalizedNode 🔒

A localized outlives constraint reifies the CFG location where the outlives constraint holds, within the origins themselves as if they were different from point to point: from a: b outlives constraints to a@p: b@p, where p is the point in the CFG.

Traits

LocalizedConstraintGraphVisitor 🔒

The visitor interface when traversing a LocalizedConstraintGraph.