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

解答例:

type MyPick<T, K extends keyof T> = {  [P in K]: T[P];}

• MyPick<T, K>は、KにあるTのプロパティを抽出する
• K extends keyof Tは、KがTのキーのサブタイプである制約を設けている
• P in Kは、Kの型の各要素を反復処理する
• T[P]は、Pキーに対応するTのプロパティの型を取得する

これで、 AとBの出力は、期待どおり、 Cではエラーが返されます。