summaryrefslogtreecommitdiffstats
path: root/js/src/tests/test262/language/expressions/in/private-field-rhs-non-object.js
blob: db510e21065cc233e7470466dbcb1488832e67a6 (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
// Copyright 2021 the V8 project authors.  All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.

/*---
description: Algorithm interrupted by non-object right-hand side
info: |
  Syntax
    RelationalExpression[In, Yield, Await]:
    [...]
    [+In]PrivateIdentifier in ShiftExpression[?Yield, ?Await]

  [...]

  1. Let privateIdentifier be the StringValue of PrivateIdentifier.
  2. Let rref be the result of evaluating ShiftExpression.
  3. Let rval be ? GetValue(rref).
  4. If Type(rval) is not Object, throw a TypeError exception.
esid: sec-relational-operators-runtime-semantics-evaluation
features: [class-fields-private, class-fields-private-in]
---*/

let caught = null;

class C {
  #field;

  constructor() {
    try {
      /**
       * Using a ShiftExpression to produce the non-object value verifies that
       * the implementation uses the operator precedence implied by the
       * syntactic grammar. In other words, the following statement should be
       * interpreted as:
       *
       *     #field in ({} << 0);
       *
       * ...rather than:
       *
       *     (#field in {}) << 0;
       */
      #field in {} << 0;
    } catch (error) {
      caught = error;
    }
  }
}

new C();

assert.notSameValue(caught, null);
assert.sameValue(caught.constructor, TypeError);

reportCompare(0, 0);