fn fully_replacable_locals(ssa: &SsaLocals) -> BitSet<Local>Expand description
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).