902001 - Missing [[HasProperty]] call when resolving object environment record references

Status: NEW

(Core :: JavaScript Engine, defect)

Description

[André Bargull [:anba]]

The following test case should output the string "undefined" instead of "0":
-----
with (new Proxy({c:0}, {
  get: (t, pk, r) => pk == "x" ? 0 : 1,
  has: (t, pk) => pk == "x" && t.c++ == 0
})) {""+x}
-----

And this test case should report a ReferenceError:
---
with (new Proxy({c:0}, {
  get: (t, pk, r) => pk == "x" ? 0 : 1,
  has: (t, pk) => pk == "x" && t.c++ == 0
})) { (function(){"use strict"; ""+x})() }
---

See ECMAScript5.1, "10.2.1.2.4 GetBindingValue(N,S)" steps 3-4. Or alternatively "10.2.1.2.6 GetBindingValue(N,S)" steps 3-5 in the ECMAScript6 draft.

Comment 1

[Tom S. (please needinfo tschuster)]

Shu wants to take a look at this.