From c411d0c4f5a97417d5a26b24b11b3a5858179648 Mon Sep 17 00:00:00 2001
From: raythurnvoid <53383860+raythurnvoid@users.noreply.github.com>
Date: Sun, 15 Jun 2025 01:55:50 +0100
Subject: [PATCH] Improve compiler output on legacy components to prevent
 infinite loops from <select> bind:value on $: (block) with derived variable

---
 .../client/visitors/RegularElement.js           | 17 ++++++++++++-----
 1 file changed, 12 insertions(+), 5 deletions(-)

diff --git a/packages/svelte/src/compiler/phases/3-transform/client/visitors/RegularElement.js b/packages/svelte/src/compiler/phases/3-transform/client/visitors/RegularElement.js
index c6afdf67d3..1804e88a63 100644
--- a/packages/svelte/src/compiler/phases/3-transform/client/visitors/RegularElement.js
+++ b/packages/svelte/src/compiler/phases/3-transform/client/visitors/RegularElement.js
@@ -414,13 +414,20 @@ function setup_select_synchronization(value_binding, context) {
 		bound = /** @type {Identifier | MemberExpression} */ (bound.object);
 	}
 
-	// guard against reactively-derived bindings to prevent circular dependencies
+	// Skip synchronisation if the bound identifier is *already* updated by a
+	// reactive statement (declared directly in `$:` or assigned inside one).
+	// In those cases the extra invalidate-helper would re-write its own
+	// source signal and create a circular update loop.
 	if (bound.type === 'Identifier') {
 		const binding = context.state.scope.get(bound.name);
-		if (binding && binding.kind === 'legacy_reactive') {
-			// skip synchronization for reactive-derived bindings,
-			// the reactive statement already handles updates properly
-			return;
+		if (binding) {
+			// 1) declared directly inside a `$:`
+			if (binding.kind === 'legacy_reactive') return;
+
+			// 2) declared elsewhere but *assigned* inside a `$:` block
+			for (const [, rs] of context.state.analysis.reactive_statements) {
+				if (rs.assignments.has(binding)) return;
+			}
 		}
 	}