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

void означает, что возвращаемое значение не предполагается использовать; never — что нормального возвращения или допустимого значения нет.

Функция, всегда бросающая исключение, может иметь результат never, а обычный обработчик без полезного результата — void. Callback типа () => void допускает реализацию, возвращающую значение, но вызывающая сторона по контракту его игнорирует. never также применяют для проверки исчерпывающих ветвлений.