ary-ptrn-elem-obj-val-undef.js (1900B)
1 // This file was procedurally generated from the following sources: 2 // - src/dstr-binding/ary-ptrn-elem-obj-val-undef.case 3 // - src/dstr-binding/error/arrow-function.template 4 /*--- 5 description: Nested object destructuring with a value of `undefined` (arrow function expression) 6 esid: sec-arrow-function-definitions-runtime-semantics-evaluation 7 features: [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 BindingElement : BindingPattern Initializeropt 42 43 1. If iteratorRecord.[[done]] is false, then 44 [...] 45 e. Else 46 i. Let v be IteratorValue(next). 47 [...] 48 4. Return the result of performing BindingInitialization of BindingPattern 49 with v and environment as the arguments. 50 51 13.3.3.5 Runtime Semantics: BindingInitialization 52 53 BindingPattern : ObjectBindingPattern 54 55 1. Let valid be RequireObjectCoercible(value). 56 2. ReturnIfAbrupt(valid). 57 ---*/ 58 59 var f = ([{ x }]) => {}; 60 61 assert.throws(TypeError, function() { 62 f([]); 63 }); 64 65 reportCompare(0, 0);