ary-ptrn-rest-ary-elision.js (2614B)
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/arrow-function.template 4 /*--- 5 description: Rest element containing an elision (arrow function expression) 6 esid: sec-arrow-function-definitions-runtime-semantics-evaluation 7 features: [generators, destructuring-binding] 8 flags: [generated] 9 info: | 10 ArrowFunction : ArrowParameters => ConciseBody 11 12 [...] 13 4. Let closure be FunctionCreate(Arrow, parameters, ConciseBody, scope, strict). 14 [...] 15 16 9.2.1 [[Call]] ( thisArgument, argumentsList) 17 18 [...] 19 7. Let result be OrdinaryCallEvaluateBody(F, argumentsList). 20 [...] 21 22 9.2.1.3 OrdinaryCallEvaluateBody ( F, argumentsList ) 23 24 1. Let status be FunctionDeclarationInstantiation(F, argumentsList). 25 [...] 26 27 9.2.12 FunctionDeclarationInstantiation(func, argumentsList) 28 29 [...] 30 23. Let iteratorRecord be Record {[[iterator]]: 31 CreateListIterator(argumentsList), [[done]]: false}. 32 24. If hasDuplicates is true, then 33 [...] 34 25. Else, 35 b. Let formalStatus be IteratorBindingInitialization for formals with 36 iteratorRecord and env as arguments. 37 [...] 38 39 13.3.3.6 Runtime Semantics: IteratorBindingInitialization 40 41 BindingRestElement : ... BindingPattern 42 43 1. Let A be ArrayCreate(0). 44 [...] 45 3. Repeat 46 [...] 47 b. If iteratorRecord.[[done]] is true, then 48 i. Return the result of performing BindingInitialization of 49 BindingPattern with A and environment as the arguments. 50 [...] 51 52 13.3.3.6 Runtime Semantics: IteratorBindingInitialization 53 54 ArrayBindingPattern : [ Elision ] 55 56 1. Return the result of performing 57 IteratorDestructuringAssignmentEvaluation of Elision with iteratorRecord 58 as the argument. 59 60 12.14.5.3 Runtime Semantics: IteratorDestructuringAssignmentEvaluation 61 62 Elision : , 63 64 1. If iteratorRecord.[[done]] is false, then 65 a. Let next be IteratorStep(iteratorRecord.[[iterator]]). 66 b. If next is an abrupt completion, set iteratorRecord.[[done]] to true. 67 c. ReturnIfAbrupt(next). 68 d. If next is false, set iteratorRecord.[[done]] to true. 69 2. Return NormalCompletion(empty). 70 71 ---*/ 72 var first = 0; 73 var second = 0; 74 function* g() { 75 first += 1; 76 yield; 77 second += 1; 78 }; 79 80 var callCount = 0; 81 var f; 82 f = ([...[,]]) => { 83 assert.sameValue(first, 1); 84 assert.sameValue(second, 1); 85 callCount = callCount + 1; 86 }; 87 88 f(g()); 89 assert.sameValue(callCount, 1, 'arrow function invoked exactly once'); 90 91 reportCompare(0, 0);