summaryrefslogtreecommitdiffstats
path: root/js/src/tests/test262/built-ins/Proxy/getPrototypeOf/instanceof-target-not-extensible-not-same-proto-throws.js
blob: 7084f5e92a88be8c7565b700c7a747c0c12cabb0 (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
// Copyright (C) 2019 Leo Balter. 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-getprototypeof
description: >
  instanceof operator observes the TypeError from a custom trap result that would return true if
  the target were extensible.
info: |
  Runtime Semantics: InstanceofOperator ( V, target )

  5. Return ? OrdinaryHasInstance(target, V).

  OrdinaryHasInstance ( C, O )

  4. Let P be ? Get(C, "prototype").
  ...
  6. Repeat,
    a. Set O to ? O.[[GetPrototypeOf]]().
    b. If O is null, return false.
    c. If SameValue(P, O) is true, return true.

  [[GetPrototypeOf]] ( )

  7. Let handlerProto be ? Call(trap, handler, « target »).
  8. If Type(handlerProto) is neither Object nor Null, throw a TypeError exception.
  9. Let extensibleTarget be ? IsExtensible(target).
  10. If extensibleTarget is true, return handlerProto.
  11. Let targetProto be ? target.[[GetPrototypeOf]]().
  12. If SameValue(handlerProto, targetProto) is false, throw a TypeError exception.
features: [Proxy]
---*/

function Custom() {}

var target = {};

var p = new Proxy(target, {
  getPrototypeOf() {
    return Custom.prototype;
  }
});

Object.preventExtensions(target);

assert.throws(TypeError, () => {
  p instanceof Custom
});

reportCompare(0, 0);