// 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);