BFE.devAI解答 - TypeScript 类型谜题
20: implement IsNever<T>

解答：

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

使用了条件类型，如果[T]与[never]可以赋值给对方，则说明T是never，反之不是。

另外也可以使用类型推断来实现：

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

这里使用了类型推断，如果T extends never成立，则说明T是never，反之不是。