rustc_borrowck::polonius

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.