Omit, Exclude, Extract 타입 분석 강의에서 keyof any에 대한 의문

안녕하세요.
Omit을 직접 구현하는 부분에서 궁금한 점이 있어 올립니다.

type O<T, S extends keyof any> = Pick<T, Exclude<keyof T, S>>;

위 처럼 keyof any 부분이 있을 경우 S로 들어올 수 있는 값이 string | number | symbol로 제한되면서 의미가 있다고 해주셨는데요.

type O<T, S extends keyof T> = Pick<T, Exclude<keyof T, S>>;

어짜피 S는 제거해야 되는 속성이므로 위 처럼 T의 key 중 하나라고 명시하는 것이 더 정확한 타입 정의가 아닌가 해서 질문드립니다.