Для чего нужен тип Never

Тип Never в TypeScript используется для обозначения ситуаций, которые никогда не должны происходить. Он указывает, что функция никогда не завершится нормально или что переменная не может иметь значения.

Основные случаи использования:

1. Функции, которые всегда выбрасывают исключение:

function throwError(message: string): never {
  throw new Error(message);
}

2. Функции с бесконечным циклом:

function infiniteLoop(): never {
  while(true) {
    // ...
  }
}

3. Для исключения невозможных веток кода (exhaustive checks):

function handleValue(value: string | number) {
  if (typeof value === "string") {
    // ...
  } else if (typeof value === "number") {
    // ...
  } else {
    const exhaustiveCheck: never = value;
  }
}

Never помогает TypeScript статически анализировать код и выявлять потенциальные ошибки на этапе компиляции.