If we go the route of Never-as-universal-subtype, then it'd be reasonable to also make throw an expression of type Never, which would let you write things like x ?? throw error, as in C++, Kotlin, and other languages where throw is an expression.
29 Likes