| // This file was procedurally generated from the following sources: |
| // - src/function-forms/rest-param-strict-body.case |
| // - src/function-forms/syntax/cls-expr-async-meth-static.template |
| /*--- |
| description: RestParameter and Use Strict Directive are not allowed to coexist for the same function. (static class expression async method) |
| esid: sec-class-definitions-runtime-semantics-evaluation |
| features: [rest-parameters] |
| flags: [generated] |
| negative: |
| phase: parse |
| type: SyntaxError |
| info: | |
| ClassExpression : class BindingIdentifieropt ClassTail |
| |
| 1. If BindingIdentifieropt is not present, let className be undefined. |
| 2. Else, let className be StringValue of BindingIdentifier. |
| 3. 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 |
| b. Else, |
| Let status be the result of performing PropertyDefinitionEvaluation |
| for m with arguments F and false. |
| [...] |
| |
| Runtime Semantics: PropertyDefinitionEvaluation |
| |
| AsyncMethod : async PropertyName ( UniqueFormalParameters ) { AsyncFunctionBody } |
| |
| 1. Let propKey be the result of evaluating PropertyName. |
| 2. ReturnIfAbrupt(propKey). |
| 3. If the function code for this AsyncMethod is strict mode code, let strict be true. Otherwise |
| let strict be false. |
| 4. Let scope be the LexicalEnvironment of the running execution context. |
| 5. Let closure be ! AsyncFunctionCreate(Method, UniqueFormalParameters, AsyncFunctionBody, |
| 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(); |
| |
| var C = class { |
| static async method(a,...rest) { |
| "use strict"; |
| } |
| }; |