Yes, you already responded, but I think that a function which cannot return and cannot raise requires by safe-for-space that the stack is dead, and if it can only raise but not return then the stack after the last handler is dead.