Update types for `Object.entries`, `Object.values`, and `Object.keys` to behave differently for exact objects

escalier-lang / escalier-next

Improved type safety with tight TypeScript interop

https://escalier-lang.github.io/escalier-next/

MIT License

14 stars 0 forks source link

Update types for `Object.entries`, `Object.values`, and `Object.keys` to behave differently for exact objects #337

Open kevinbarabash opened 3 months ago

kevinbarabash commented 3 months ago

With inexact objects we can't be sure if there are extra properties or not in the object, but with exact objects we can. This means we can return something more useful than unknown[] from Object.values for instance.