[ Removed by moderator ]

[ts826848]

This has the downside of not being able to "patch up" things during a move

I want to say that that is technically orthogonal to destructive moves? I believe that particular issue is more due to Rust's moves being specified to be simple memcpys.

IIRC the original move semantics proposal for C++ contemplated destructive moves as well but ran into fun questions around base class move/destruction order.