Object.values and Object.entries are unsound and inconsistent with Object.keys.

Search Terms:
Object.values Object.entries sound soundness unsound inconsistent Object.keys

Code
Proposed change: https://github.com/MicahZoltu/TypeScript/commit/603c36370c7fdcd142b1493ca8cbbb955db73b69

Related Issues:
#12207
#12253

Back in November 2016, a PR (#12207) was submitted to make the types of Object.entries and Object.values generic. This PR was reviewed and accepted, and as a note it was recommended that Object.keys be updated similarly. The author then submitted a PR to update Object.keys (#12253) but @ahejlsberg made the very valid point that this change was unsound and the PR was closed. The author of both PRs then suggested that perhaps #12207 should be reverted, but this revert never happened.

This issue is to discuss options for rectifying this situation and I propose we make Object.entries and Object.values consistent with the sound behavior of Object.keys. The major issue here is that this IS a breaking change since people may be relying on the currently unsound behavior of Object.values and Object.entries. However, I think having TypeScript be inconsistent on this front indefinitely is not good, and I don't think changing Object.keys to be unsound is the right solution, so at the least this change should be merged into TS 4.x.

Im Issue sind keine Quelldateien, Tests oder Einstiegspunkte angegeben. Beginne damit, den vorgeschlagenen Commit, die zugehörigen Issues #12207 und #12253 sowie die Diskussion über Soundness und Breaking Changes zu lesen. Als abgeschlossen gilt die Aufgabe, wenn sich das Projekt auf ein konkretes, konsistentes Verhalten für Object.values und Object.entries geeinigt hat.