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

解答例:

type MyThisParameterType<T> = T extends (this: infer U, ...args: any[]) => any ? U : unknown;

MyThisParameterType<T>は、ジェネリック型Tが関数である場合、thisパラメーターの型を取得し、それ以外の場合はunknownを返します。inferキーワードを使用して、thisパラメーターの型をUとして型推論します。...argsは引数の残りの部分を受け取るために使用されますが、この問題には関係ありません。