Что такое тип never в TypeScript?

never — тип для значений которых никогда не существует. Функция которая всегда бросает ошибку возвращает never. Бесконечный цикл тоже. В exhaustive checks: в switch/if после перебора всех вариантов discriminated union, оставшийся тип должен быть never — если не так, значит добавили новый вариант но не обработали его. Это compile-time проверка полноты обработки. never является subtype всех типов (bottom type).