rest-param-strict-body.js

// |reftest| error:SyntaxError

// This file was procedurally generated from the following sources:

// - src/function-forms/rest-param-strict-body.case

// - src/function-forms/syntax/cls-decl-async-gen-meth.template

/*---

description: RestParameter and Use Strict Directive are not allowed to coexist for the same function. (class expression method)

esid: sec-class-definitions-runtime-semantics-evaluation

features: [rest-parameters, async-iteration]

flags: [generated]

negative:

  phase: parse

  type: SyntaxError

info: |

    ClassDeclaration : class BindingIdentifier ClassTail

    1. Let className be StringValue of BindingIdentifier.

    2. Let value be the result of ClassDefinitionEvaluation of ClassTail with

       argument className.

    [...]

    14.5.14 Runtime Semantics: ClassDefinitionEvaluation

    21. For each ClassElement m in order from methods

        a. If IsStatic of m is false, then

           i. Let status be the result of performing

              PropertyDefinitionEvaluation for m with arguments proto and

              false.

        [...]

    Runtime Semantics: PropertyDefinitionEvaluation

    AsyncGeneratorMethod :

        async [no LineTerminator here] * PropertyName ( UniqueFormalParameters )

            { AsyncGeneratorBody }

    1. Let propKey be the result of evaluating PropertyName.

    2. ReturnIfAbrupt(propKey).

    3. If the function code for this AsyncGeneratorMethod is strict mode code, let strict be true.

       Otherwise let strict be false.

    4. Let scope be the running execution context's LexicalEnvironment.

    5. Let closure be ! AsyncGeneratorFunctionCreate(Method, UniqueFormalParameters,

       AsyncGeneratorBody, scope, strict).

    [...]

    14.1.13 Static Semantics: IsSimpleParameterList

    FormalParameters : FormalParameterList , FunctionRestParameter

    1. Return false.

    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.

---*/

$DONOTEVALUATE();

class C {

  async *method(a,...rest) {

    "use strict";