Function rustc_mir_transform::ref_prop::fully_replacable_locals

fn fully_replacable_locals(ssa: &SsaLocals) -> BitSet<Local>

Compute the set of locals that can be fully replaced.

We consider a local to be replacable iff it’s only used in a Deref projection *_local or non-use position (like storage statements and debuginfo).