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.

Functions§

compute_backward_successor 🔒
Returns the successor for the current region/point node when propagating a loan through backward edges, if applicable, according to liveness and variance.
compute_forward_successor 🔒
Returns the successor for the current region/point node when propagating a loan through forward edges, if applicable, according to liveness and variance.