Add tests for "Late Errors for Function Call Assignment Targets"

src/assignment-target-type/callexpression-as-for-in-lhs.case

@@ -0,0 +1,23 @@
+// Copyright (C) 2025 Sony Interactive Entertainment Inc. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-static-semantics-static-semantics-assignmenttargettype
+desc: >
+  Static Semantics AssignmentTargetType, Return web-compat.
+info: |
+  CallExpression :
+    CoverCallExpressionAndAsyncArrowHead
+    CallExpression Arguments
+  1. If the host is a web browser or otherwise supports Late Errors for Function Call Assignment Targets, then
+     a. If IsStrict(this CallExpression) is false, return ~web-compat~.
+  2. Return ~invalid~.
+template: invalid/statement
+negative: 
+  phase: parse
+  type: SyntaxError
+flags: [onlyStrict]
+---*/
+
+//- statement
+for (f() in [1]) {}

src/assignment-target-type/callexpression-as-for-of-lhs.case

@@ -0,0 +1,23 @@
+// Copyright (C) 2025 Sony Interactive Entertainment Inc. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-static-semantics-static-semantics-assignmenttargettype
+desc: >
+  Static Semantics AssignmentTargetType, Return web-compat.
+info: |
+  CallExpression :
+    CoverCallExpressionAndAsyncArrowHead
+    CallExpression Arguments
+  1. If the host is a web browser or otherwise supports Late Errors for Function Call Assignment Targets, then
+     a. If IsStrict(this CallExpression) is false, return ~web-compat~.
+  2. Return ~invalid~.
+template: invalid/statement
+negative: 
+  phase: parse
+  type: SyntaxError
+flags: [onlyStrict]
+---*/
+
+//- statement
+for (f() of [1]) {}

src/assignment-target-type/callexpression-in-compound-assignment.case

@@ -0,0 +1,27 @@
+// Copyright (C) 2025 Sony Interactive Entertainment Inc. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-static-semantics-static-semantics-assignmenttargettype
+desc: >
+  Static Semantics AssignmentTargetType, Return web-compat.
+info: |
+  CallExpression :
+    CoverCallExpressionAndAsyncArrowHead
+    CallExpression Arguments
+  1. If the host is a web browser or otherwise supports Late Errors for Function Call Assignment Targets, then
+     a. If IsStrict(this CallExpression) is false, return ~web-compat~.
+  2. Return ~invalid~.
+template: invalid
+negative: 
+  phase: parse
+  type: SyntaxError
+flags: [onlyStrict]
+---*/
+
+//- assignmenttarget
+f()
+//- operator
++=
+//- value
+1

src/assignment-target-type/callexpression-in-logical-assignment.case

@@ -0,0 +1,26 @@
+// Copyright (C) 2025 Sony Interactive Entertainment Inc. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-static-semantics-static-semantics-assignmenttargettype
+desc: >
+  Static Semantics AssignmentTargetType, Return web-compat.
+info: |
+  CallExpression :
+    CoverCallExpressionAndAsyncArrowHead
+    CallExpression Arguments
+  1. If the host is a web browser or otherwise supports Late Errors for Function Call Assignment Targets, then
+     a. If IsStrict(this CallExpression) is false, return ~web-compat~.
+  2. Return ~invalid~.
+template: invalid
+negative: 
+  phase: parse
+  type: SyntaxError
+---*/
+
+//- assignmenttarget
+f()
+//- operator
+&&=
+//- value
+1

src/assignment-target-type/callexpression-in-postfix-update.case

@@ -0,0 +1,23 @@
+// Copyright (C) 2025 Sony Interactive Entertainment Inc. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-static-semantics-static-semantics-assignmenttargettype
+desc: >
+  Static Semantics AssignmentTargetType, Return web-compat.
+info: |
+  CallExpression :
+    CoverCallExpressionAndAsyncArrowHead
+    CallExpression Arguments
+  1. If the host is a web browser or otherwise supports Late Errors for Function Call Assignment Targets, then
+     a. If IsStrict(this CallExpression) is false, return ~web-compat~.
+  2. Return ~invalid~.
+template: invalid/statement
+negative: 
+  phase: parse
+  type: SyntaxError
+flags: [onlyStrict]
+---*/
+
+//- statement
+f()++;

src/assignment-target-type/callexpression-in-prefix-update.case

@@ -0,0 +1,23 @@
+// Copyright (C) 2025 Sony Interactive Entertainment Inc. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-static-semantics-static-semantics-assignmenttargettype
+desc: >
+  Static Semantics AssignmentTargetType, Return web-compat.
+info: |
+  CallExpression :
+    CoverCallExpressionAndAsyncArrowHead
+    CallExpression Arguments
+  1. If the host is a web browser or otherwise supports Late Errors for Function Call Assignment Targets, then
+     a. If IsStrict(this CallExpression) is false, return ~web-compat~.
+  2. Return ~invalid~.
+template: invalid/statement
+negative: 
+  phase: parse
+  type: SyntaxError
+flags: [onlyStrict]
+---*/
+
+//- statement
+++f();

src/assignment-target-type/callexpression.case

@@ -0,0 +1,28 @@
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// Copyright (C) 2025 Sony Interactive Entertainment Inc. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-static-semantics-static-semantics-assignmenttargettype
+desc: >
+  Static Semantics AssignmentTargetType, Return web-compat.
+info: |
+  CallExpression :
+    CoverCallExpressionAndAsyncArrowHead
+    CallExpression Arguments
+  1. If the host is a web browser or otherwise supports Late Errors for Function Call Assignment Targets, then
+     a. If IsStrict(this CallExpression) is false, return ~web-compat~.
+  2. Return ~invalid~.
+template: invalid
+negative: 
+  phase: parse
+  type: SyntaxError
+flags: [onlyStrict]
+---*/
+
+//- assignmenttarget
+f()
+//- operator
+=
+//- value
+1

src/assignment-target-type/invalid/statement/default.template

@@ -0,0 +1,12 @@
+// Copyright (C) 2025 Sony Interactive Entertainment Inc. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+path: language/expressions/assignmenttargettype/direct-
+name: Direct assignment
+info: |
+  Direct assignment
+---*/
+$DONOTEVALUATE();
+
+/*{ statement }*/

test/annexB/language/expressions/assignmenttargettype/callexpression-as-for-in-lhs.js

@@ -0,0 +1,31 @@
+// Copyright (C) 2025 Sony Interactive Entertainment Inc. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-late-errors-for-function-call-assignment-targets
+description: Function call as for-in LHS is a runtime ReferenceError
+info: |
+  CallExpression :
+    CoverCallExpressionAndAsyncArrowHead
+    CallExpression Arguments
+  1. If the host is a web browser or otherwise supports Late Errors for Function Call Assignment Targets, then
+     a. If IsStrict(this CallExpression) is false, return ~web-compat~.
+  2. Return ~invalid~.
+flags: [noStrict]
+---*/
+
+var fCalled = false;
+var fValueOfCalled = false;
+function f() {
+  fCalled = true;
+  return {
+    valueOf() { fValueOfCalled = true; return 1; }
+  };
+}
+
+assert.throws(ReferenceError, function() {
+  for (f() in [1]) {}
+});
+
+assert(fCalled);
+assert(!fValueOfCalled);

test/annexB/language/expressions/assignmenttargettype/callexpression-as-for-of-lhs.js

@@ -0,0 +1,31 @@
+// Copyright (C) 2025 Sony Interactive Entertainment Inc. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-late-errors-for-function-call-assignment-targets
+description: Function call as for-of LHS is a runtime ReferenceError
+info: |
+  CallExpression :
+    CoverCallExpressionAndAsyncArrowHead
+    CallExpression Arguments
+  1. If the host is a web browser or otherwise supports Late Errors for Function Call Assignment Targets, then
+     a. If IsStrict(this CallExpression) is false, return ~web-compat~.
+  2. Return ~invalid~.
+flags: [noStrict]
+---*/
+
+var fCalled = false;
+var fValueOfCalled = false;
+function f() {
+  fCalled = true;
+  return {
+    valueOf() { fValueOfCalled = true; return 1; }
+  };
+}
+
+assert.throws(ReferenceError, function() {
+  for (f() of [1]) {}
+});
+
+assert(fCalled);
+assert(!fValueOfCalled);

test/annexB/language/expressions/assignmenttargettype/callexpression-in-compound-assignment.js

@@ -0,0 +1,38 @@
+// Copyright (C) 2025 Sony Interactive Entertainment Inc. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-late-errors-for-function-call-assignment-targets
+description: Function call LHS in compound assignment is a runtime ReferenceError
+info: |
+  CallExpression :
+    CoverCallExpressionAndAsyncArrowHead
+    CallExpression Arguments
+  1. If the host is a web browser or otherwise supports Late Errors for Function Call Assignment Targets, then
+     a. If IsStrict(this CallExpression) is false, return ~web-compat~.
+  2. Return ~invalid~.
+flags: [noStrict]
+---*/
+
+var fCalled = false;
+var fValueOfCalled = false;
+function f() {
+  fCalled = true;
+  return {
+    valueOf() { fValueOfCalled = true; return 1; }
+  };
+}
+
+var gCalled = false;
+function g() {
+  gCalled = true;
+  return 1;
+}
+
+assert.throws(ReferenceError, function() {
+  f() += g();
+});
+
+assert(fCalled);
+assert(!fValueOfCalled);
+assert(!gCalled);

test/annexB/language/expressions/assignmenttargettype/callexpression-in-postfix-update.js

@@ -0,0 +1,31 @@
+// Copyright (C) 2025 Sony Interactive Entertainment Inc. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-late-errors-for-function-call-assignment-targets
+description: Function call in postfix update expression is a runtime ReferenceError
+info: |
+  CallExpression :
+    CoverCallExpressionAndAsyncArrowHead
+    CallExpression Arguments
+  1. If the host is a web browser or otherwise supports Late Errors for Function Call Assignment Targets, then
+     a. If IsStrict(this CallExpression) is false, return ~web-compat~.
+  2. Return ~invalid~.
+flags: [noStrict]
+---*/
+
+var fCalled = false;
+var fValueOfCalled = false;
+function f() {
+  fCalled = true;
+  return {
+    valueOf() { fValueOfCalled = true; return 1; }
+  };
+}
+
+assert.throws(ReferenceError, function() {
+  f()++;
+});
+
+assert(fCalled);
+assert(!fValueOfCalled);

test/annexB/language/expressions/assignmenttargettype/callexpression-in-prefix-update.js

@@ -0,0 +1,31 @@
+// Copyright (C) 2025 Sony Interactive Entertainment Inc. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-late-errors-for-function-call-assignment-targets
+description: Function call in prefix update expression is a runtime ReferenceError
+info: |
+  CallExpression :
+    CoverCallExpressionAndAsyncArrowHead
+    CallExpression Arguments
+  1. If the host is a web browser or otherwise supports Late Errors for Function Call Assignment Targets, then
+     a. If IsStrict(this CallExpression) is false, return ~web-compat~.
+  2. Return ~invalid~.
+flags: [noStrict]
+---*/
+
+var fCalled = false;
+var fValueOfCalled = false;
+function f() {
+  fCalled = true;
+  return {
+    valueOf() { fValueOfCalled = true; return 1; }
+  };
+}
+
+assert.throws(ReferenceError, function() {
+  ++f();
+});
+
+assert(fCalled);
+assert(!fValueOfCalled);