Add test case where iteratorbindinginitialization-bindingrestelement throws

Author: G-Lee1031

test/language/destructuring/binding/iteratorbindinginitialization-bindingrestelement-throws-arraybindingpattern.js

@@ -0,0 +1,58 @@
+// Copyright (C) 2026 Garham Lee. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-runtime-semantics-bindinginitialization
+description: >
+    IteratorBindingInitialization throws TypeError trying to destructure nested array.
+info: |
+    Runtime Semantics: BindingInitialization (_value_, _environment_)
+
+    BindingPattern : ArrayBindingPattern
+    1. Let _iteratorRecord_ be ? GetIterator(_value_, ~sync~).
+    2. Let _result_ be Completion(IteratorBindingInitialization of |ArrayBindingPattern| with arguments _iteratorRecord_ and _environment_).
+
+    Runtime Semantics: IteratorBindingInitialization (_iteratorRecord_, _environment_)
+
+    ArrayBindingPattern : `[` Elision? BindingRestElement `]`
+    1. If |Elision| is present, then
+        a. Perform ? IteratorDestructuringAssignmentEvaluation of |Elision| with argument _iteratorRecord_.
+    2. Return ? IteratorBindingInitialization of |BindingRestElement| with arguments _iteratorRecord_ and _environment_.
+
+    Runtime Semantics: IteratorBindingInitialization (_iteratorRecord_, _environment_)
+
+    BindingRestElement : `...` BindingPattern
+    1. Let _A_ be ! ArrayCreate(0).
+    3.c.i Return ? BindingInitialization of |BindingPattern| with arguments _A_ and _environment_.
+
+    Runtime Semantics: BindingInitialization (_value_, _environment_)
+
+    BindingPattern : ArrayBindingPattern
+    1. Let _iteratorRecord_ be ? GetIterator(_value_, ~sync~).
+    2. Let _result_ be Completion(IteratorBindingInitialization of |ArrayBindingPattern| with arguments _iteratorRecord_ and _environment_).
+
+    Runtime Semantics: IteratorBindingInitialization (_iteratorRecord_, _environment_)
+
+    BindingElement : BindingPattern Initializer?
+    1. Let _v_ be *undefined*.
+    4. Return ? BindingInitialization of |BindingPattern| with arguments _v_ and _environment_.
+
+    Runtime Semantics: BindingInitialization (_value_, _environment_)
+
+    BindingPattern : ArrayBindingPattern
+    1. Let _iteratorRecord_ be ? GetIterator(_value_, ~sync~).
+
+    GetIterator (_obj_, _kind_)
+    2. Else,
+        a. Let _method_ be ? GetMethod(_obj_, %Symbol.iterator%).
+
+    GetMethod (_V_, _P_)
+    1. Let _func_ be ? GetV(_V_, _P_).
+
+    GetV (_V_, _P_)
+    1. Let _O_ be ? ToObject(_V_).
+features: [destructuring-binding]
+---*/
+assert.throws(TypeError, function () {
+    var [, ...[[x]]] = '';
+}, "IteratorBindingInitialization throws TypeError trying to destructure nested array.");

test/language/destructuring/binding/iteratorbindinginitialization-bindingrestelement-throws-objectbindingpattern.js

@@ -0,0 +1,48 @@
+// Copyright (C) 2026 Garham Lee. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-runtime-semantics-bindinginitialization
+description: >
+    IteratorBindingInitialization throws TypeError trying to destructure nested object.
+info: |
+    Runtime Semantics: BindingInitialization (_value_, _environment_)
+
+    BindingPattern : ArrayBindingPattern
+    1. Let _iteratorRecord_ be ? GetIterator(_value_, ~sync~).
+    2. Let _result_ be Completion(IteratorBindingInitialization of |ArrayBindingPattern| with arguments _iteratorRecord_ and _environment_).
+
+    Runtime Semantics: IteratorBindingInitialization (_iteratorRecord_, _environment_)
+
+    ArrayBindingPattern : `[` Elision? BindingRestElement `]`
+    1. If |Elision| is present, then
+        a. Perform ? IteratorDestructuringAssignmentEvaluation of |Elision| with argument _iteratorRecord_.
+    2. Return ? IteratorBindingInitialization of |BindingRestElement| with arguments _iteratorRecord_ and _environment_.
+
+    Runtime Semantics: IteratorBindingInitialization (_iteratorRecord_, _environment_)
+
+    BindingRestElement : `...` BindingPattern
+    1. Let _A_ be ! ArrayCreate(0).
+    3.c.i Return ? BindingInitialization of |BindingPattern| with arguments _A_ and _environment_.
+
+    Runtime Semantics: BindingInitialization (_value_, _environment_)
+
+    BindingPattern : ArrayBindingPattern
+    1. Let _iteratorRecord_ be ? GetIterator(_value_, ~sync~).
+    2. Let _result_ be Completion(IteratorBindingInitialization of |ArrayBindingPattern| with arguments _iteratorRecord_ and _environment_).
+
+    Runtime Semantics: IteratorBindingInitialization (_iteratorRecord_, _environment_)
+
+    BindingElement : BindingPattern Initializer?
+    1. Let _v_ be *undefined*.
+    4. Return ? BindingInitialization of |BindingPattern| with arguments _v_ and _environment_.
+
+    Runtime Semantics: BindingInitialization (_value_, _environment_)
+
+    BindingPattern : ObjectBindingPattern
+    1. Perform ? RequireObjectCoercible(_value_).
+features: [destructuring-binding]
+---*/
+assert.throws(TypeError, function () {
+    var [... [{}]] = ''
+}, "IteratorBindingInitialization throws TypeError trying to destructure nested object.")