夏

type Tail = T extends [T[0], ...infer K] ? K : []; // 你的实现代码

type IsEqual = A extends B ? (B extends A ? true : false) : false; 有点想不明白 A extends B 跟 B extends A 不是一个道理么? 为何不 type IsEqual = A...

type RemoveIndexSignature = { [K in keyof T as K extends T[K] ? never : K]: T[K]; };