| // This file was procedurally generated from the following sources: |
| // - src/dstr-binding/ary-ptrn-rest-id-exhausted.case |
| // - src/dstr-binding/default/for-var.template |
| /*--- |
| description: RestElement applied to an exhausted iterator (for statement) |
| esid: sec-for-statement-runtime-semantics-labelledevaluation |
| features: [Symbol.iterator, destructuring-binding] |
| flags: [generated] |
| info: | |
| IterationStatement : |
| for ( var VariableDeclarationList ; Expressionopt ; Expressionopt ) Statement |
| |
| 1. Let varDcl be the result of evaluating VariableDeclarationList. |
| [...] |
| |
| 13.3.2.4 Runtime Semantics: Evaluation |
| |
| VariableDeclarationList : VariableDeclarationList , VariableDeclaration |
| |
| 1. Let next be the result of evaluating VariableDeclarationList. |
| 2. ReturnIfAbrupt(next). |
| 3. Return the result of evaluating VariableDeclaration. |
| |
| VariableDeclaration : BindingPattern Initializer |
| |
| 1. Let rhs be the result of evaluating Initializer. |
| 2. Let rval be GetValue(rhs). |
| 3. ReturnIfAbrupt(rval). |
| 4. Return the result of performing BindingInitialization for BindingPattern |
| passing rval and undefined as arguments. |
| |
| 13.3.3.6 Runtime Semantics: IteratorBindingInitialization |
| BindingRestElement : ... BindingIdentifier |
| 1. Let lhs be ResolveBinding(StringValue of BindingIdentifier, |
| environment). |
| 2. ReturnIfAbrupt(lhs). 3. Let A be ArrayCreate(0). 4. Let n=0. 5. Repeat, |
| [...] |
| b. If iteratorRecord.[[done]] is true, then |
| i. If environment is undefined, return PutValue(lhs, A). |
| ii. Return InitializeReferencedBinding(lhs, A). |
| |
| ---*/ |
| |
| var iterCount = 0; |
| |
| for (var [, , ...x] = [1, 2]; iterCount < 1; ) { |
| assert(Array.isArray(x)); |
| assert.sameValue(x.length, 0); |
| iterCount += 1; |
| } |
| |
| assert.sameValue(iterCount, 1, 'Iteration occurred as expected'); |