// This file was procedurally generated from the following sources: // - src/dstr-binding/obj-ptrn-prop-id-init-skipped.case // - src/dstr-binding/default/for-of-let.template /*--- description: Destructuring initializer is not evaluated when value is not `undefined` (for-of statement) esid: sec-for-in-and-for-of-statements-runtime-semantics-labelledevaluation features: [destructuring-binding] flags: [generated] info: | IterationStatement : for ( ForDeclaration of AssignmentExpression ) Statement [...] 3. Return ForIn/OfBodyEvaluation(ForDeclaration, Statement, keyResult, lexicalBinding, labelSet). 13.7.5.13 Runtime Semantics: ForIn/OfBodyEvaluation [...] 3. Let destructuring be IsDestructuring of lhs. [...] 5. Repeat [...] h. If destructuring is false, then [...] i. Else i. If lhsKind is assignment, then [...] ii. Else if lhsKind is varBinding, then [...] iii. Else, 1. Assert: lhsKind is lexicalBinding. 2. Assert: lhs is a ForDeclaration. 3. Let status be the result of performing BindingInitialization for lhs passing nextValue and iterationEnv as arguments. [...] 13.3.3.7 Runtime Semantics: KeyedBindingInitialization BindingElement : BindingPattern Initializeropt [...] 3. If Initializer is present and v is undefined, then [...] ---*/ var initCount = 0; function counter() { initCount += 1; } var iterCount = 0; for (let { s: t = counter(), u: v = counter(), w: x = counter(), y: z = counter() } of [{ s: null, u: 0, w: false, y: '' }]) { assert.sameValue(t, null); assert.sameValue(v, 0); assert.sameValue(x, false); assert.sameValue(z, ''); assert.sameValue(initCount, 0); assert.throws(ReferenceError, function() { s; }); assert.throws(ReferenceError, function() { u; }); assert.throws(ReferenceError, function() { w; }); assert.throws(ReferenceError, function() { y; }); iterCount += 1; } assert.sameValue(iterCount, 1, 'Iteration occurred as expected'); reportCompare(0, 0);