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を返します。