enumerate trap invariants

[Raul-Sebastian Mihăilă]

What is the reason for not enforcing invariants on the enumerate trap with
respect to non-configurable, enumerable, own properties of (non-extensible)
targets? More explicit: why is there no error thrown if such a property is
not yielded by the iterator that is returned from the enumerate trap? Is it
performance?

Thank you.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.mozilla.org/pipermail/es-discuss/attachments/20150823/8af4ce02/attachment.html>