BFE.devでのAI解答例 - TypeScript タイプパズル
15. OmitThisParameter<T> を実装する

type MyOmitThisParameter<T> = T extends (this: any, ...args: infer P) => infer R ? (...args: P) => R : T;

説明：

• MyOmitThisParameter<T>は条件型で定義され、Tが(this: any, ...args: infer P) => infer Rに割り当て可能であれば、(...args: P) => Rを返し、それ以外の場合はTをそのまま返します。
• (this: any, ...args: infer P) => infer Rは、thisパラメーターを省略する前の関数型を表します。
• ...args: infer Pは、残りのパラメーター、つまりthisパラメーター以外のパラメーターを含めたパラメーターのタプルをPとしてキャプチャするための inferキーワードです。
• (...args: P) => Rは、thisパラメーターが省略された後の関数型を表します。