Comment by bluGill
4 days ago
> 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.
At the very leas you'd also need to fix the caller-destructed ABI mess to get a 100% solution.