never es el tipo de los valores que nunca ocurren — una función que nunca retorna (lanza una excepción o entra en un bucle infinito), o una rama que el compilador ha demostrado que es imposible. Es el tipo vacío: ningún valor es asignable a never (excepto never mismo).
function fail(msg: string): never { throw new Error(msg); } // never returns
function loop(): never { while (true) {} }
Cuando acotas una unión hasta dejarla en nada, TypeScript tipa el valor restante como never. Aprovechas esto para forzar el manejo de cada caso:
type Shape =
| { kind: "circle"; r: number }
| { kind: "square"; side: number };
function area(s: Shape): number {
switch (s.kind) {
case "circle": return Math.PI * s.r ** 2;
case "square": return s.side ** 2;
default:
// if all cases are handled, s is `never` here — assignment OK
const _exhaustive: never = s;
return _exhaustive;
}
}
Ahora, si alguien agrega { kind: "triangle"; ... } a Shape pero olvida un caso, s en el default es el tipo triangle (no never), así que const _exhaustive: never = s falla al compilar — señalándote exactamente el switch que necesita actualizarse.
function a(): void {} // returns normally, just no value
function b(): never { throw "x"; } // never returns at all
never convierte la pregunta "¿manejé todos los casos?" de una esperanza en tiempo de ejecución en una garantía en tiempo de compilación.
Es la clave para un manejo seguro y a prueba de futuro de las uniones discriminadas — agrega una variante y el compilador enumera cada lugar que debes actualizar.