Function create_liveness_constraints

pub(crate) fn create_liveness_constraints<'tcx>(
    body: &Body<'tcx>,
    liveness: &LivenessValues,
    universal_regions: &UniversalRegions<'tcx>,
    localized_outlives_constraints: &mut LocalizedOutlivesConstraintSet,
)

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