summaryrefslogtreecommitdiffstats
path: root/js/src/tests/test262/built-ins/Proxy/construct/trap-is-undefined-proto-from-newtarget-realm.js
blob: dd96640ce5f16cb44a88b28a22ba11e6e4037b50 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
// Copyright (C) 2016 the V8 project authors. 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 trap is undefined, propagate [[Construct]] to target,
  passing correct newTarget parameter
info: |
  [[Construct]] ( argumentsList, newTarget )

  [...]
  7. If trap is undefined, then
    b. Return ? Construct(target, argumentsList, newTarget).

  Construct ( F [ , argumentsList [ , newTarget ] ] )

  [...]
  5. Return ? F.[[Construct]](argumentsList, newTarget).

  [[Construct]] ( argumentsList, newTarget )

  [...]
  5. If kind is "base", then
    a. Let thisArgument be ? OrdinaryCreateFromConstructor(newTarget, "%ObjectPrototype%").

  OrdinaryCreateFromConstructor ( constructor, intrinsicDefaultProto [ , internalSlotsList ] )

  [...]
  2. Let proto be ? GetPrototypeFromConstructor(constructor, intrinsicDefaultProto).
  3. Return ObjectCreate(proto, internalSlotsList).

  GetPrototypeFromConstructor ( constructor, intrinsicDefaultProto )

  [...]
  3. Let proto be ? Get(constructor, "prototype").
  4. If Type(proto) is not Object, then
    a. Let realm be ? GetFunctionRealm(constructor).
    b. Set proto to realm's intrinsic object named intrinsicDefaultProto.
  5. Return proto.

  GetFunctionRealm ( obj )

  [...]
  2. If obj has a [[Realm]] internal slot, then
    a. Return obj.[[Realm]].
features: [cross-realm, Proxy, Reflect, Reflect.construct]
---*/

var other = $262.createRealm().global;
var C = new other.Function();
C.prototype = null;

var P = new Proxy(function() {}, {});
var p = Reflect.construct(P, [], C);

assert.sameValue(Object.getPrototypeOf(p), other.Object.prototype);

reportCompare(0, 0);