The question (one question, at least) is what to do with unwinding. If we consider every function to be able to unwind, that means you basically need to have a

The question (one question, at least) is what to do with unwinding. If we consider every function to be able to unwind, that means you basically need to have a lot of boilerplate, and it's also not clear how to express that syntactically. Even differentiating `panic = "abort"` is not simple, as there is no language feature currently that does that.