Чем отличается never от void в TypeScript?

void описывает отсутствие используемого результата функции, а never — отсутствие возможного значения, например при исключении или недостижимой ветке.

Функция с обычным завершением без return относится к void, бесконечно работающая или всегда бросающая — может иметь never. В callback-контракте void допускает игнорирование возвращаемого значения. never полезен для проверки исчерпывающего разбора union.