From 5c3ea187637f837749e10924fc261a374204b3d8 Mon Sep 17 00:00:00 2001
From: Alexey Shvayka <shvaikalesh@gmail.com>
Date: Fri, 13 Mar 2020 12:52:55 +0200
Subject: [PATCH] Add [[Construct]] tests

---
 .../trap-is-missing-target-is-proxy.js        | 38 +++++++++++++++
 .../construct/trap-is-null-target-is-proxy.js | 45 ++++++++++++++++++
 .../trap-is-undefined-target-is-proxy.js      | 46 +++++++++++++++++++
 3 files changed, 129 insertions(+)
 create mode 100644 test/built-ins/Proxy/construct/trap-is-missing-target-is-proxy.js
 create mode 100644 test/built-ins/Proxy/construct/trap-is-null-target-is-proxy.js
 create mode 100644 test/built-ins/Proxy/construct/trap-is-undefined-target-is-proxy.js

diff --git a/test/built-ins/Proxy/construct/trap-is-missing-target-is-proxy.js b/test/built-ins/Proxy/construct/trap-is-missing-target-is-proxy.js
new file mode 100644
index 0000000000..0fd7a8852c
--- /dev/null
+++ b/test/built-ins/Proxy/construct/trap-is-missing-target-is-proxy.js
@@ -0,0 +1,38 @@
+// 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-construct-argumentslist-newtarget
+description: >
+  If "construct" trap is null or undefined, [[Construct]] call is
+  properly forwarded to [[ProxyTarget]] (which is also a Proxy object).
+info: |
+  [[Construct]] ( argumentsList, newTarget )
+
+  [...]
+  4. Let target be O.[[ProxyTarget]].
+  5. Assert: IsConstructor(target) is true.
+  6. Let trap be ? GetMethod(handler, "construct").
+  7. If trap is undefined, then
+    a. Return ? Construct(target, argumentsList, newTarget).
+features: [class, Proxy, Reflect, Reflect.construct]
+includes: [compareArray.js]
+---*/
+
+var ArrayTarget = new Proxy(Array, {});
+var ArrayProxy = new Proxy(ArrayTarget, {});
+
+var array = new ArrayProxy(1, 2, 3);
+assert(Array.isArray(array));
+assert.compareArray(array, [1, 2, 3]);
+
+class MyArray extends Array {
+  get isMyArray() {
+    return true;
+  }
+}
+
+var myArray = Reflect.construct(ArrayProxy, [], MyArray);
+assert(Array.isArray(myArray));
+assert(myArray instanceof MyArray);
+assert(myArray.isMyArray);
diff --git a/test/built-ins/Proxy/construct/trap-is-null-target-is-proxy.js b/test/built-ins/Proxy/construct/trap-is-null-target-is-proxy.js
new file mode 100644
index 0000000000..e3a5313158
--- /dev/null
+++ b/test/built-ins/Proxy/construct/trap-is-null-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-construct-argumentslist-newtarget
+description: >
+  If "construct" trap is null or undefined, [[Construct]] call is
+  properly forwarded to [[ProxyTarget]] (which is also a Proxy object).
+info: |
+  [[Construct]] ( argumentsList, newTarget )
+
+  [...]
+  4. Let target be O.[[ProxyTarget]].
+  5. Assert: IsConstructor(target) is true.
+  6. Let trap be ? GetMethod(handler, "construct").
+  7. If trap is undefined, then
+    a. Return ? Construct(target, argumentsList, newTarget).
+features: [class, Proxy, Reflect, Reflect.construct]
+---*/
+
+class Foo {
+  constructor(arg) {
+    this.arg = arg;
+  } 
+}
+
+var FooTarget = new Proxy(Foo, {});
+var FooProxy = new Proxy(FooTarget, {
+  construct: null,
+});
+
+var foo = new FooProxy(1);
+assert(foo instanceof Foo);
+assert.sameValue(foo.arg, 1);
+
+class Bar extends Foo {
+  get isBar() {
+    return true;
+  }
+}
+
+var bar = Reflect.construct(FooProxy, [2], Bar);
+assert(bar instanceof Bar);
+assert.sameValue(bar.arg, 2);
+assert(bar.isBar);
diff --git a/test/built-ins/Proxy/construct/trap-is-undefined-target-is-proxy.js b/test/built-ins/Proxy/construct/trap-is-undefined-target-is-proxy.js
new file mode 100644
index 0000000000..968b310766
--- /dev/null
+++ b/test/built-ins/Proxy/construct/trap-is-undefined-target-is-proxy.js
@@ -0,0 +1,46 @@
+// 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-construct-argumentslist-newtarget
+description: >
+  If "construct" trap is null or undefined, [[Construct]] call is
+  properly forwarded to [[ProxyTarget]] (which is also a Proxy object).
+info: |
+  [[Construct]] ( argumentsList, newTarget )
+
+  [...]
+  4. Let target be O.[[ProxyTarget]].
+  5. Assert: IsConstructor(target) is true.
+  6. Let trap be ? GetMethod(handler, "construct").
+  7. If trap is undefined, then
+    a. Return ? Construct(target, argumentsList, newTarget).
+features: [class, Proxy, Reflect, Reflect.construct]
+---*/
+
+class Foo {
+  constructor(a, b) {
+    this.sum = a + b;
+  }
+}
+
+var FooBound = Foo.bind(null, 1);
+var FooTarget = new Proxy(FooBound, {});
+var FooProxy = new Proxy(FooTarget, {
+  construct: undefined,
+});
+
+var foo = new FooBound(2);
+assert(foo instanceof Foo);
+assert.sameValue(foo.sum, 3);
+
+class Bar extends Foo {
+  get isBar() {
+    return true;
+  }
+}
+
+var bar = Reflect.construct(FooProxy, [3], Bar);
+assert(bar instanceof Bar);
+assert.sameValue(bar.sum, 4);
+assert(bar.isBar);