14 - First of Array

[DEV4N4]

// your answers
// any[] 부분을 T[]로 바꿔서 괜히 중간에 더 헷갈렸다.. (이게 돼야하는데 왜 안되는거지..?!)
type First<T extends any[]> = T extends [] ? never : T[0]

// answer 2 - infer에 대한 이해도가 높아지는 답안이었던 것 같다.
type First<T extends any[]> = T extends [infer A, ...infer rest] ? A : never

참고 자료

[TS] extends 키워드 활용
infer란?