Ensure the initializer of a destructuring declaration is always inclu…

…ded if the id is included.

src/ast/nodes/VariableDeclaration.ts

@@ -15,8 +15,10 @@ import {
 import type { InclusionContext } from '../ExecutionContext';
 import { EMPTY_PATH } from '../utils/PathTracker';
 import type Variable from '../variables/Variable';
+import ArrayPattern from './ArrayPattern';
 import Identifier, { type IdentifierWithVariable } from './Identifier';
 import * as NodeType from './NodeType';
+import ObjectPattern from './ObjectPattern';
 import type VariableDeclarator from './VariableDeclarator';
 import type { InclusionOptions } from './shared/Expression';
 import { type IncludeChildren, NodeBase } from './shared/Node';
@@ -62,8 +64,17 @@ export default class VariableDeclaration extends NodeBase {
 		for (const declarator of this.declarations) {
 			if (includeChildrenRecursively || declarator.shouldBeIncluded(context))
 				declarator.include(context, includeChildrenRecursively);
+			const { id, init } = declarator;
 			if (asSingleStatement) {
-				declarator.id.include(context, includeChildrenRecursively);
+				id.include(context, includeChildrenRecursively);
+			}
+			if (
+				init &&
+				id.included &&
+				!init.included &&
+				(id instanceof ObjectPattern || id instanceof ArrayPattern)
+			) {
+				init.include(context, includeChildrenRecursively);
 			}
 		}
 	}

test/function/samples/for-loop-parameter/_config.js

@@ -0,0 +1,9 @@
+const assert = require('assert');
+
+module.exports = {
+	description: 'includes for-loop parameters',
+	exports({ checkObject, checkArray }) {
+		assert.strictEqual(checkObject({ foo: 1 }), 1, 'object');
+		assert.strictEqual(checkArray([2]), 2, 'array');
+	}
+};

test/function/samples/for-loop-parameter/main.js

@@ -0,0 +1,19 @@
+export function checkObject(p) {
+	return getFromObjectInLoop(p);
+}
+
+export function checkArray(p) {
+	return getFromArrayInLoop(p);
+}
+
+function getFromObjectInLoop(path) {
+	for (let { foo } = path;;) {
+		return foo;
+	}
+}
+
+function getFromArrayInLoop(path) {
+	for (let [ foo ] = path;;) {
+		return foo;
+	}
+}