fn for_each_mut_borrow<'tcx>(
    mir: &impl MirVisitable<'tcx>,
    location: Location,
    f: impl FnMut(&Place<'_>)
)
Expand description

Calls 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 core::cell), but other analyses will likely need to check for !Freeze.