Add [[HasProperty]] tests

test/built-ins/Proxy/has/trap-is-missing-target-is-proxy.js

@@ -0,0 +1,33 @@
+// Copyright (C) 2020 Alexey Shvayka. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-proxy-object-internal-methods-and-internal-slots-hasproperty-p
+description: >
+  If "has" trap is null or undefined, [[HasProperty]] call is properly
+  forwarded to [[ProxyTarget]] (which is also a Proxy object).
+info: |
+  [[HasProperty]] ( P )
+
+  [...]
+  5. Let target be O.[[ProxyTarget]].
+  6. Let trap be ? GetMethod(handler, "has").
+  7. If trap is undefined, then
+    a. Return ? target.[[HasProperty]](P).
+features: [Proxy, Symbol.replace, Reflect]
+---*/
+
+var regExp = /(?:)/m;
+var regExpTarget = new Proxy(regExp, {});
+var regExpProxy = new Proxy(regExpTarget, {});
+
+assert(Reflect.has(regExpProxy, "ignoreCase"));
+assert(Symbol.replace in regExpProxy);
+assert("lastIndex" in Object.create(regExpProxy));
+
+
+var functionTarget = new Proxy(function() {}, {});
+var functionProxy = new Proxy(functionTarget, {});
+
+assert("__proto__" in functionProxy);
+assert("length" in Object.create(functionProxy));

test/built-ins/Proxy/has/trap-is-null-target-is-proxy.js

@@ -0,0 +1,44 @@
+// Copyright (C) 2020 Alexey Shvayka. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-proxy-object-internal-methods-and-internal-slots-hasproperty-p
+description: >
+  If "has" trap is null or undefined, [[HasProperty]] call is properly
+  forwarded to [[ProxyTarget]] (which is also a Proxy object).
+info: |
+  [[HasProperty]] ( P )
+
+  [...]
+  5. Let target be O.[[ProxyTarget]].
+  6. Let trap be ? GetMethod(handler, "has").
+  7. If trap is undefined, then
+    a. Return ? target.[[HasProperty]](P).
+features: [Proxy, Symbol, Reflect]
+---*/
+
+var stringTarget = new Proxy(new String("str"), {});
+var stringProxy = new Proxy(stringTarget, {
+  get: null,
+});
+
+assert(Reflect.has(stringProxy, "length"));
+assert(0 in stringProxy);
+assert(!(4 in stringProxy));
+
+
+var sym = Symbol();
+var target = new Proxy({}, {
+  has: function(_target, key) {
+    return [sym, "6", "foo"].includes(key);
+  },
+});
+
+var proxy = new Proxy(target, {
+  get: null,
+});
+
+assert(Reflect.has(proxy, sym));
+assert("6" in proxy);
+assert("foo" in Object.create(proxy));
+assert(!("bar" in proxy));

test/built-ins/Proxy/has/trap-is-undefined-target-is-proxy.js

@@ -0,0 +1,45 @@
+// Copyright (C) 2020 Alexey Shvayka. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-proxy-object-internal-methods-and-internal-slots-hasproperty-p
+description: >
+  If "has" trap is null or undefined, [[HasProperty]] call is properly
+  forwarded to [[ProxyTarget]] (which is also a Proxy object).
+info: |
+  [[HasProperty]] ( P )
+
+  [...]
+  5. Let target be O.[[ProxyTarget]].
+  6. Let trap be ? GetMethod(handler, "has").
+  7. If trap is undefined, then
+    a. Return ? target.[[HasProperty]](P).
+features: [Proxy, Reflect]
+---*/
+
+var plainObject = {
+  get 0() {
+    return 1;
+  },
+  foo: 2,
+  set bar(_value) {},
+};
+
+var plainObjectTarget = new Proxy(plainObject, {});
+var plainObjectProxy = new Proxy(plainObjectTarget, {
+  get: undefined,
+});
+
+assert(0 in Object.create(plainObjectProxy));
+assert("foo" in plainObjectProxy);
+assert(Reflect.has(plainObjectProxy, "bar"));
+
+
+var arrayTarget = new Proxy([1, 2], {});
+var arrayProxy = new Proxy(arrayTarget, {
+  get: undefined,
+});
+
+assert("length" in Object.create(arrayProxy));
+assert("1" in arrayProxy);
+assert(!("2" in arrayProxy));