// This file was procedurally generated from the following sources: // - src/dstr-binding/ary-ptrn-elem-ary-rest-init.case // - src/dstr-binding/default/for-var.template /*--- description: BindingElement with array binding pattern and initializer is used (for statement) esid: sec-for-statement-runtime-semantics-labelledevaluation features: [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 BindingElement : BindingPatternInitializer opt [...] 2. If iteratorRecord.[[done]] is true, let v be undefined. 3. If Initializer is present and v is undefined, then a. Let defaultValue be the result of evaluating Initializer. b. Let v be ? GetValue(defaultValue). 4. Return the result of performing BindingInitialization of BindingPattern with v and environment as the arguments. ---*/ var values = [2, 1, 3]; var iterCount = 0; for (var [[...x] = values] = []; iterCount < 1; ) { assert(Array.isArray(x)); assert.sameValue(x[0], 2); assert.sameValue(x[1], 1); assert.sameValue(x[2], 3); assert.sameValue(x.length, 3); assert.notSameValue(x, values); iterCount += 1; } assert.sameValue(iterCount, 1, 'Iteration occurred as expected'); reportCompare(0, 0);