type IsASubsetOfUnknown<T> = T extends unknown ? true : false;
type T1 = IsASubsetOfUnknown<never>; // never
type T2 = never extends unknown ? true : false; // true
Why is T1 never and T2 true? I would expect them to both be true.
Asked
Active
Viewed 26 times
2
petersergeant
- 334
- 1
- 6
-
(essentially a) duplicate of https://stackoverflow.com/questions/65492464/typescript-never-type-condition – kelsny Oct 28 '22 at 14:54
-
you're absolutely right, thanks. I've voted to close it as a dupe – petersergeant Oct 28 '22 at 15:11