Make &mut borrows restrict aliasing

Fixes #11913