const-ary-ptrn-rest-ary-elision.js (2680B)
1 // This file was procedurally generated from the following sources: 2 // - src/dstr-binding/ary-ptrn-rest-ary-elision.case 3 // - src/dstr-binding/default/for-const.template 4 /*--- 5 description: Rest element containing an elision (for statement) 6 esid: sec-for-statement-runtime-semantics-labelledevaluation 7 features: [generators, destructuring-binding] 8 flags: [generated] 9 info: | 10 IterationStatement : 11 for ( LexicalDeclaration Expressionopt ; Expressionopt ) Statement 12 13 [...] 14 7. Let forDcl be the result of evaluating LexicalDeclaration. 15 [...] 16 17 LexicalDeclaration : LetOrConst BindingList ; 18 19 1. Let next be the result of evaluating BindingList. 20 2. ReturnIfAbrupt(next). 21 3. Return NormalCompletion(empty). 22 23 BindingList : BindingList , LexicalBinding 24 25 1. Let next be the result of evaluating BindingList. 26 2. ReturnIfAbrupt(next). 27 3. Return the result of evaluating LexicalBinding. 28 29 LexicalBinding : BindingPattern Initializer 30 31 1. Let rhs be the result of evaluating Initializer. 32 2. Let value be GetValue(rhs). 33 3. ReturnIfAbrupt(value). 34 4. Let env be the running execution context’s LexicalEnvironment. 35 5. Return the result of performing BindingInitialization for BindingPattern 36 using value and env as the arguments. 37 38 13.3.3.6 Runtime Semantics: IteratorBindingInitialization 39 40 BindingRestElement : ... BindingPattern 41 42 1. Let A be ArrayCreate(0). 43 [...] 44 3. Repeat 45 [...] 46 b. If iteratorRecord.[[done]] is true, then 47 i. Return the result of performing BindingInitialization of 48 BindingPattern with A and environment as the arguments. 49 [...] 50 51 13.3.3.6 Runtime Semantics: IteratorBindingInitialization 52 53 ArrayBindingPattern : [ Elision ] 54 55 1. Return the result of performing 56 IteratorDestructuringAssignmentEvaluation of Elision with iteratorRecord 57 as the argument. 58 59 12.14.5.3 Runtime Semantics: IteratorDestructuringAssignmentEvaluation 60 61 Elision : , 62 63 1. If iteratorRecord.[[done]] is false, then 64 a. Let next be IteratorStep(iteratorRecord.[[iterator]]). 65 b. If next is an abrupt completion, set iteratorRecord.[[done]] to true. 66 c. ReturnIfAbrupt(next). 67 d. If next is false, set iteratorRecord.[[done]] to true. 68 2. Return NormalCompletion(empty). 69 70 ---*/ 71 var first = 0; 72 var second = 0; 73 function* g() { 74 first += 1; 75 yield; 76 second += 1; 77 }; 78 79 var iterCount = 0; 80 81 for (const [...[,]] = g(); iterCount < 1; ) { 82 assert.sameValue(first, 1); 83 assert.sameValue(second, 1); 84 85 iterCount += 1; 86 } 87 88 assert.sameValue(iterCount, 1, 'Iteration occurred as expected'); 89 90 reportCompare(0, 0);