안녕하세요! 완전 복잡한 타입 분석하기(bind 편) 5:25을 보다가 궁금한 점이 생겨서 질문드립니다. 아래는 OmitThisParameter인데요type OmitThisParameter<T> = unknown extends ThisParameterType<T> ? T : T extends (...args: infer A) => infer R ? (...args: A) => R : T두번째 조건부 타입에서 ...args 에 왜 this는 포함되지 않는건가요?T extends (...args: infer A) => infer R ? (...args: A) => R : T제 개인적인 생각은 'T가 첫번째 조건부 타입에서 this 매개변수가 있다는 것이 확인 되었으니까, T는 (this, ...args) => any 이렇게 생겼을 것이다 라고 컴파일러가 추론(?)해서 바로 ...args만 추출하는건가??' 인데 제 생각이 맞는 건지 아니면 다른 이유인지 궁금해서 질문 드립니다!