// This file was procedurally generated from the following sources: // - src/dstr-binding/obj-ptrn-prop-ary-value-null.case // - src/dstr-binding/error/func-decl-dflt.template /*--- description: Object binding pattern with "nested" array binding pattern taking the `null` value (function declaration (default parameter)) esid: sec-function-definitions-runtime-semantics-instantiatefunctionobject features: [destructuring-binding, default-parameters] flags: [generated] info: | FunctionDeclaration : function BindingIdentifier ( FormalParameters ) { FunctionBody } [...] 3. Let F be FunctionCreate(Normal, FormalParameters, FunctionBody, scope, strict). [...] 9.2.1 [[Call]] ( thisArgument, argumentsList) [...] 7. Let result be OrdinaryCallEvaluateBody(F, argumentsList). [...] 9.2.1.3 OrdinaryCallEvaluateBody ( F, argumentsList ) 1. Let status be FunctionDeclarationInstantiation(F, argumentsList). [...] 9.2.12 FunctionDeclarationInstantiation(func, argumentsList) [...] 23. Let iteratorRecord be Record {[[iterator]]: CreateListIterator(argumentsList), [[done]]: false}. 24. If hasDuplicates is true, then [...] 25. Else, b. Let formalStatus be IteratorBindingInitialization for formals with iteratorRecord and env as arguments. [...] 13.3.3.7 Runtime Semantics: KeyedBindingInitialization [...] 3. If Initializer is present and v is undefined, then [...] 4. Return the result of performing BindingInitialization for BindingPattern passing v and environment as arguments. ---*/ function f({ w: [x, y, z] = [4, 5, 6] } = { w: null }) {} assert.throws(TypeError, function() { f(); }); reportCompare(0, 0);