array-rest-iter-rtrn-close-null.js (2526B)
1 // This file was procedurally generated from the following sources: 2 // - src/dstr-assignment/array-rest-iter-rtrn-close-null.case 3 // - src/dstr-assignment/default/for-of.template 4 /*--- 5 description: IteratorClose throws a TypeError when `return` returns a non-Object value (For..of statement) 6 esid: sec-for-in-and-for-of-statements-runtime-semantics-labelledevaluation 7 features: [Symbol.iterator, generators, destructuring-binding] 8 flags: [generated] 9 info: | 10 IterationStatement : 11 for ( LeftHandSideExpression of AssignmentExpression ) Statement 12 13 1. Let keyResult be the result of performing ? ForIn/OfHeadEvaluation(« », 14 AssignmentExpression, iterate). 15 2. Return ? ForIn/OfBodyEvaluation(LeftHandSideExpression, Statement, 16 keyResult, assignment, labelSet). 17 18 13.7.5.13 Runtime Semantics: ForIn/OfBodyEvaluation 19 20 [...] 21 4. If destructuring is true and if lhsKind is assignment, then 22 a. Assert: lhs is a LeftHandSideExpression. 23 b. Let assignmentPattern be the parse of the source text corresponding to 24 lhs using AssignmentPattern as the goal symbol. 25 [...] 26 27 ArrayAssignmentPattern : [ Elisionopt AssignmentRestElement ] 28 29 [...] 30 5. Let result be the result of performing 31 IteratorDestructuringAssignmentEvaluation of AssignmentRestElement with 32 iteratorRecord as the argument 33 6. If iteratorRecord.[[done]] is false, return IteratorClose(iterator, 34 result). 35 36 AssignmentRestElement[Yield] : ... DestructuringAssignmentTarget 37 38 1. If DestructuringAssignmentTarget is neither an ObjectLiteral nor an 39 ArrayLiteral, then 40 a. Let lref be the result of evaluating DestructuringAssignmentTarget. 41 b. ReturnIfAbrupt(lref). 42 43 7.4.6 IteratorClose( iterator, completion ) 44 45 [...] 46 6. Let innerResult be Call(return, iterator, « »). 47 [...] 48 49 7.4.6 IteratorClose( iterator, completion ) 50 51 [...] 52 6. Let innerResult be Call(return, iterator, « »). 53 7. If completion.[[type]] is throw, return Completion(completion). 54 8. If innerResult.[[type]] is throw, return Completion(innerResult). 55 56 ---*/ 57 var iterable = {}; 58 var iterator = { 59 return: function() { 60 return null; 61 } 62 }; 63 var iter; 64 iterable[Symbol.iterator] = function() { 65 return iterator; 66 }; 67 68 function* g() { 69 70 var counter = 0; 71 72 for ([...{}[yield]] of [iterable]) { 73 74 counter += 1; 75 } 76 77 assert.sameValue(counter, 1); 78 79 } 80 81 iter = g(); 82 iter.next(); 83 84 assert.throws(TypeError, function() { 85 iter.return(); 86 }); 87 88 reportCompare(0, 0);