Function rustc_mir_dataflow::impls::for_each_mut_borrow
source · 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
.