9.5.8 [[Get]] (P, Receiver)

# Axel Rauschmayer (10 years ago)

people.mozilla.org/~jorendorff/es6-draft.html#sec-proxy-object-internal-methods-and-internal-slots-get-p-receiver, people.mozilla.org/~jorendorff/es6-draft.html#sec-proxy-object-internal-methods-and-internal-slots-get-p-receiver

Quoting the spec (I’ve marked two typos):

  • The value reported for a property must be the same as the value of the corresponding target object property if the target object property is a non-writable, non-configurable data property.

  • The value reported for a property must be undefined if the corresponding corresponding [typo: mentioned twice] target object property is [typo: missing “a”] non-configurable accessor property that has undefined as its [[Get]] attribute.

Suggestion: mention in both cases that the property is an own property of the target.

# Tom Van Cutsem (10 years ago)

2014-11-27 12:32 GMT+01:00 Axel Rauschmayer <axel at rauschma.de>:

Suggestion: mention in both cases that the property is an own property of the target.

+1. It doesn't hurt to be too explicit in stating these invariants.

It may help Allen if you can repost this as a bug in the ecmascript bug tracker: < bugs.ecmascript.org/enter_bug.cgi?product=Draft for 6th Edition

# Axel Rauschmayer (10 years ago)

Will do in a few days (the other one, too). Too busy ATM.