Builtin type std::builtins::never

Never type (!)

Never type is the type of expressions that never return. For example,

let _a = loop {};  // `_a` is of type `!`
Run this example

It has a couple of interesting properties, notably it is a bottom type, which means that values of never type can be coerced into any other type.