fix: execute deriveds eagerly when they are set if DIRTY

Author: paoloricciuti

packages/svelte/src/internal/client/constants.js

@@ -10,18 +10,17 @@ export const DISCONNECTED = 1 << 9;
 export const CLEAN = 1 << 10;
 export const DIRTY = 1 << 11;
 export const MAYBE_DIRTY = 1 << 12;
-export const ASSIGNED_DERIVED = 1 << 13;
-export const INERT = 1 << 14;
-export const DESTROYED = 1 << 15;
-export const EFFECT_RAN = 1 << 16;
+export const INERT = 1 << 13;
+export const DESTROYED = 1 << 14;
+export const EFFECT_RAN = 1 << 15;
 /** 'Transparent' effects do not create a transition boundary */
-export const EFFECT_TRANSPARENT = 1 << 17;
+export const EFFECT_TRANSPARENT = 1 << 16;
 /** Svelte 4 legacy mode props need to be handled with deriveds and be recognized elsewhere, hence the dedicated flag */
-export const LEGACY_DERIVED_PROP = 1 << 18;
-export const INSPECT_EFFECT = 1 << 19;
-export const HEAD_EFFECT = 1 << 20;
-export const EFFECT_HAS_DERIVED = 1 << 21;
-export const EFFECT_IS_UPDATING = 1 << 22;
+export const LEGACY_DERIVED_PROP = 1 << 17;
+export const INSPECT_EFFECT = 1 << 18;
+export const HEAD_EFFECT = 1 << 19;
+export const EFFECT_HAS_DERIVED = 1 << 20;
+export const EFFECT_IS_UPDATING = 1 << 21;
 
 export const STATE_SYMBOL = Symbol('$state');
 export const STATE_SYMBOL_METADATA = Symbol('$state metadata');

packages/svelte/src/internal/client/reactivity/sources.js

@@ -28,14 +28,14 @@ import {
 	UNOWNED,
 	MAYBE_DIRTY,
 	BLOCK_EFFECT,
-	ROOT_EFFECT,
-	ASSIGNED_DERIVED
+	ROOT_EFFECT
 } from '../constants.js';
 import * as e from '../errors.js';
 import { legacy_mode_flag, tracing_mode_flag } from '../../flags/index.js';
 import { get_stack } from '../dev/tracing.js';
 import { component_context, is_runes } from '../context.js';
 import { proxy } from '../proxy.js';
+import { execute_derived } from './deriveds.js';
 
 export let inspect_effects = new Set();
 export const old_values = new Map();
@@ -172,11 +172,11 @@ export function internal_set(source, value) {
 		}
 
 		if ((source.f & DERIVED) !== 0) {
-			// if we are assigning a derived we set it to clean but we also
-			// keep the assigned derived flag so that we can read the dependencies
-			// in the get function
-			var flags = (source.f & UNOWNED) === 0 ? CLEAN : MAYBE_DIRTY;
-			set_signal_status(source, flags | ASSIGNED_DERIVED);
+			// if we are assigning to a dirty derived we set it to clean/maybe dirty but we also eagerly execute it to track the dependencies
+			if ((source.f & DIRTY) !== 0) {
+				execute_derived(/** @type {Derived} */ (source));
+			}
+			set_signal_status(source, (source.f & UNOWNED) === 0 ? CLEAN : MAYBE_DIRTY);
 		}
 
 		mark_reactions(source, DIRTY);

packages/svelte/src/internal/client/runtime.js

@@ -23,8 +23,7 @@ import {
 	LEGACY_DERIVED_PROP,
 	DISCONNECTED,
 	BOUNDARY_EFFECT,
-	EFFECT_IS_UPDATING,
-	ASSIGNED_DERIVED
+	EFFECT_IS_UPDATING
 } from './constants.js';
 import { flush_tasks } from './dom/task.js';
 import { internal_set, old_values } from './reactivity/sources.js';
@@ -927,11 +926,6 @@ export function get(signal) {
 
 		if (check_dirtiness(derived)) {
 			update_derived(derived);
-		} else if ((derived.f & ASSIGNED_DERIVED) !== 0) {
-			// if the derived is clean but has been assigned a new value, then we need to
-			// still invoke the derived function and update the dependencies or else
-			// it will not depend on the original source
-			execute_derived(derived);
 		}
 	}
 
@@ -1049,7 +1043,7 @@ export function untrack(fn) {
 	}
 }
 
-const STATUS_MASK = ~(DIRTY | MAYBE_DIRTY | CLEAN | ASSIGNED_DERIVED);
+const STATUS_MASK = ~(DIRTY | MAYBE_DIRTY | CLEAN);
 
 /**
  * @param {Signal} signal