"Validity" is an extremely low bar in C++, it just means operations with no preconditions are legal, which in the most general case may be limited to destructio

"Validity" is an extremely low bar in C++, it just means operations with no preconditions are legal, which in the most general case may be limited to destruction (because non-destructive moves means destruction must always be possible).