mir: &impl MirVisitable<'tcx>,
f: impl FnMut(&Place<'_>)
f for each mutable borrow or raw reference in the program.
This DOES NOT call
f for a shared borrow of a type with interior mutability. That’s okay for
initializedness, because we cannot move from an
UnsafeCell (outside of
other analyses will likely need to check for