@@ -32000,14 +32000,19 @@ const installImprove = (modules) => {
 				) {
 					break;
 				}
-				// Moved into the declaration, a read of the `let` is in its dead zone:
-				// one in the value, or one in a function or `eval` the value may run.
+				// Moved into the declaration, a read of the `let` is in its dead
+				// zone: itself, a declarator the same `let` declares after it,
+				// or one in a function or `eval` the value may run.
 				if (
 					!isVar &&
 					(A.walk(assign.right, (/** @type {Node} */ node) =>
 						A.isLambdaNode(node)
 							? true
-							: A.isSymbolRefNode(node) && node.definition === definition
+							: A.isSymbolRefNode(node) &&
+								  declarations.some(
+										(/** @type {Node} */ sibling, /** @type {number} */ j) =>
+											j >= index && sibling.id.definition === node.definition
+								  )
 								? A.walk_abort
 								: undefined
 					) ||
 
@@ -9772,6 +9772,17 @@ describe("syntax-printer", () => {
 			}
 		});
 
+		it("should keep an assignment out of a `let` declaration where its value reads a declarator the same `let` declares after it, in its dead zone", async () => {
+			const { minify } = await load();
+			for (const input of [
+				"function f() { let a, b; b = (() => 1)(); for (a = b; a < 3; a++) console.log(a, b); return a; } console.log(f());",
+				"function f() { let b, a; a = b = (() => 1)(); for (; a < 3; a++) console.log(a, b); return a; } console.log(f());"
+			]) {
+				const { code } = await minify(input, { compress: {}, mangle: false });
+				expect(runProgram(/** @type {string} */ (code))).toBe(runProgram(input));
+			}
+		});
+
 		it("should keep a literal's missing key a built-in's prototype the program writes may hold", async () => {
 			const { minify } = await load();
 			for (const input of [