Another thing that is missing is cleanup. When you have objects that need to be destructed at different levels of the stack, the destructors need to be called d

Another thing that is missing is cleanup. When you have objects that need to be destructed at different levels of the stack, the destructors need to be called during the stack unwinding that happens when an exception is thrown, and I'd expect it to fill up the gap between exception throwing and error propagation.