Skip to main content

Module constraints

rustc_borrowck::polonius

Module constraints 

Source

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.