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

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

T型の各要素に対して、U型に代入可能であればその要素を返し、代入不可能であればneverを返すようにしています。