rustc_borrowck::polonius::liveness_constraints

Function propagate_loans_between_points

Source 
fn propagate_loans_between_points(
    current_point: PointIndex,
    next_point: PointIndex,
    live_regions: &SparseBitMatrix<PointIndex, RegionVid>,
    live_region_variances: &BTreeMap<RegionVid, ConstraintDirection>,
    universal_regions: &UniversalRegions<'_>,
    localized_outlives_constraints: &mut LocalizedOutlivesConstraintSet,
)
Expand description

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