Seonglae Chonever keyword는 잘못된 타입이 들어오는걸 방지하는 역할을 할수도
type Arguments<T> = T extends (...args: infer A) => any ? A : never
typescript의 unknown과 never 타입
다른 모든 타입들의 슈퍼셋이다. 모든 타입들은 unknown타입이다. 다른 모든 타입들의 서브셋이다. 가장 최하위 개념의 타입이다. 따라서, 그 어떤 다른 타입들도 never타입일 수 없다. never는 never그 자체다. never는 그 어떤 타입도 아니기 때문에 union을 하더라도 그대로다. T & unknown ⇒ T unknown은 모든 타입들의 superset이기 때문에 unknown과 어떤 타입 T를 교집합하면 그대로 T가 나온다.
https://simsimjae.tistory.com/463
