Czym jest typ `never` i jak umożliwia sprawdzenia exhaustiveness?

Question

Accepted Answer

`never` to typ wartości, które **nigdy się nie pojawią** — funkcja, która nigdy nie zwraca (wyrzuca wyjątek lub zapętla się na zawsze), albo gałąź, którą kompilator udowodnił, że jest niemożliwa. To typ *pusty*: żadna wartość nie może być przypisana do `never` (poza samym `never`).

```ts
function fail(msg: string): never { throw new Error(msg); } // never returns
function loop(): never { while (true) {} }
```

## Dlaczego to ważne

Kiedy zawęża się unię do niczego, TypeScript przypisuje pozostałej wartości typ `never`. Wykorzystujesz to, aby wymusić obsługę każdego przypadku:

```ts
type Shape =
  | { kind: "circle"; r: number }
  | { kind: "square"; side: number };

function area(s: Shape): number {
  switch (s.kind) {
    case "circle": return Math.PI * s.r ** 2;
    case "square": return s.side ** 2;
    default:
      // if all cases are handled, s is `never` here — assignment OK
      const _exhaustive: never = s;
      return _exhaustive;
  }
}
```

Teraz jeśli ktoś doda `{ kind: "triangle"; ... }` do `Shape`, ale zapomni jednego przypadku, `s` w gałęzi default to typ triangle (nie `never`), więc `const _exhaustive: never = s` **nie kompiluje się** — wskazując dokładnie na switch, który należy zaktualizować.

## never vs void

```ts
function a(): void {}   // returns normally, just no value
function b(): never { throw "x"; } // never returns at all
```

## Dlaczego to ważne

`never` zamienia pytanie „czy obsłużyłem każdy przypadek?