Adding upstream version 86.0.1.upstream/86.0.1upstream

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

1 files changed, 102 insertions, 0 deletions

diff --git a/js/src/tests/test262/language/expressions/arrow-function/unscopables-with-in-nested-fn.js b/js/src/tests/test262/language/expressions/arrow-function/unscopables-with-in-nested-fn.js
new file mode 100644
index 0000000000..3a2ed073ee
--- /dev/null
+++ b/js/src/tests/test262/language/expressions/arrow-function/unscopables-with-in-nested-fn.js
@@ -0,0 +1,102 @@
+// This file was procedurally generated from the following sources:
+// - src/function-forms/unscopables-with-in-nested-fn.case
+// - src/function-forms/default/arrow-function.template
+/*---
+description: Symbol.unscopables behavior across scope boundaries (arrow function expression)
+esid: sec-arrow-function-definitions-runtime-semantics-evaluation
+features: [globalThis, Symbol.unscopables]
+flags: [generated, noStrict]
+info: |
+    ArrowFunction : ArrowParameters => ConciseBody
+
+    [...]
+    4. Let closure be FunctionCreate(Arrow, parameters, ConciseBody, scope, strict).
+    [...]
+
+    9.2.1 [[Call]] ( thisArgument, argumentsList)
+
+    [...]
+    7. Let result be OrdinaryCallEvaluateBody(F, argumentsList).
+    [...]
+
+    9.2.1.3 OrdinaryCallEvaluateBody ( F, argumentsList )
+
+    1. Let status be FunctionDeclarationInstantiation(F, argumentsList).
+    [...]
+
+    9.2.12 FunctionDeclarationInstantiation(func, argumentsList)
+
+    [...]
+    23. Let iteratorRecord be Record {[[iterator]]:
+        CreateListIterator(argumentsList), [[done]]: false}.
+    24. If hasDuplicates is true, then
+        [...]
+    25. Else,
+        b. Let formalStatus be IteratorBindingInitialization for formals with
+           iteratorRecord and env as arguments.
+    [...]
+
+    ...
+    Let envRec be lex's EnvironmentRecord.
+    Let exists be ? envRec.HasBinding(name).
+
+    HasBinding
+
+    ...
+    If the withEnvironment flag of envRec is false, return true.
+    Let unscopables be ? Get(bindings, @@unscopables).
+    If Type(unscopables) is Object, then
+       Let blocked be ToBoolean(? Get(unscopables, N)).
+       If blocked is true, return false.
+
+    (The `with` Statement) Runtime Semantics: Evaluation
+
+    ...
+    Set the withEnvironment flag of newEnv’s EnvironmentRecord to true.
+    ...
+
+---*/
+let count = 0;
+var v = 1;
+globalThis[Symbol.unscopables] = {
+  v: true,
+};
+
+{
+  count++;
+
+var callCount = 0;
+// Stores a reference `ref` for case evaluation
+var ref;
+ref = (x) => {
+  (function() {
+    count++;
+    with (globalThis) {
+      count++;
+      assert.sameValue(v, 1, 'The value of `v` is 1');
+    }
+  })();
+  (function() {
+    count++;
+    var v = x;
+    with (globalThis) {
+      count++;
+      assert.sameValue(v, 10, 'The value of `v` is 10');
+      v = 20;
+    }
+    assert.sameValue(v, 20, 'The value of `v` is 20');
+    assert.sameValue(globalThis.v, 1, 'The value of globalThis.v is 1');
+  })();
+  assert.sameValue(v, 1, 'The value of `v` is 1');
+  assert.sameValue(globalThis.v, 1, 'The value of globalThis.v is 1');
+  callCount = callCount + 1;
+};
+
+ref(10);
+assert.sameValue(callCount, 1, 'arrow function invoked exactly once');
+
+  count++;
+}
+assert.sameValue(count, 6, 'The value of `count` is 6');
+
+reportCompare(0, 0);