Module loan_liveness

Structs

KillsCollector 🔒

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

collect_kills 🔒

Traverses the MIR and collects kills.

compute_loan_liveness 🔒

Compute loan reachability, stop at kills, and trace loan liveness throughout the CFG, by traversing the full graph of constraints that combines: