text: // This file was procedurally generated from the following sources:
  // - src/dstr-binding/obj-ptrn-prop-obj-value-undef.case
  // - src/dstr-binding/error/arrow-function-dflt.template
  /*---
  description: Object binding pattern with "nested" object binding pattern taking the `null` value (arrow function expression (default parameter))
  esid: sec-arrow-function-definitions-runtime-semantics-evaluation
  features: [destructuring-binding, default-parameters]
  flags: [generated]
  info: |
      ArrowFunction : ArrowParameters => ConciseBody
  
      [...]
      4. Let closure be FunctionCreate(Arrow, parameters, ConciseBody, 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.
  ---*/
  
  var f = ({ w: { x, y, z } = undefined } = { }) => {};
  
  assert.throws(TypeError, function() {
    f();
  });
  