Rust moves don't allocate, and yet can still support recoverable allocation failure. The reason C++'s model is so much more complicated is because of backwards

Rust moves don't allocate, and yet can still support recoverable allocation failure. The reason C++'s model is so much more complicated is because of backwards compatibility and nondestructive moves, not as a mechanism to support recoverable allocation failure.