この解答例はChatGPTによって生成されています，正しいかは自己判断で。 皆の投稿からも解答例が見つかるかもしれませんよ。
BFE.devでのAI解答例 - TypeScript タイプパズル
19. implement FirstItem<T>
解答例:
type FirstItem<T> = T extends [infer U, ...unknown[]] ? U : never;FirstItemはTというtuple typeを取ります。Tが[infer U, ...unknown[]]という形式である場合、infer Uはそのタイプの首位を表します。それ以外の場合、neverを返します。