fn fully_replaceable_locals(ssa: &SsaLocals) -> DenseBitSet<Local>Expand description
Compute the set of locals that can be fully replaced.
We consider a local to be replaceable iff it’s only used in a Deref projection *_local or
non-use position (like storage statements and debuginfo).