text: // This file was procedurally generated from the following sources:
  // - src/dstr-binding/ary-ptrn-rest-ary-elision.case
  // - src/dstr-binding/default/cls-decl-async-gen-meth-static-dflt.template
  /*---
  description: Rest element containing an elision (static class expression async generator method (default parameter))
  esid: sec-runtime-semantics-bindingclassdeclarationevaluation
  features: [generators, async-iteration]
  flags: [generated, async]
  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
          b. Else,
             Let status be the result of performing PropertyDefinitionEvaluation for
             m with arguments F 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).
      [...]
  
  
      13.3.3.6 Runtime Semantics: IteratorBindingInitialization
  
      BindingRestElement : ... BindingPattern
  
      1. Let A be ArrayCreate(0).
      [...]
      3. Repeat
         [...]
         b. If iteratorRecord.[[done]] is true, then
            i. Return the result of performing BindingInitialization of
               BindingPattern with A and environment as the arguments.
         [...]
  
      13.3.3.6 Runtime Semantics: IteratorBindingInitialization
  
      ArrayBindingPattern : [ Elision ]
  
      1. Return the result of performing
         IteratorDestructuringAssignmentEvaluation of Elision with iteratorRecord
         as the argument.
  
      12.14.5.3 Runtime Semantics: IteratorDestructuringAssignmentEvaluation
  
      Elision : ,
  
      1. If iteratorRecord.[[done]] is false, then
         a. Let next be IteratorStep(iteratorRecord.[[iterator]]).
         b. If next is an abrupt completion, set iteratorRecord.[[done]] to true.
         c. ReturnIfAbrupt(next).
         d. If next is false, set iteratorRecord.[[done]] to true.
      2. Return NormalCompletion(empty).
  
  ---*/
  var first = 0;
  var second = 0;
  function* g() {
    first += 1;
    yield;
    second += 1;
  };
  
  
  var callCount = 0;
  class C {
    static async *method([...[,]] = g()) {
      assert.sameValue(first, 1);
      assert.sameValue(second, 1);
      callCount = callCount + 1;
    }
  };
  
  C.method().next().then(() => {
      assert.sameValue(callCount, 1, 'invoked exactly once');    
  }).then($DONE, $DONE);
  