Тип never и исчерпывающие проверки

Принципы

• Параметры типа never сигнализируют о невозможных ветках: передать что-либо кроме never нельзя.
• Добавляйте функцию-заглушку в default, чтобы компилятор следил за полнотой switch по объединениям.
• Удалённый кейс ('cancelled') сразу выявляется компилятором через несоответствие never.

Пример

function neverReached(never: never) {}

type Status = 'created' | 'waiting' | 'done' | 'cancelled';

function showLog(status: Status) {
  switch (status) {
    case 'created':
    case 'waiting':
    case 'done':
      console.log(status.toUpperCase());
      break;
    default:
      neverReached(status);
  }
}

Практика

• Проверяйте исчерпываемость после каждого рефакторинга объединения — TypeScript подсветит недостающий кейс.
• Используйте отдельную утилиту assertNever в shared-коде, чтобы не копировать реализацию.
• Не злоупотребляйте as never: приведение скрывает ошибки, вместо этого заполняйте все ветки обработки.