pub fn always_storage_live_locals(body: &Body<'_>) -> BitSet<Local>
Expand description

The set of locals in a MIR body that do not have StorageLive/StorageDead annotations.

These locals have fixed storage for the duration of the body.