text: // This file was procedurally generated from the following sources:
  // - src/dstr-binding/ary-ptrn-elem-id-iter-complete.case
  // - src/dstr-binding/default/for-of-var.template
  /*---
  description: SingleNameBinding when value iteration completes (for-of statement)
  esid: sec-for-in-and-for-of-statements-runtime-semantics-labelledevaluation
  es6id: 13.7.5.11
  features: [destructuring-binding]
  flags: [generated]
  info: |
      IterationStatement :
          for ( var ForBinding of AssignmentExpression ) Statement
  
      [...]
      3. Return ForIn/OfBodyEvaluation(ForBinding, Statement, keyResult,
         varBinding, labelSet).
  
      13.7.5.13 Runtime Semantics: ForIn/OfBodyEvaluation
  
      [...]
      3. Let destructuring be IsDestructuring of lhs.
      [...]
      5. Repeat
         [...]
         h. If destructuring is false, then
            [...]
         i. Else
            i. If lhsKind is assignment, then
               [...]
            ii. Else if lhsKind is varBinding, then
                1. Assert: lhs is a ForBinding.
                2. Let status be the result of performing BindingInitialization
                   for lhs passing nextValue and undefined as the arguments.
            [...]
  
      13.3.3.6 Runtime Semantics: IteratorBindingInitialization
  
      SingleNameBinding : BindingIdentifier Initializeropt
  
      [...]
      4. 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.
         e. Else,
            [...]
      5. If iteratorRecord.[[done]] is true, let v be undefined.
      [...]
      8. Return InitializeReferencedBinding(lhs, v).
  ---*/
  
  var iterCount = 0;
  
  for (var [x] of [[]]) {
    assert.sameValue(x, undefined);
  
    iterCount += 1;
  }
  
  assert.sameValue(iterCount, 1, 'Iteration occurred as expected');
  