Dlaczego type IsNever = T extends never ? true : false daje never dla IsNever ?

never to pusta unia, a rozkład po niej daje pusty wynik

To błąd kompilatora, więc never w ogóle nie da się sprawdzić

never jest w typach warunkowych zawsze przypisywalne do literału false

TypeScript · Senior · Pytanie 5 z 75

Dlaczego `type IsNever<T> = T extends never ? true : false` daje `never` dla `IsNever<never>`?

✓Poprawna odpowiedź: never to pusta unia, a rozkład po niej daje pusty wynik
2To błąd kompilatora, więc never w ogóle nie da się sprawdzić
3never jest w typach warunkowych zawsze przypisywalne do literału false

Wyjaśnienie

Rozdzielny typ warunkowy stosuje się do każdego członu unii, a never nie ma członów - wynikiem jest never. Poprawne sprawdzenie to [T] extends [never] ? true : false.

Do poczytania

TS Handbook: Conditional Types ↗

Dlaczego `type IsNever<T> = T extends never ? true : false` daje `never` dla `IsNever<never>`?

Wyjaśnienie

Do poczytania

Błąd w pytaniu

Sprawdź się

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

Wyjaśnienie

Do poczytania

Sprawdź się

Dlaczego `type IsNever<T> = T extends never ? true : false` daje `never` dla `IsNever<never>`?