Well I suggested to add the actual control flow structures in 2019 and nobody was interested 
. I still think it’d be great to have proper imperative control flow structures… But at this point the core language is mostly frozen, isn’t it? We’re not going to get Rust’s loop, or if let, or break/continue, or safer syntax.
I wonder if there’d be a nice way, in the status quo, to tell the compiler about our intent, like [@tailcall] did. Something like an attribute that emits a warning if a local exception does allocate or leak.