Module liveness_constraints

Source

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.