Fix: wrong generic type of Omit

[nnnnnoel]

No description provided.

[typescript-bot]

It looks like you've sent a pull request to update our 'lib' files. These files aren't meant to be edited by hand, as they consist of last-known good states of the compiler and are generated from 'src'. Unless this is necessary, consider closing the pull request and sending a separate PR to update 'src'.

[weswigham]

Nah, the current formulation is intentional. Omit's second argument doesn't need to be limited to the keys of its' first, as the operation works fine if there're not (Omit<{x: number}, "y"> can still be resolved), so it isn't. keyof any is just used as a way to say "all key types" (string | number | symbol).

Notably, the current formulation lets you do thing like Omit<{x: number, y: number}, "y" | "z"> (which is to say, elide partially overlapping sets of properties) which would otherwise fail, but are incredibly useful.

[weswigham]

See #30825 for more on this.

[nnnnnoel]

But we can make StirctOmit<T, U extends keyof T> right?