Function rustc_borrowck::type_check::liveness::record_regular_live_regions

fn record_regular_live_regions<'tcx>(
    tcx: TyCtxt<'tcx>,
    liveness_constraints: &mut LivenessValues,
    body: &Body<'tcx>,
)

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.