O que é o tipo never em TypeScript e como ele difere de outros tipos?

O tipo never em TypeScript é usado para indicar valores que nunca ocorrem. É um tipo para funções que nunca retornam um valor (por exemplo, que lançam um erro ou executam-se indefinidamente), ou para variáveis que não podem ter valor.

Diferenças de outros tipos:

• Outros tipos descrevem valores possíveis, enquanto never indica a ausência de valores.
• never é um subtipo de todos os tipos, mas nenhum tipo é subtipo de never (exceto never próprio).

Exemplo:

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

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