fn collect_assigned_locals(data: &BasicBlockData<'_>) -> FxHashSet<Local>Expand description
Collect locals directly redefined by statements or call destinations.
Assignments through a dereference, such as *p = value, mutate pointed-to
memory but do not redefine the pointer local p; those writes are ignored
here so the local-dependency heuristic stays focused on local state.