fix: deoptimize right of for of stmt when assign in for of

src/ast/nodes/VariableDeclaration.ts

@@ -16,6 +16,7 @@ import type { InclusionContext } from '../ExecutionContext';
 import { EMPTY_PATH } from '../utils/PathTracker';
 import type Variable from '../variables/Variable';
 import ArrayPattern from './ArrayPattern';
+import type ForOfStatement from './ForOfStatement';
 import Identifier, { type IdentifierWithVariable } from './Identifier';
 import * as NodeType from './NodeType';
 import ObjectPattern from './ObjectPattern';
@@ -49,6 +50,10 @@ export default class VariableDeclaration extends NodeBase {
 		for (const declarator of this.declarations) {
 			declarator.deoptimizePath(EMPTY_PATH);
 		}
+		if (this.parent.type === NodeType.ForOfStatement) {
+			const forOfStatement = this.parent as ForOfStatement;
+			forOfStatement.right.deoptimizePath(EMPTY_PATH);
+		}
 	}
 
 	hasEffectsOnInteractionAtPath(): boolean {

test/form/samples/tree-shake-for-of-statements/_config.js

@@ -0,0 +1,3 @@
+module.exports = {
+	description: 'tree-shake for-of-statements with a condition that can be evaluated'
+};

test/form/samples/tree-shake-for-of-statements/_expected.js

@@ -0,0 +1,9 @@
+const list = [ { value: 1 } ];
+
+for (const item of list) {
+    item.value = 0;
+}
+
+if (list[0].value === 0) {
+    console.log(42);
+}

test/form/samples/tree-shake-for-of-statements/main.js

@@ -0,0 +1,9 @@
+const list = [ { value: 1 } ];
+
+for (const item of list) {
+    item.value = 0;
+}
+
+if (list[0].value === 0) {
+    console.log(42);
+}