Some languages throw exceptions if their iterators are invalidated, right? That seems separate from memory safety to me. Or put another way, having memory safe

Some languages throw exceptions if their iterators are invalidated, right? That seems separate from memory safety to me. Or put another way, having memory safety doesn't guarantee iterator safety.