Module liveness_constraints

Structs

VarianceExtractor 🔒

Extracts variances for regions contained within types. Follows the same structure as rustc_infer’s Generalizer: we try to relate a type with itself to track and extract the variances of regions.

Functions

add_liveness_constraint 🔒

Adds LocalizedOutlivesConstraints between two connected points, according to the given edge direction.

create_liveness_constraints 🔒

Propagate loans throughout the CFG: for each statement in the MIR, create localized outlives constraints for loans that are propagated to the next statements.

propagate_loans_between_points 🔒

Propagate loans within a region between two points in the CFG, if that region is live at both the source and target points.