Comment by amomchilov
6 hours ago
Yeah it really baffles me why a symbol like `!` was spent on this, which could be more useful for more a more commonly used feature.
I just checked, my main side project only has less than 10 things that return never. `-> Never` reads even better, imo.
The exclamation point is also used both as the C-style negation operator and as the identifier suffix that indicates macro invocations, so it was unlikely that it would have been used for any new feature. As my sibling comment notes, this syntax for divergence is very, very old (predating even 0.1), not something that anyone newly came up with.
And if you'd like to write `-> Never`, the nice thing about being a first-class type is that you can now just do that if you'd like, via a standard type alias: `type Never = !;`.