On Monday, 24 October 2022 at 17:32:51 UTC, ryuukk_ wrote: > > I'm personally not a fan of this syntax at all The syntax is irrelevant. That's just how it looks in my language at the moment. The important part of the post is the semantics of `noreturn` cases.