From 7f395d6d877e476084624c01fe89bdb5fbbeafaa Mon Sep 17 00:00:00 2001
From: Richard Gibson <richard.gibson@gmail.com>
Date: Wed, 10 Jul 2019 19:59:30 -0400
Subject: [PATCH] Add tests for array/object destructuring parameter with "use
 strict"

---
 ...array-destructuring-param-strict-body.case | 97 +++++++++++++++++++
 ...bject-destructuring-param-strict-body.case | 97 +++++++++++++++++++
 2 files changed, 194 insertions(+)
 create mode 100644 src/function-forms/array-destructuring-param-strict-body.case
 create mode 100644 src/function-forms/object-destructuring-param-strict-body.case

diff --git a/src/function-forms/array-destructuring-param-strict-body.case b/src/function-forms/array-destructuring-param-strict-body.case
new file mode 100644
index 0000000000..ad0026b020
--- /dev/null
+++ b/src/function-forms/array-destructuring-param-strict-body.case
@@ -0,0 +1,97 @@
+// Copyright (C) 2018 Richard Gibson. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+desc: >
+  ArrayBindingPattern and Use Strict Directive are not allowed to coexist for
+  the same function.
+template: syntax
+negative:
+  phase: parse
+  type: SyntaxError
+info: |
+  14.1.2 Static Semantics: Early Errors
+
+  FunctionDeclaration : function BindingIdentifier ( FormalParameters ) { FunctionBody }
+  FunctionDeclaration : function ( FormalParameters ) { FunctionBody }
+  FunctionExpression : function BindingIdentifier ( FormalParameters ) { FunctionBody }
+
+  - It is a Syntax Error if ContainsUseStrict of FunctionBody is true and
+    IsSimpleParameterList of FormalParameters is false.
+
+  14.2.1 Static Semantics: Early Errors
+
+  ArrowFunction : ArrowParameters => ConciseBody
+
+  - It is a Syntax Error if ContainsUseStrict of ConciseBody is true and
+    IsSimpleParameterList of ArrowParameters is false.
+
+  14.3.1 Static Semantics: Early Errors
+
+  MethodDefinition : PropertyName ( UniqueFormalParameters ) { FunctionBody }
+
+  - It is a Syntax Error if ContainsUseStrict of FunctionBody is true and
+    IsSimpleParameterList of UniqueFormalParameters is false.
+
+  MethodDefinition : set PropertyName ( PropertySetParameterList ) { FunctionBody }
+
+  - It is a Syntax Error if ContainsUseStrict of FunctionBody is true and
+    IsSimpleParameterList of PropertySetParameterList is false.
+
+  14.4.1 Static Semantics: Early Errors
+
+  GeneratorMethod : * PropertyName ( UniqueFormalParameters ) { GeneratorBody }
+
+  - It is a Syntax Error if ContainsUseStrict of GeneratorBody is true and
+    IsSimpleParameterList of UniqueFormalParameters is false.
+
+  GeneratorDeclaration : function * BindingIdentifier ( FormalParameters ) { GeneratorBody }
+  GeneratorDeclaration : function * ( FormalParameters ) { GeneratorBody }
+  GeneratorExpression : function * BindingIdentifier ( FormalParameters ) { GeneratorBody }
+
+  - It is a Syntax Error if ContainsUseStrict of GeneratorBody is true and
+    IsSimpleParameterList of UniqueFormalParameters is false.
+
+  14.5.1 Static Semantics: Early Errors
+
+  AsyncGeneratorMethod : async * PropertyName ( UniqueFormalParameters ) { AsyncGeneratorBody }
+
+  - It is a Syntax Error if ContainsUseStrict of AsyncGeneratorBody is true and
+    IsSimpleParameterList of UniqueFormalParameters is false.
+
+  AsyncGeneratorDeclaration : async function * BindingIdentifier ( FormalParameters ) { AsyncGeneratorBody }
+  AsyncGeneratorDeclaration : async function * ( FormalParameters ) { AsyncGeneratorBody }
+  AsyncGeneratorExpression : async function * BindingIdentifier ( FormalParameters ) { AsyncGeneratorBody }
+
+  - It is a Syntax Error if ContainsUseStrict of AsyncGeneratorBody is true and
+    IsSimpleParameterList of FormalParameters is false.
+
+  14.7.1 Static Semantics: Early Errors
+
+  AsyncMethod : async PropertyName ( UniqueFormalParameters ) { AsyncFunctionBody }
+
+  - It is a Syntax Error if ContainsUseStrict of AsyncFunctionBody is true and
+    IsSimpleParameterList of UniqueFormalParameters is false.
+
+  AsyncFunctionDeclaration : async function BindingIdentifier ( FormalParameters ) { AsyncFunctionBody }
+  AsyncFunctionDeclaration : async function ( FormalParameters ) { AsyncFunctionBody }
+  AsyncFunctionExpression : async function ( FormalParameters ) { AsyncFunctionBody }
+  AsyncFunctionExpression : async function BindingIdentifier ( FormalParameters ) { AsyncFunctionBody }
+
+  - It is a Syntax Error if ContainsUseStrict of AsyncFunctionBody is true and
+    IsSimpleParameterList of FormalParameters is false.
+
+  14.8.1 Static Semantics: Early Errors
+
+  AsyncArrowFunction : CoverCallExpressionAndAsyncArrowHead => AsyncConciseBody
+
+  - It is a Syntax Error if ContainsUseStrict of AsyncConciseBody is true and
+    IsSimpleParameterList of CoverCallExpressionAndAsyncArrowHead is false.
+features: [rest-parameters]
+---*/
+
+//- setup
+$DONOTEVALUATE();
+//- params
+[element]
+//- body
+"use strict";
diff --git a/src/function-forms/object-destructuring-param-strict-body.case b/src/function-forms/object-destructuring-param-strict-body.case
new file mode 100644
index 0000000000..b05e15bd20
--- /dev/null
+++ b/src/function-forms/object-destructuring-param-strict-body.case
@@ -0,0 +1,97 @@
+// Copyright (C) 2018 Richard Gibson. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+desc: >
+  ObjectBindingPattern and Use Strict Directive are not allowed to coexist for
+  the same function.
+template: syntax
+negative:
+  phase: parse
+  type: SyntaxError
+info: |
+  14.1.2 Static Semantics: Early Errors
+
+  FunctionDeclaration : function BindingIdentifier ( FormalParameters ) { FunctionBody }
+  FunctionDeclaration : function ( FormalParameters ) { FunctionBody }
+  FunctionExpression : function BindingIdentifier ( FormalParameters ) { FunctionBody }
+
+  - It is a Syntax Error if ContainsUseStrict of FunctionBody is true and
+    IsSimpleParameterList of FormalParameters is false.
+
+  14.2.1 Static Semantics: Early Errors
+
+  ArrowFunction : ArrowParameters => ConciseBody
+
+  - It is a Syntax Error if ContainsUseStrict of ConciseBody is true and
+    IsSimpleParameterList of ArrowParameters is false.
+
+  14.3.1 Static Semantics: Early Errors
+
+  MethodDefinition : PropertyName ( UniqueFormalParameters ) { FunctionBody }
+
+  - It is a Syntax Error if ContainsUseStrict of FunctionBody is true and
+    IsSimpleParameterList of UniqueFormalParameters is false.
+
+  MethodDefinition : set PropertyName ( PropertySetParameterList ) { FunctionBody }
+
+  - It is a Syntax Error if ContainsUseStrict of FunctionBody is true and
+    IsSimpleParameterList of PropertySetParameterList is false.
+
+  14.4.1 Static Semantics: Early Errors
+
+  GeneratorMethod : * PropertyName ( UniqueFormalParameters ) { GeneratorBody }
+
+  - It is a Syntax Error if ContainsUseStrict of GeneratorBody is true and
+    IsSimpleParameterList of UniqueFormalParameters is false.
+
+  GeneratorDeclaration : function * BindingIdentifier ( FormalParameters ) { GeneratorBody }
+  GeneratorDeclaration : function * ( FormalParameters ) { GeneratorBody }
+  GeneratorExpression : function * BindingIdentifier ( FormalParameters ) { GeneratorBody }
+
+  - It is a Syntax Error if ContainsUseStrict of GeneratorBody is true and
+    IsSimpleParameterList of UniqueFormalParameters is false.
+
+  14.5.1 Static Semantics: Early Errors
+
+  AsyncGeneratorMethod : async * PropertyName ( UniqueFormalParameters ) { AsyncGeneratorBody }
+
+  - It is a Syntax Error if ContainsUseStrict of AsyncGeneratorBody is true and
+    IsSimpleParameterList of UniqueFormalParameters is false.
+
+  AsyncGeneratorDeclaration : async function * BindingIdentifier ( FormalParameters ) { AsyncGeneratorBody }
+  AsyncGeneratorDeclaration : async function * ( FormalParameters ) { AsyncGeneratorBody }
+  AsyncGeneratorExpression : async function * BindingIdentifier ( FormalParameters ) { AsyncGeneratorBody }
+
+  - It is a Syntax Error if ContainsUseStrict of AsyncGeneratorBody is true and
+    IsSimpleParameterList of FormalParameters is false.
+
+  14.7.1 Static Semantics: Early Errors
+
+  AsyncMethod : async PropertyName ( UniqueFormalParameters ) { AsyncFunctionBody }
+
+  - It is a Syntax Error if ContainsUseStrict of AsyncFunctionBody is true and
+    IsSimpleParameterList of UniqueFormalParameters is false.
+
+  AsyncFunctionDeclaration : async function BindingIdentifier ( FormalParameters ) { AsyncFunctionBody }
+  AsyncFunctionDeclaration : async function ( FormalParameters ) { AsyncFunctionBody }
+  AsyncFunctionExpression : async function ( FormalParameters ) { AsyncFunctionBody }
+  AsyncFunctionExpression : async function BindingIdentifier ( FormalParameters ) { AsyncFunctionBody }
+
+  - It is a Syntax Error if ContainsUseStrict of AsyncFunctionBody is true and
+    IsSimpleParameterList of FormalParameters is false.
+
+  14.8.1 Static Semantics: Early Errors
+
+  AsyncArrowFunction : CoverCallExpressionAndAsyncArrowHead => AsyncConciseBody
+
+  - It is a Syntax Error if ContainsUseStrict of AsyncConciseBody is true and
+    IsSimpleParameterList of CoverCallExpressionAndAsyncArrowHead is false.
+features: [rest-parameters]
+---*/
+
+//- setup
+$DONOTEVALUATE();
+//- params
+{property}
+//- body
+"use strict";