neverType in std::types

WARNING: This type is experimental and may change or be removed.

The uninhabited type of computations that never complete normally.

never has no values and is a subtype of every type. Use it as the return type of a function that always stops evaluation by raising an error. A function declared to return never produces a type error if it returns a value or reaches the end of its body.