> C++ could probably add the same deinitialized/moved-from state (with an opt-in for back compat sake) purely to avoid dtor bloat, without having to add safety of borrow checking.

There is a lot of talk in the C++ committee about this. The details are complex in some obscure cases.