new [[HasProperty]] invariant for non-extensible objects

Raul-Sebastian Mihăilă raul.mihaila at
Mon Mar 6 10:10:32 UTC 2017

To be more explicit, the invariants allow this surprising behavior:

Object.isExtensible(nonStandardExoticObject); // false

'foo' in nonStandardExoticObject; // false

Object.getOwnPropertyDescriptor(nonStandardExoticObject, 'foo'); // {value:
2, enumerable: true, configurable: true, writable: true}
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the es-discuss mailing list