Spec bug (proxies)? 9.5.8 [[Get]] (P, Receiver)

[Tom Van Cutsem]

No, the proxy invariant checking mechanism never looks at inherited
properties. Invariants related to frozenness (non-configurable,
non-extensible) relate only to own properties. For example, even if an
object is frozen, it may still inherit from a non-frozen object whose
interface may change. And then there's `setPrototypeOf`, which may cause
inherited properties to change altogether.

Cheers,
Tom

2014-11-02 19:25 GMT+01:00 Axel Rauschmayer <axel at rauschma.de>:

>
> https://people.mozilla.org/~jorendorff/es6-draft.html#sec-proxy-object-internal-methods-and-internal-slots-get-p-receiver
>
> To enforce the invariants, this operation uses `targetDesc`. That property
> descriptor is retrieved via target.[[GetOwnProperty]], which ignores
> inherited properties. Shouldn’t inherited properties be taken into
> consideration, too?
>
> --
> Dr. Axel Rauschmayer
> axel at rauschma.de
> rauschma.de
>
>
>
>
> _______________________________________________
> es-discuss mailing list
> es-discuss at mozilla.org
> https://mail.mozilla.org/listinfo/es-discuss
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.mozilla.org/pipermail/es-discuss/attachments/20141102/2bb22566/attachment.html>