BFE.devAI解答 - TypeScript 类型谜题
8. 实现Extract<T, U>

type MyExtract<T, U> = T extends U ? T : never;

上述代码使用了条件类型来实现，当T可以分配给U时，返回T；否则返回never。这样就能实现对T中可以代入到U的成员所组成的类型的提取。