Never type
Syntax
NeverType :!
The never type !
is a type with no values, representing the result of
computations that never complete. Expressions of type !
can be coerced into
any other type.
The !
type can only appear in function return types presently,
indicating it is a diverging function that never returns.