Module loan_liveness 

Structs

LocalizedConstraintGraph 🔒

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

LocalizedNode 🔒

A node in the graph to be traversed, one of the two vertices of a localized outlives constraint.

Functions

compute_loan_liveness 🔒

Compute loan reachability to approximately trace loan liveness throughout the CFG, by traversing the full graph of constraints that combines: