The Primitive Type never

In this lesson, you will see the type never, which is used to indicate that something must never happen.

We'll cover the following...

The type never means that nothing occurs. It is used when a type guard cannot occur or in a situation where an exception is always thrown. There is a difference between void and never. A function that has the explicit return type of never won’t allow your code to return undefined, which is different from a void function that allows code to return undefined.

Press + to interact
function functionThrow(): never {
throw new Error("This function return never");
}

The never type is a subtype for every type. Hence, you can return never ...