El tipo never

Cuando una variable se restringe a un tipo que no puede contener ningún valor, el compilador de TypeScript infiere que debe ser de tipo never, ya que este representa un valor que nunca puede producirse.

const printValue = (val: string | number) => {
    if (typeof val === 'string') {
        console.log(val.toUpperCase());
    } else if (typeof val === 'number') {
        console.log(val.toFixed(2));
    } else {
        // val tiene el tipo never aquí porque no puede ser otra cosa que una cadena o un número
        const neverVal: never = val;
        console.log(`Unexpected value: ${neverVal}`);
    }
};