1 files changed, 53 insertions, 0 deletions
diff --git a/js/src/tests/test262/language/expressions/in/private-field-rhs-non-object.js b/js/src/tests/test262/language/expressions/in/private-field-rhs-non-object.js
new file mode 100644
index 0000000000..db510e2106
--- /dev/null
+++ b/js/src/tests/test262/language/expressions/in/private-field-rhs-non-object.js
@@ -0,0 +1,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);