I think "DIP1000"(i.e. whatever it becomes) should eventually disallow use after move. This should probably be by default but allow tagging a move operator as safe to reuse. I haven't got a clue where to start an implementation but I think this would be a good step once DIP1014 is implemented.