fn record_regular_live_regions<'tcx>(
tcx: TyCtxt<'tcx>,
liveness_constraints: &mut LivenessValues,
universal_regions: &UniversalRegions<'tcx>,
polonius_liveness: &mut Option<PoloniusLivenessContext>,
body: &Body<'tcx>,
)
Expand description
Some variables are “regular live” at location
– i.e., they may be used later. This means that
all regions appearing in their type must be live at location
.