Function propagate_loans_between_points

fn propagate_loans_between_points(
    current_point: PointIndex,
    next_point: PointIndex,
    _liveness: &LivenessValues,
    universal_regions: &UniversalRegions<'_>,
    localized_outlives_constraints: &mut LocalizedOutlivesConstraintSet,
)

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