pub fn always_storage_live_locals(body: &Body<'_>) -> BitSet<Local>
The set of locals in a MIR body that do not have StorageLive/StorageDead annotations.
StorageLive
StorageDead
These locals have fixed storage for the duration of the body.