let-ary-ptrn-rest-ary-elision.js (2629B)
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-of-let.template 4 /*--- 5 description: Rest element containing an elision (for-of statement) 6 esid: sec-for-in-and-for-of-statements-runtime-semantics-labelledevaluation 7 features: [generators, destructuring-binding] 8 flags: [generated] 9 info: | 10 IterationStatement : 11 for ( ForDeclaration of AssignmentExpression ) Statement 12 13 [...] 14 3. Return ForIn/OfBodyEvaluation(ForDeclaration, Statement, keyResult, 15 lexicalBinding, labelSet). 16 17 13.7.5.13 Runtime Semantics: ForIn/OfBodyEvaluation 18 19 [...] 20 3. Let destructuring be IsDestructuring of lhs. 21 [...] 22 5. Repeat 23 [...] 24 h. If destructuring is false, then 25 [...] 26 i. Else 27 i. If lhsKind is assignment, then 28 [...] 29 ii. Else if lhsKind is varBinding, then 30 [...] 31 iii. Else, 32 1. Assert: lhsKind is lexicalBinding. 33 2. Assert: lhs is a ForDeclaration. 34 3. Let status be the result of performing BindingInitialization 35 for lhs passing nextValue and iterationEnv as arguments. 36 [...] 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 (let [...[,]] of [g()]) { 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);