fn compute_backward_successor(
region: RegionVid,
current_point: PointIndex,
previous_point: PointIndex,
live_regions: &SparseIntervalMatrix<RegionVid, PointIndex>,
live_region_variances: &IndexVec<RegionVid, Option<ConstraintDirection>>,
) -> Option<LocalizedNode>Expand description
Returns the successor for the current region/point node when propagating a loan through backward edges, if applicable, according to liveness and variance.