Mostly, it does mean that. The only exception that I know of is if the &mut [T] was somehow derived from a particular *mut T or *mut [T], then that particular raw pointer isn't invalidated by using the reference. But messing with that parent pointer in certain ways (exactly which ones I'm a bit unclear on...) before the last use of the reference is also problematic.
1 Like