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

Raul-Sebastian Mihăilă raul.mihaila at gmail.com
Sun Mar 5 16:48:39 UTC 2017


If it's not obvious how the state of the target can be checked in order to
enforce the invariant, it can be checked as it is checked for all the other
invariants, namely in the internal method (in our case the [[HasProperty]]
internal method) of the proxy, after the hook (in our case the `has` hook)
was called.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.mozilla.org/pipermail/es-discuss/attachments/20170305/db3da902/attachment.html>


More information about the es-discuss mailing list