$cat~/glossario/never-type.md

never

TypeScript

Tipo de valores impossíveis: função que nunca retorna ou union vazia.

never-type.mdmarkdown
01

seção

Explicação

never — Tipo de valores impossíveis: função que nunca retorna ou union vazia.

Bottom type — no values. Function never returns (throw/infinite). Exhaustive check helper.

Union eliminated narrows to never impossible.

02

seção

Exemplo

snippetJavaScript
function assertNever(x: never): never {  throw new Error("Unexpected: " + x);}
03

seção

Modo de uso

  • Switch exhaustive default

  • Filter impossible branch

  • Throw only function return

04

seção

Armadilhas comuns

  • Code after never still checked unreachable

  • Confuse void vs never

05

seção

Termos relacionados