rustc_borrowck::polonius::liveness_constraints

Function add_liveness_constraint

Source 
fn add_liveness_constraint(
    region: RegionVid,
    current_point: PointIndex,
    next_point: PointIndex,
    direction: ConstraintDirection,
    localized_outlives_constraints: &mut LocalizedOutlivesConstraintSet,
)
Expand description

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