On the other hand, see future directions at the end of the original post of this thread: Uninhabited Type (Never) Conversions
[EDIT] Note that the above linked thread is not an accepted direction for the language, it’s just a discussion.
Not sure I would want to be able to avoid guard statements where I’d otherwise be returning or continuing but the idea of throwing if nil coalescing fails is appealing to me.