Тип данных never

Когда тип переменной сужается до типа, который не может содержать никаких значений, компилятор TypeScript выводит, что переменная должна иметь тип never. Это связано с тем, что тип never представляет значение, которое никогда не может быть получено.

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 имеет тип never, поскольку он не может быть ничем, кроме строки или числа
        const neverVal: never = val;
        console.log(`Unexpected value: ${neverVal}`);
    }
};