rustc_borrowck::polonius::liveness_constraints

Function create_liveness_constraints

Source 
pub(super) fn create_liveness_constraints<'tcx>(
    body: &Body<'tcx>,
    liveness: &LivenessValues,
    live_regions: &SparseBitMatrix<PointIndex, RegionVid>,
    live_region_variances: &BTreeMap<RegionVid, ConstraintDirection>,
    universal_regions: &UniversalRegions<'tcx>,
    localized_outlives_constraints: &mut LocalizedOutlivesConstraintSet,
)
Expand description

Propagate loans throughout the CFG: for each statement in the MIR, create localized outlives constraints for loans that are propagated to the next statements.