Когда используется тип never?

never — тип, у которого нет значений. Функция с never никогда не завершается: бросает ошибку или бесконечный цикл. В exhaustive check: в default ветке switch присваиваешь значение к never — если забыл обработать вариант union, TS выдаст ошибку. Conditional types используют never для фильтрации: Exclude<"a" | "b", "a"> = "b", потому что never в union исчезает. never — это «пустой тип», «ничего», bottom type в теории типов.