Czy to never?

Rozwiązanie

type IsNever<T> = [T] extends [never] ? true : false

Najczęstsza błędna odpowiedź

type IsNever<T> = T extends never ? true : false

To zwraca never, nie true. Typ warunkowy z gołym parametrem typu dystrybuuje się po uniach, a never to unia pusta — nie ma więc żadnych składników do rozdzielenia, warunek nie wykonuje się ani razu i wynikiem znów jest unia pusta.

Linia po linii

1. [T] extends [never]

   Owinięcie w krotkę nie jest ozdobą: sprawia, że lewa strona przestaje być gołym parametrem typu, co wyłącza dystrybucję i pozwala porównać sam never.

2. IsNever<never | string>

   never | string to po prostu string — never znika z unii w chwili, gdy do niej wchodzi. Odpowiedź brzmi false, bo typ, który przyszedł, od początku nie był never.

Do zapamiętania

never to unia pusta i ten jeden fakt tłumaczy większość jego dziwnych zachowań: dystrybucja po nim nie robi nic, a on sam znika z każdej unii, do której trafi.