Что такое тип never в TypeScript и чем он отличается от других типов?

Тип never в TypeScript используется для обозначения значений, которые никогда не возникают. Это тип для функций, которые никогда не возвращают значение (например, выбрасывают ошибку или бесконечно выполняются), или для переменных, которые не могут иметь значение.

Отличия от других типов:

• Другие типы описывают возможные значения, а never — отсутствие значений.
• never является подтипом всех типов, но ни один тип не является подтипом never (кроме самого never).

Пример:

function error(message: string): never {
  throw new Error(message);
}

function infiniteLoop(): never {
  while(true) {}
}