ripple 0.3.12 → 0.3.14

package/src/compiler/phases/2-analyze/index.js

@@ -1,2238 +0,0 @@
-/** @import {AnalyzeOptions} from 'ripple/compiler'  */
-/**
-@import {
-	AnalysisResult,
-	AnalysisState,
-	AnalysisContext,
-	Context,
-	ScopeInterface,
-	Visitors,
-	TopScopedClasses,
-	StyleClasses,
-} from '#compiler';
- */
-/**
-@import * as AST from 'estree';
-@import * as ESTreeJSX from 'estree-jsx';
-*/
-
-import * as b from '../../../utils/builders.js';
-import { walk } from 'zimmerframe';
-import { create_scopes, ScopeRoot } from '../../scope.js';
-import {
-	is_delegated_event,
-	get_parent_block_node,
-	is_element_dom_element,
-	is_inside_component,
-	is_ripple_track_call,
-	is_void_element,
-	is_children_template_expression as is_children_template_expression_in_scope,
-	normalize_children,
-	is_binding_function,
-	is_inside_try_block,
-} from '../../utils.js';
-import { extract_paths } from '../../../utils/ast.js';
-import is_reference from 'is-reference';
-import { prune_css } from './prune.js';
-import { analyze_css } from './css-analyze.js';
-import { error } from '../../errors.js';
-import { is_event_attribute } from '../../../utils/events.js';
-import { validate_nesting } from './validation.js';
-
-const valid_in_head = new Set(['title', 'base', 'link', 'meta', 'style', 'script', 'noscript']);
-
-const mutating_method_names = new Set([
-	'add',
-	'append',
-	'clear',
-	'copyWithin',
-	'delete',
-	'fill',
-	'pop',
-	'push',
-	'reverse',
-	'set',
-	'shift',
-	'sort',
-	'splice',
-	'unshift',
-]);
-
-/**
- * @param {AST.MemberExpression} node
- * @returns {string | null}
- */
-function get_member_name(node) {
-	if (!node.computed && node.property.type === 'Identifier') {
-		return node.property.name;
-	}
-
-	if (node.computed && node.property.type === 'Literal') {
-		return typeof node.property.value === 'string' ? node.property.value : null;
-	}
-
-	return null;
-}
-
-/**
- * @param {AST.CallExpression} node
- * @returns {boolean}
- */
-function is_mutating_call_expression(node) {
-	return (
-		node.callee.type === 'MemberExpression' &&
-		mutating_method_names.has(get_member_name(node.callee) ?? '')
-	);
-}
-
-/**
- * Check if an expression contains side effects or other impure operations.
- * Template expressions should be pure reads.
- * @param {AST.Expression | AST.SpreadElement | AST.Super | AST.Pattern} node
- * @returns {boolean}
- */
-function expression_has_side_effects(node) {
-	switch (node.type) {
-		case 'AssignmentExpression':
-		case 'UpdateExpression':
-			return true;
-		case 'SequenceExpression':
-			return node.expressions.some(expression_has_side_effects);
-		case 'ConditionalExpression':
-			return (
-				expression_has_side_effects(node.test) ||
-				expression_has_side_effects(node.consequent) ||
-				expression_has_side_effects(node.alternate)
-			);
-		case 'LogicalExpression':
-		case 'BinaryExpression':
-			return (
-				expression_has_side_effects(/** @type {AST.Expression} */ (node.left)) ||
-				expression_has_side_effects(node.right)
-			);
-		case 'UnaryExpression':
-			// delete operator has side effects (removes object properties)
-			if (node.operator === 'delete') return true;
-			return expression_has_side_effects(node.argument);
-		case 'AwaitExpression':
-			return expression_has_side_effects(node.argument);
-		case 'ChainExpression':
-			return expression_has_side_effects(node.expression);
-		case 'MemberExpression':
-			return (
-				expression_has_side_effects(node.object) ||
-				(node.computed &&
-					expression_has_side_effects(/** @type {AST.Expression} */ (node.property)))
-			);
-		case 'CallExpression':
-			return (
-				is_mutating_call_expression(node) ||
-				expression_has_side_effects(node.callee) ||
-				node.arguments.some(expression_has_side_effects)
-			);
-		case 'NewExpression':
-			return (
-				expression_has_side_effects(node.callee) || node.arguments.some(expression_has_side_effects)
-			);
-		case 'TemplateLiteral':
-			return node.expressions.some(expression_has_side_effects);
-		case 'TaggedTemplateExpression':
-			return (
-				expression_has_side_effects(node.tag) ||
-				node.quasi.expressions.some(expression_has_side_effects)
-			);
-		case 'ArrayExpression':
-			return node.elements.some((el) => el !== null && expression_has_side_effects(el));
-		case 'ObjectExpression':
-			return node.properties.some((prop) =>
-				prop.type === 'SpreadElement'
-					? expression_has_side_effects(prop.argument)
-					: expression_has_side_effects(prop.value) ||
-						(prop.computed &&
-							expression_has_side_effects(/** @type {AST.Expression} */ (prop.key))),
-			);
-		case 'SpreadElement':
-			return expression_has_side_effects(node.argument);
-		default:
-			return false;
-	}
-}
-
-/**
- * @param {AnalysisContext['path']} path
- */
-function mark_control_flow_has_template(path) {
-	for (let i = path.length - 1; i >= 0; i -= 1) {
-		const node = path[i];
-
-		if (
-			node.type === 'Component' ||
-			node.type === 'FunctionExpression' ||
-			node.type === 'ArrowFunctionExpression' ||
-			node.type === 'FunctionDeclaration'
-		) {
-			break;
-		}
-		if (
-			node.type === 'ForStatement' ||
-			node.type === 'ForInStatement' ||
-			node.type === 'ForOfStatement' ||
-			node.type === 'TryStatement' ||
-			node.type === 'IfStatement' ||
-			node.type === 'SwitchStatement' ||
-			node.type === 'Tsx' ||
-			node.type === 'TsxCompat'
-		) {
-			node.metadata.has_template = true;
-		}
-	}
-}
-
-/**
- * Set up lazy destructuring transforms for bindings extracted from a lazy pattern.
- * Converts each destructured identifier into a binding that lazily accesses properties
- * on the source identifier (e.g., `a` → `source.a` for object, `a` → `source[0]` for array).
- * @param {AST.ObjectPattern | AST.ArrayPattern} pattern - The destructuring pattern with lazy: true
- * @param {AST.Identifier} source_id - The identifier to access properties on
- * @param {AnalysisState} state - The analysis state
- * @param {boolean} writable - Whether assignments/updates should be supported (let vs const)
- * @param {boolean} is_track_call - Whether the RHS is a Ripple track() call
- */
-function setup_lazy_transforms(pattern, source_id, state, writable, is_track_call) {
-	// For ArrayPattern from track() calls, use direct get/set calls as a fast path
-	// instead of going through prototype getters source[0]/source[1]
-	if (pattern.type === 'ArrayPattern' && is_track_call) {
-		setup_lazy_array_transforms(pattern, source_id, state, writable);
-		return;
-	}
-
-	const paths = extract_paths(pattern);
-
-	for (const path of paths) {
-		const name = /** @type {AST.Identifier} */ (path.node).name;
-		const binding = state.scope.get(name);
-
-		if (binding !== null) {
-			const has_fallback = path.has_default_value;
-			binding.kind = has_fallback ? 'lazy_fallback' : 'lazy';
-
-			binding.transform = {
-				read: (_) => {
-					return path.expression(source_id);
-				},
-			};
-
-			if (writable) {
-				binding.transform.assign = (node, value) => {
-					return b.assignment(
-						'=',
-						/** @type {AST.MemberExpression} */ (path.update_expression(source_id)),
-						value,
-					);
-				};
-
-				if (has_fallback) {
-					// For bindings with default values, generate proper fallback-aware update
-					// e.g., count++ with default 0 becomes:
-					// (() => { var _v = _$_.fallback(obj.count, 0); obj.count = _v + 1; return _v; })() for postfix
-					// (obj.count = _$_.fallback(obj.count, 0) + 1) for prefix
-					binding.transform.update = (node) => {
-						const member = path.update_expression(source_id);
-						const fallback_read = path.expression(source_id);
-						const delta = node.operator === '++' ? b.literal(1) : b.literal(-1);
-
-						if (node.prefix) {
-							// ++count: return new value
-							return b.assignment(
-								'=',
-								/** @type {AST.Pattern} */ (member),
-								b.binary('+', fallback_read, delta),
-							);
-						} else {
-							// count++: return old value, write new value
-							// Use IIFE to declare temp variable
-							const temp = b.id('_v');
-							return b.call(
-								b.arrow(
-									[],
-									b.block([
-										b.var(temp, fallback_read),
-										b.stmt(
-											b.assignment(
-												'=',
-												/** @type {AST.Pattern} */ (member),
-												b.binary('+', temp, delta),
-											),
-										),
-										b.return(temp),
-									]),
-								),
-							);
-						}
-					};
-				} else {
-					binding.transform.update = (node) =>
-						b.update(node.operator, path.update_expression(source_id), node.prefix);
-				}
-			}
-		}
-	}
-}
-
-/**
- * Set up fast-path transforms for lazy array destructuring of tracked values.
- * For index 0 (the value): uses _$_.get/set/update directly instead of source[0] getters.
- * For index 1 (the tracked ref): returns source directly instead of source[1].
- * @param {AST.ArrayPattern} pattern - The array destructuring pattern
- * @param {AST.Identifier} source_id - The identifier for the tracked value
- * @param {AnalysisState} state - The analysis state
- * @param {boolean} writable - Whether assignments/updates should be supported
- */
-function setup_lazy_array_transforms(pattern, source_id, state, writable) {
-	for (let i = 0; i < pattern.elements.length; i++) {
-		const element = pattern.elements[i];
-		if (!element) continue;
-
-		// Rest elements — fall back to generic source.slice(i)
-		if (element.type === 'RestElement') {
-			const rest_paths = extract_paths(pattern);
-			for (const path of rest_paths) {
-				if (!path.is_rest) continue;
-				const name = /** @type {AST.Identifier} */ (path.node).name;
-				const binding = state.scope.get(name);
-				if (binding !== null) {
-					binding.kind = path.has_default_value ? 'lazy_fallback' : 'lazy';
-					binding.transform = {
-						read: (_) => path.expression(source_id),
-					};
-				}
-			}
-			continue;
-		}
-
-		const actual = element.type === 'AssignmentPattern' ? element.left : element;
-		const has_fallback = element.type === 'AssignmentPattern';
-		const fallback_value = has_fallback
-			? /** @type {AST.AssignmentPattern} */ (element).right
-			: null;
-
-		if (actual.type === 'Identifier' && i <= 1) {
-			const name = actual.name;
-			const binding = state.scope.get(name);
-			if (binding === null) continue;
-
-			binding.kind = has_fallback ? 'lazy_fallback' : 'lazy';
-
-			if (i === 0) {
-				// Fast path for index 0: use _$_.get(source) instead of source[0]
-				const read_expr = has_fallback
-					? () =>
-							b.call(
-								'_$_.fallback',
-								b.call('_$_.get', source_id),
-								/** @type {AST.Expression} */ (fallback_value),
-							)
-					: () => b.call('_$_.get', source_id);
-
-				// Signal that read already produces an unwrapped value (calls _$_.get internally)
-				binding.read_unwraps = true;
-
-				binding.transform = {
-					read: (_) => read_expr(),
-				};
-
-				if (writable) {
-					binding.transform.assign = (_, value) => {
-						return b.call('_$_.set', source_id, value);
-					};
-
-					if (has_fallback) {
-						binding.transform.update = (node) => {
-							const delta = node.operator === '++' ? b.literal(1) : b.literal(-1);
-							const temp = b.id('_v');
-
-							if (node.prefix) {
-								// ++count: compute new value and set it, return new value
-								return b.call(
-									b.arrow(
-										[],
-										b.block([
-											b.var(temp, b.binary('+', read_expr(), delta)),
-											b.stmt(b.call('_$_.set', source_id, temp)),
-											b.return(temp),
-										]),
-									),
-								);
-							} else {
-								// count++: read old value, set new value, return old value
-								return b.call(
-									b.arrow(
-										[],
-										b.block([
-											b.var(temp, read_expr()),
-											b.stmt(b.call('_$_.set', source_id, b.binary('+', temp, delta))),
-											b.return(temp),
-										]),
-									),
-								);
-							}
-						};
-					} else {
-						binding.transform.update = (node) => {
-							const fn_name = node.prefix ? '_$_.update_pre' : '_$_.update';
-							/** @type {AST.Expression[]} */
-							const args = [source_id];
-							if (node.operator === '--') {
-								args.push(b.literal(-1));
-							}
-							return b.call(fn_name, ...args);
-						};
-					}
-				}
-			} else {
-				// Fast path for index 1: source itself is the tracked ref
-				binding.transform = {
-					read: (_) => source_id,
-				};
-			}
-		} else {
-			// Nested patterns or indices > 1: fall back to generic source[i] access via extract_paths
-			/** @type {(object: AST.Expression) => AST.Expression} */
-			const base_expression =
-				i === 0
-					? (object) => b.call('_$_.get', object)
-					: i === 1
-						? (object) => object
-						: (object) => b.member(object, b.literal(i), true);
-
-			const inner_paths = extract_paths(element);
-			for (const path of inner_paths) {
-				const name = /** @type {AST.Identifier} */ (path.node).name;
-				const binding = state.scope.get(name);
-				if (binding === null) continue;
-
-				binding.kind = path.has_default_value ? 'lazy_fallback' : 'lazy';
-
-				binding.transform = {
-					read: (_) =>
-						path.expression(
-							/** @type {AST.Identifier | AST.CallExpression} */ (base_expression(source_id)),
-						),
-				};
-
-				if (writable) {
-					binding.transform.assign = (node, value) => {
-						return b.assignment(
-							'=',
-							/** @type {AST.MemberExpression} */ (
-								path.update_expression(/** @type {AST.Identifier} */ (base_expression(source_id)))
-							),
-							value,
-						);
-					};
-
-					if (path.has_default_value) {
-						binding.transform.update = (node) => {
-							const member = path.update_expression(
-								/** @type {AST.Identifier} */ (base_expression(source_id)),
-							);
-							const fallback_read = path.expression(
-								/** @type {AST.Identifier | AST.CallExpression} */ (base_expression(source_id)),
-							);
-							const delta = node.operator === '++' ? b.literal(1) : b.literal(-1);
-
-							if (node.prefix) {
-								return b.assignment(
-									'=',
-									/** @type {AST.Pattern} */ (member),
-									b.binary('+', fallback_read, delta),
-								);
-							} else {
-								const temp = b.id('_v');
-								return b.call(
-									b.arrow(
-										[],
-										b.block([
-											b.var(temp, fallback_read),
-											b.stmt(
-												b.assignment(
-													'=',
-													/** @type {AST.Pattern} */ (member),
-													b.binary('+', temp, delta),
-												),
-											),
-											b.return(temp),
-										]),
-									),
-								);
-							}
-						};
-					} else {
-						binding.transform.update = (node) =>
-							b.update(
-								node.operator,
-								path.update_expression(/** @type {AST.Identifier} */ (base_expression(source_id))),
-								node.prefix,
-							);
-					}
-				}
-			}
-		}
-	}
-}
-
-/**
- * @param {AST.Pattern} pattern
- * @returns {AST.TypeNode | undefined}
- */
-function get_pattern_type_annotation(pattern) {
-	return pattern.typeAnnotation?.typeAnnotation;
-}
-
-/**
- * @param {AST.TypeNode | undefined} type_annotation
- * @returns {AST.TypeNode | undefined}
- */
-function unwrap_type_annotation(type_annotation) {
-	/** @type {AST.TypeNode | undefined} */
-	let annotation = type_annotation;
-
-	while (annotation) {
-		if (annotation.type === 'TSParenthesizedType') {
-			annotation = /** @type {AST.TypeNode | undefined} */ (annotation.typeAnnotation);
-			continue;
-		}
-		if (annotation.type === 'TSOptionalType') {
-			annotation = /** @type {AST.TypeNode | undefined} */ (annotation.typeAnnotation);
-			continue;
-		}
-		break;
-	}
-
-	return annotation;
-}
-
-/**
- * @param {AST.TypeNode} type_annotation
- * @returns {AST.TypeNode}
- */
-function normalize_tuple_element_type(type_annotation) {
-	/** @type {AST.TypeNode} */
-	let annotation = type_annotation;
-
-	while (true) {
-		if (annotation.type === 'TSNamedTupleMember') {
-			annotation = annotation.elementType;
-			continue;
-		}
-		if (annotation.type === 'TSParenthesizedType') {
-			annotation = /** @type {AST.TypeNode} */ (annotation.typeAnnotation);
-			continue;
-		}
-		if (annotation.type === 'TSOptionalType') {
-			annotation = /** @type {AST.TypeNode} */ (annotation.typeAnnotation);
-			continue;
-		}
-		break;
-	}
-
-	return annotation;
-}
-
-/**
- * @param {AST.Expression} key
- * @returns {string | null}
- */
-function get_object_pattern_key_name(key) {
-	if (key.type === 'Identifier') {
-		return key.name;
-	}
-	if (key.type === 'Literal' && (typeof key.value === 'string' || typeof key.value === 'number')) {
-		return String(key.value);
-	}
-	return null;
-}
-
-/**
- * @param {AST.PropertyNameNonComputed} key
- * @returns {string | null}
- */
-function get_type_property_key_name(key) {
-	if (key.type === 'Identifier') {
-		return key.name;
-	}
-	if (key.type === 'Literal' && (typeof key.value === 'string' || typeof key.value === 'number')) {
-		return String(key.value);
-	}
-	return null;
-}
-
-/**
- * @param {AST.TypeNode | undefined} type_annotation
- * @param {AST.Property | AST.RestElement} property
- * @returns {AST.TypeNode | undefined}
- */
-function get_object_property_type_annotation(type_annotation, property) {
-	if (property.type === 'RestElement' || property.computed) {
-		return undefined;
-	}
-
-	const object_type_annotation = unwrap_type_annotation(type_annotation);
-	if (object_type_annotation?.type !== 'TSTypeLiteral') {
-		return undefined;
-	}
-
-	const key_name = get_object_pattern_key_name(/** @type {AST.Expression} */ (property.key));
-	if (key_name === null) {
-		return undefined;
-	}
-
-	for (const member of object_type_annotation.members) {
-		if (member.type !== 'TSPropertySignature' || member.computed) {
-			continue;
-		}
-		const member_key_name = get_type_property_key_name(member.key);
-		if (member_key_name === key_name) {
-			return member.typeAnnotation?.typeAnnotation;
-		}
-	}
-
-	return undefined;
-}
-
-/**
- * @param {AST.TypeNode | undefined} type_annotation
- * @param {number} index
- * @param {boolean} is_rest
- * @returns {AST.TypeNode | undefined}
- */
-function get_array_element_type_annotation(type_annotation, index, is_rest) {
-	const array_type_annotation = unwrap_type_annotation(type_annotation);
-
-	if (array_type_annotation?.type === 'TSArrayType') {
-		return array_type_annotation.elementType;
-	}
-	if (array_type_annotation?.type !== 'TSTupleType') {
-		return undefined;
-	}
-
-	if (is_rest) {
-		for (let i = array_type_annotation.elementTypes.length - 1; i >= 0; i -= 1) {
-			const element_type = normalize_tuple_element_type(array_type_annotation.elementTypes[i]);
-			if (element_type.type === 'TSRestType') {
-				return element_type.typeAnnotation;
-			}
-		}
-		return undefined;
-	}
-
-	if (index < array_type_annotation.elementTypes.length) {
-		const element_type = normalize_tuple_element_type(array_type_annotation.elementTypes[index]);
-		if (element_type.type === 'TSRestType') {
-			const rest_type_annotation = unwrap_type_annotation(element_type.typeAnnotation);
-			return rest_type_annotation?.type === 'TSArrayType'
-				? rest_type_annotation.elementType
-				: element_type.typeAnnotation;
-		}
-		return element_type;
-	}
-
-	const last_element = array_type_annotation.elementTypes.at(-1);
-	if (!last_element) {
-		return undefined;
-	}
-	const normalized_last_element = normalize_tuple_element_type(last_element);
-	if (normalized_last_element.type === 'TSRestType') {
-		const rest_type_annotation = unwrap_type_annotation(normalized_last_element.typeAnnotation);
-		return rest_type_annotation?.type === 'TSArrayType'
-			? rest_type_annotation.elementType
-			: normalized_last_element.typeAnnotation;
-	}
-
-	return undefined;
-}
-
-/**
- * Checks if a parameter source has a Tracked<T> type annotation imported from ripple.
- * This is used to determine if lazy array destructuring should use the track tuple fast path.
- * @param {AST.TypeNode | undefined} type_annotation - The source type annotation
- * @param {AnalysisContext} context - The analysis context
- * @returns {boolean}
- */
-function is_param_tracked_type(type_annotation, context) {
-	const annotation = unwrap_type_annotation(type_annotation);
-
-	if (
-		annotation?.type === 'TSTypeReference' &&
-		annotation.typeName?.type === 'Identifier' &&
-		annotation.typeName.name === 'Tracked'
-	) {
-		const binding = context.state.scope.get('Tracked');
-
-		return (
-			binding?.declaration_kind === 'import' &&
-			binding.initial !== null &&
-			binding.initial.type === 'ImportDeclaration' &&
-			binding.initial.source.type === 'Literal' &&
-			binding.initial.source.value === 'ripple'
-		);
-	}
-
-	return false;
-}
-
-/**
- * Sets up lazy transforms for any lazy subpatterns nested inside a function or component param.
- * @param {AST.Pattern} pattern
- * @param {AnalysisContext} context
- * @param {AST.TypeNode | undefined} [type_annotation]
- */
-function setup_nested_lazy_param_transforms(pattern, context, type_annotation = undefined) {
-	const pattern_type_annotation = get_pattern_type_annotation(pattern) ?? type_annotation;
-
-	switch (pattern.type) {
-		case 'AssignmentPattern':
-			setup_nested_lazy_param_transforms(pattern.left, context, pattern_type_annotation);
-			return;
-
-		case 'RestElement':
-			setup_nested_lazy_param_transforms(pattern.argument, context, pattern_type_annotation);
-			return;
-
-		case 'ObjectPattern':
-		case 'ArrayPattern': {
-			if (pattern.lazy) {
-				const param_id = b.id(context.state.scope.generate('lazy'));
-				const is_tracked_type =
-					pattern.type === 'ArrayPattern' &&
-					is_param_tracked_type(pattern_type_annotation, context);
-
-				setup_lazy_transforms(pattern, param_id, context.state, true, is_tracked_type);
-				pattern.metadata = { ...pattern.metadata, lazy_id: param_id.name };
-				return;
-			}
-
-			if (pattern.type === 'ObjectPattern') {
-				for (const property of pattern.properties) {
-					const property_type_annotation = get_object_property_type_annotation(
-						pattern_type_annotation,
-						property,
-					);
-					if (property.type === 'RestElement') {
-						setup_nested_lazy_param_transforms(
-							property.argument,
-							context,
-							property_type_annotation,
-						);
-					} else {
-						setup_nested_lazy_param_transforms(property.value, context, property_type_annotation);
-					}
-				}
-			} else {
-				for (let i = 0; i < pattern.elements.length; i += 1) {
-					const element = pattern.elements[i];
-					if (element !== null) {
-						setup_nested_lazy_param_transforms(
-							element,
-							context,
-							get_array_element_type_annotation(
-								pattern_type_annotation,
-								i,
-								element.type === 'RestElement',
-							),
-						);
-					}
-				}
-			}
-
-			return;
-		}
-	}
-}
-
-/**
- * @param {AST.Function} node
- * @param {AnalysisContext} context
- */
-function visit_function(node, context) {
-	node.metadata = {
-		tracked: false,
-		path: [...context.path],
-	};
-
-	// Set up lazy transforms for any lazy destructured parameters
-	for (let i = 0; i < node.params.length; i++) {
-		const param_node = node.params[i];
-		const param = param_node.type === 'AssignmentPattern' ? param_node.left : param_node;
-		const param_type_annotation =
-			get_pattern_type_annotation(param) ?? param_node.typeAnnotation?.typeAnnotation;
-
-		if (param.type === 'ObjectPattern' || param.type === 'ArrayPattern') {
-			setup_nested_lazy_param_transforms(param, context, param_type_annotation);
-		}
-	}
-
-	context.next({
-		...context.state,
-		function_depth: (context.state.function_depth ?? 0) + 1,
-	});
-
-	if (node.metadata.tracked) {
-		mark_as_tracked(context.path);
-	}
-}
-
-/**
- * @param {AnalysisContext['path']} path
- */
-function mark_as_tracked(path) {
-	for (let i = path.length - 1; i >= 0; i -= 1) {
-		const node = path[i];
-
-		if (node.type === 'Component') {
-			break;
-		}
-		if (
-			node.type === 'FunctionExpression' ||
-			node.type === 'ArrowFunctionExpression' ||
-			node.type === 'FunctionDeclaration'
-		) {
-			node.metadata.tracked = true;
-			break;
-		}
-	}
-}
-
-/**
- * @param {AST.ReturnStatement} node
- * @returns {AST.ReturnStatement}
- */
-function get_return_keyword_node(node) {
-	const return_keyword_length = 'return'.length;
-	return /** @type {AST.ReturnStatement} */ ({
-		...node,
-		end: /** @type {AST.NodeWithLocation} */ (node).start + return_keyword_length,
-		loc: {
-			start: /** @type {AST.NodeWithLocation} */ (node).loc.start,
-			end: {
-				line: /** @type {AST.NodeWithLocation} */ (node).loc.start.line,
-				column: /** @type {AST.NodeWithLocation} */ (node).loc.start.column + return_keyword_length,
-			},
-		},
-	});
-}
-
-/**
- * @param {AST.ReturnStatement} node
- * @param {AnalysisContext} context
- * @param {string} message
- */
-function error_return_keyword(node, context, message) {
-	const return_keyword_node = get_return_keyword_node(node);
-
-	error(
-		message,
-		context.state.analysis.module.filename,
-		return_keyword_node,
-		context.state.loose ? context.state.analysis.errors : undefined,
-		context.state.analysis.comments,
-	);
-}
-
-/**
- * @param {AST.Expression} expression
- * @param {Context<AST.Node, AnalysisState>} context
- * @returns {boolean}
- */
-function is_children_template_expression(expression, context) {
-	const component = context.path.findLast((node) => node.type === 'Component');
-	const component_scope = component ? context.state.scopes.get(component) : null;
-	return is_children_template_expression_in_scope(expression, context.state.scope, component_scope);
-}
-
-/** @type {Visitors<AST.Node, AnalysisState>} */
-const visitors = {
-	_(node, { state, next, path }) {
-		// Set up metadata.path for each node (needed for CSS pruning)
-		if (!node.metadata) {
-			node.metadata = { path: [...path] };
-		} else {
-			node.metadata.path = [...path];
-		}
-
-		const scope = state.scopes.get(node);
-		next(scope !== undefined && scope !== state.scope ? { ...state, scope } : state);
-	},
-
-	Program(_, context) {
-		return context.next({ ...context.state, function_depth: 0 });
-	},
-
-	ServerBlock(node, context) {
-		if (context.path.at(-1)?.type !== 'Program') {
-			// fatal since we don't have a transformation defined for this case
-			error(
-				'`#server` block can only be declared at the module level.',
-				context.state.analysis.module.filename,
-				node,
-			);
-		}
-		node.metadata = {
-			...node.metadata,
-			exports: new Set(),
-		};
-		context.visit(node.body, {
-			...context.state,
-			ancestor_server_block: node,
-		});
-	},
-
-	Identifier(node, context) {
-		const binding = context.state.scope.get(node.name);
-		const parent = context.path.at(-1);
-
-		if (
-			is_reference(node, /** @type {AST.Node} */ (parent)) &&
-			binding &&
-			context.state.ancestor_server_block &&
-			binding.node !== node // Don't check the declaration itself
-		) {
-			/** @type {ScopeInterface | null} */
-			let current_scope = binding.scope;
-			let found_server_block = false;
-
-			while (current_scope !== null) {
-				if (current_scope.server_block) {
-					found_server_block = true;
-					break;
-				}
-				current_scope = current_scope.parent;
-			}
-
-			if (!found_server_block) {
-				error(
-					`Cannot reference client-side "${node.name}" from a server block. Server blocks can only access variables and imports declared inside them.`,
-					context.state.analysis.module.filename,
-					node,
-					context.state.loose ? context.state.analysis.errors : undefined,
-					context.state.analysis.comments,
-				);
-			}
-		}
-
-		if (node.tracked && binding) {
-			if (
-				binding.kind === 'prop' ||
-				binding.kind === 'prop_fallback' ||
-				binding.kind === 'lazy' ||
-				binding.kind === 'lazy_fallback' ||
-				binding.kind === 'for_pattern' ||
-				(is_reference(node, /** @type {AST.Node} */ (parent)) &&
-					node.tracked &&
-					binding.node !== node)
-			) {
-				mark_as_tracked(context.path);
-				if (context.state.metadata?.tracking === false) {
-					context.state.metadata.tracking = true;
-				}
-			}
-		}
-
-		// Lazy bindings from track() calls (read_unwraps) are inherently reactive —
-		// propagate tracking so that control flow (if/for/switch)
-		// and early returns create reactive blocks
-		if (
-			!node.tracked &&
-			binding?.read_unwraps &&
-			is_reference(node, /** @type {AST.Node} */ (parent)) &&
-			binding.node !== node
-		) {
-			mark_as_tracked(context.path);
-			if (context.state.metadata?.tracking === false) {
-				context.state.metadata.tracking = true;
-			}
-		}
-
-		context.next();
-	},
-
-	MemberExpression(node, context) {
-		const parent = context.path.at(-1);
-
-		// Track #style.className or #style['className'] references
-		if (node.object.type === 'StyleIdentifier') {
-			const component = is_inside_component(context, true);
-
-			if (!component) {
-				error(
-					'`#style` can only be used within a component',
-					context.state.analysis.module.filename,
-					node,
-					context.state.loose ? context.state.analysis.errors : undefined,
-					context.state.analysis.comments,
-				);
-			} else {
-				component.metadata.styleIdentifierPresent = true;
-			}
-
-			/** @type {string | null} */
-			let className = null;
-
-			if (!node.computed && node.property.type === 'Identifier') {
-				// #style.test
-				className = node.property.name;
-			} else if (
-				node.computed &&
-				node.property.type === 'Literal' &&
-				typeof node.property.value === 'string'
-			) {
-				// #style['test']
-				className = node.property.value;
-			} else {
-				// #style[expression] - dynamic, not allowed
-				error(
-					'`#style` property access must use a dot property or static string for css class name, not a dynamic expression',
-					context.state.analysis.module.filename,
-					node.property,
-					context.state.loose ? context.state.analysis.errors : undefined,
-					context.state.analysis.comments,
-				);
-			}
-
-			if (className !== null) {
-				context.state.metadata.styleClasses?.set(className, node.property);
-			}
-
-			return context.next();
-		} else if (node.object.type === 'ServerIdentifier') {
-			context.state.analysis.metadata.serverIdentifierPresent = true;
-		}
-
-		if (node.object.type === 'Identifier' && !node.object.tracked) {
-			const binding = context.state.scope.get(node.object.name);
-
-			if (binding && binding.metadata?.is_ripple_object) {
-				const internalProperties = new Set(['__v', 'a', 'b', 'c', 'f']);
-
-				let propertyName = null;
-				if (node.property.type === 'Identifier' && !node.computed) {
-					propertyName = node.property.name;
-				} else if (node.property.type === 'Literal' && typeof node.property.value === 'string') {
-					propertyName = node.property.value;
-				}
-
-				if (propertyName && internalProperties.has(propertyName)) {
-					error(
-						`Directly accessing internal property "${propertyName}" of a tracked object is not allowed. Use \`${node.object.name}.value\` or \`&[]\` lazy destructuring instead.`,
-						context.state.analysis.module.filename,
-						node.property,
-						context.state.loose ? context.state.analysis.errors : undefined,
-						context.state.analysis.comments,
-					);
-				}
-			}
-
-			if (
-				binding !== null &&
-				binding.kind !== 'lazy' &&
-				binding.kind !== 'lazy_fallback' &&
-				binding.initial?.type === 'CallExpression' &&
-				is_ripple_track_call(binding.initial.callee, context)
-			) {
-				const is_allowed_tracked_access =
-					// Allow [0] and [1] indexed access on tracked objects.
-					(node.computed &&
-						node.property.type === 'Literal' &&
-						(node.property.value === 0 || node.property.value === 1)) ||
-					// Allow .value and .length property access on tracked objects.
-					(!node.computed &&
-						node.property.type === 'Identifier' &&
-						(node.property.name === 'value' || node.property.name === 'length'));
-
-				if (is_allowed_tracked_access) {
-					// pass through
-				} else {
-					error(
-						`Accessing a tracked object directly is not allowed, use \`.value\` or \`&[]\` lazy destructuring to read the value inside a tracked object - for example \`${node.object.name}.value\``,
-						context.state.analysis.module.filename,
-						node.object,
-						context.state.loose ? context.state.analysis.errors : undefined,
-						context.state.analysis.comments,
-					);
-				}
-			}
-		}
-
-		context.next();
-	},
-
-	CallExpression(node, context) {
-		// bug in our acorn [parser]: it uses typeParameters instead of typeArguments
-		// @ts-expect-error
-		if (node.typeParameters) {
-			// @ts-expect-error
-			node.typeArguments = node.typeParameters;
-			// @ts-expect-error
-			delete node.typeParameters;
-		}
-
-		const callee = node.callee;
-
-		if (
-			!context.path.some(
-				(path_node) => path_node.type === 'TsxCompat' || path_node.type === 'Tsx',
-			) &&
-			is_children_template_expression(/** @type {AST.Expression} */ (callee), context)
-		) {
-			error(
-				'`children` cannot be called like a regular function. Render it with `{children}` or `{props.children}` instead.',
-				context.state.analysis.module.filename,
-				callee,
-				context.state.loose ? context.state.analysis.errors : undefined,
-				context.state.analysis.comments,
-			);
-		}
-
-		if (context.state.function_depth === 0 && is_ripple_track_call(callee, context)) {
-			error(
-				'`track` can only be used within a reactive context, such as a component, function or class that is used or created from a component',
-				context.state.analysis.module.filename,
-				node.callee,
-				context.state.loose ? context.state.analysis.errors : undefined,
-				context.state.analysis.comments,
-			);
-		}
-
-		if (!is_inside_component(context, true)) {
-			mark_as_tracked(context.path);
-		}
-
-		context.next();
-	},
-
-	NewExpression(node, context) {
-		context.next();
-	},
-
-	VariableDeclaration(node, context) {
-		const { state, visit } = context;
-
-		for (const declarator of node.declarations) {
-			if (is_inside_component(context) && node.kind === 'var') {
-				error(
-					'`var` declarations are not allowed in components, use let or const instead',
-					state.analysis.module.filename,
-					declarator.id,
-					context.state.loose ? context.state.analysis.errors : undefined,
-					context.state.analysis.comments,
-				);
-			}
-			const metadata = { tracking: false, await: false };
-
-			if (declarator.id.type === 'Identifier') {
-				const binding = state.scope.get(declarator.id.name);
-				if (binding && declarator.init && declarator.init.type === 'CallExpression') {
-					const callee = declarator.init.callee;
-					// Check if it's a call to `track` or `tracked`
-					if (
-						(callee.type === 'Identifier' &&
-							(callee.name === 'track' || callee.name === 'tracked')) ||
-						(callee.type === 'MemberExpression' &&
-							callee.property.type === 'Identifier' &&
-							(callee.property.name === 'track' || callee.property.name === 'tracked'))
-					) {
-						binding.metadata = { ...binding.metadata, is_ripple_object: true };
-					}
-				}
-				visit(declarator, state);
-			} else {
-				// Handle lazy destructuring patterns
-				if (
-					(declarator.id.type === 'ObjectPattern' || declarator.id.type === 'ArrayPattern') &&
-					declarator.id.lazy
-				) {
-					const lazy_id = b.id(state.scope.generate('lazy'));
-					const writable = node.kind !== 'const';
-					const init_is_track =
-						declarator.init?.type === 'CallExpression' &&
-						is_ripple_track_call(declarator.init.callee, context) === 'track';
-					setup_lazy_transforms(declarator.id, lazy_id, state, writable, !!init_is_track);
-					// Store the generated identifier name on the pattern for the transform phase
-					declarator.id.metadata = { ...declarator.id.metadata, lazy_id: lazy_id.name };
-				}
-
-				visit(declarator, state);
-			}
-
-			declarator.metadata = { ...metadata, path: [...context.path] };
-		}
-	},
-
-	ExpressionStatement(node, context) {
-		const { state, visit } = context;
-
-		// Handle standalone lazy destructuring assignment: &[data] = track(0);
-		if (
-			node.expression.type === 'AssignmentExpression' &&
-			node.expression.operator === '=' &&
-			(node.expression.left.type === 'ObjectPattern' ||
-				node.expression.left.type === 'ArrayPattern') &&
-			node.expression.left.lazy
-		) {
-			const pattern = /** @type {AST.ObjectPattern | AST.ArrayPattern} */ (node.expression.left);
-			const lazy_id = b.id(state.scope.generate('lazy'));
-			const init = /** @type {AST.Expression} */ (node.expression.right);
-			const init_is_track =
-				init?.type === 'CallExpression' && is_ripple_track_call(init.callee, context) === 'track';
-			setup_lazy_transforms(pattern, lazy_id, state, true, !!init_is_track);
-			// Store the generated identifier name on the pattern for the transform phase
-			pattern.metadata = { ...pattern.metadata, lazy_id: lazy_id.name };
-		}
-
-		context.next();
-	},
-
-	StyleIdentifier(node, context) {
-		const component = is_inside_component(context, true);
-		const parent = context.path.at(-1);
-
-		if (component) {
-			component.metadata.styleIdentifierPresent = true;
-		}
-
-		// #style must only be used for property access (e.g., #style.className)
-		if (!parent || parent.type !== 'MemberExpression' || parent.object !== node) {
-			error(
-				'`#style` can only be used for property access, e.g., `#style.className`.',
-				context.state.analysis.module.filename,
-				node,
-				context.state.loose ? context.state.analysis.errors : undefined,
-				context.state.analysis.comments,
-			);
-		}
-		context.next();
-	},
-
-	ServerIdentifier(node, context) {
-		const parent = context.path.at(-1);
-
-		// #server must only be used for member access (e.g., #server.functionName(...))
-		if (!parent || parent.type !== 'MemberExpression' || parent.object !== node) {
-			error(
-				'`#server` can only be used for member access, e.g., `#server.functionName(...)`.',
-				context.state.analysis.module.filename,
-				node,
-				context.state.loose ? context.state.analysis.errors : undefined,
-				context.state.analysis.comments,
-			);
-		}
-		context.next();
-	},
-
-	ArrowFunctionExpression(node, context) {
-		visit_function(node, context);
-	},
-	FunctionExpression(node, context) {
-		visit_function(node, context);
-	},
-	FunctionDeclaration(node, context) {
-		visit_function(node, context);
-	},
-
-	Component(node, context) {
-		context.state.component = node;
-
-		if (node.params.length > 0) {
-			const props = node.params[0];
-
-			if (props.type === 'ObjectPattern' || props.type === 'ArrayPattern') {
-				// Lazy destructuring: &{...} or &[...] — set up lazy transforms
-				if (props.lazy) {
-					setup_lazy_transforms(props, b.id('__props'), context.state, true, false);
-				} else {
-					setup_nested_lazy_param_transforms(props, context, get_pattern_type_annotation(props));
-				}
-			} else if (props.type === 'AssignmentPattern') {
-				error(
-					'Props are always an object, use destructured props with default values instead',
-					context.state.analysis.module.filename,
-					props,
-					context.state.loose ? context.state.analysis.errors : undefined,
-					context.state.analysis.comments,
-				);
-			}
-		}
-		/** @type {AST.Element[]} */
-		const elements = [];
-
-		// Track metadata for this component
-		const metadata = {
-			await: false,
-			styleClasses: /** @type {StyleClasses} */ (new Map()),
-		};
-
-		/** @type {TopScopedClasses} */
-		const topScopedClasses = new Map();
-
-		context.next({
-			...context.state,
-			elements,
-			function_depth: (context.state.function_depth ?? 0) + 1,
-			metadata,
-		});
-
-		const css = node.css;
-
-		if (css !== null) {
-			// Analyze CSS to set global selector metadata
-			analyze_css(css);
-
-			for (const node of elements) {
-				prune_css(css, node, metadata.styleClasses, topScopedClasses);
-			}
-
-			if (topScopedClasses.size > 0) {
-				node.metadata.topScopedClasses = topScopedClasses;
-			}
-		}
-
-		if (metadata.styleClasses.size > 0) {
-			node.metadata.styleClasses = metadata.styleClasses;
-
-			for (const [className, property] of metadata.styleClasses) {
-				if (!topScopedClasses?.has(className)) {
-					error(
-						`CSS class ".${className}" does not exist as a stand-alone class in ${node.id?.name ? node.id.name : "this component's"} <style> block`,
-						context.state.analysis.module.filename,
-						property,
-						context.state.loose ? context.state.analysis.errors : undefined,
-						context.state.analysis.comments,
-					);
-				}
-			}
-		}
-
-		// Store component metadata in analysis
-		// Only add metadata if component has a name (not anonymous)
-		if (node.id) {
-			context.state.analysis.component_metadata.push({
-				id: node.id.name,
-				async: metadata.await,
-			});
-		}
-	},
-
-	ForStatement(node, context) {
-		if (is_inside_component(context)) {
-			// TODO: it's a fatal error for now but
-			// we could implement the for loop for the ts mode only
-			error(
-				'For loops are not supported in components. Use for...of instead.',
-				context.state.analysis.module.filename,
-				node,
-			);
-		}
-
-		context.next();
-	},
-
-	SwitchStatement(node, context) {
-		if (!is_inside_component(context)) {
-			return context.next();
-		}
-
-		context.visit(node.discriminant, context.state);
-
-		for (const switch_case of node.cases) {
-			// Skip empty cases
-			if (switch_case.consequent.length === 0) {
-				continue;
-			}
-
-			node.metadata = {
-				...node.metadata,
-				has_template: false,
-				has_await: false,
-			};
-
-			context.visit(switch_case, context.state);
-
-			if (!node.metadata.has_template && !node.metadata.has_await) {
-				error(
-					'Component switch statements must contain a template or an await expression in each of their cases. Move the switch statement into an effect if it does not render anything.',
-					context.state.analysis.module.filename,
-					switch_case,
-					context.state.loose ? context.state.analysis.errors : undefined,
-					context.state.analysis.comments,
-				);
-			}
-		}
-	},
-
-	ForOfStatement(node, context) {
-		if (!is_inside_component(context)) {
-			return context.next();
-		}
-
-		if (node.index) {
-			const state = context.state;
-			const scope = /** @type {ScopeInterface} */ (state.scopes.get(node));
-			const binding = scope.get(/** @type {AST.Identifier} */ (node.index).name);
-
-			if (binding !== null) {
-				binding.kind = 'index';
-				binding.transform = {
-					read: (node) => {
-						return b.call('_$_.get', node);
-					},
-				};
-			}
-		}
-
-		if (node.key) {
-			const state = context.state;
-			const pattern = /** @type {AST.VariableDeclaration} */ (node.left).declarations[0].id;
-			const paths = extract_paths(pattern);
-			const scope = /** @type {ScopeInterface} */ (state.scopes.get(node));
-			/** @type {AST.Identifier | AST.Pattern} */
-			let pattern_id;
-			if (state.to_ts || state.mode === 'server') {
-				pattern_id = pattern;
-			} else {
-				pattern_id = b.id(scope.generate('pattern'));
-				/** @type {AST.VariableDeclaration} */ (node.left).declarations[0].id = pattern_id;
-			}
-
-			for (const path of paths) {
-				const name = /** @type {AST.Identifier} */ (path.node).name;
-				const binding = context.state.scope.get(name);
-
-				if (binding !== null) {
-					binding.kind = 'for_pattern';
-					if (!binding.metadata) {
-						binding.metadata = {
-							pattern: /** @type {AST.Identifier} */ (pattern_id),
-						};
-					}
-
-					binding.transform = {
-						read: () => {
-							return path.expression(b.call('_$_.get', /** @type {AST.Identifier} */ (pattern_id)));
-						},
-					};
-				}
-			}
-		}
-
-		node.metadata = {
-			...node.metadata,
-			has_template: false,
-			has_await: false,
-		};
-		context.next();
-
-		if (!node.metadata.has_template && !node.metadata.has_await) {
-			error(
-				'Component for...of loops must contain a template or an await expression in their body. Move the for loop into an effect if it does not render anything.',
-				context.state.analysis.module.filename,
-				node.body,
-				context.state.loose ? context.state.analysis.errors : undefined,
-				context.state.analysis.comments,
-			);
-		}
-	},
-
-	ExportNamedDeclaration(node, context) {
-		const server_block = context.state.ancestor_server_block;
-
-		if (!server_block) {
-			return context.next();
-		}
-
-		const exports = server_block.metadata.exports;
-		const declaration = /** @type {AST.RippleExportNamedDeclaration} */ (node).declaration;
-
-		if (declaration && declaration.type === 'FunctionDeclaration') {
-			exports.add(declaration.id.name);
-		} else if (declaration && declaration.type === 'Component') {
-			error(
-				'Not implemented: Exported component declaration not supported in server blocks.',
-				context.state.analysis.module.filename,
-				/** @type {AST.Identifier} */ (declaration.id),
-				context.state.loose ? context.state.analysis.errors : undefined,
-				context.state.analysis.comments,
-			);
-			// TODO: the client and server rendering doesn't currently support components
-			// If we're going to support this, we need to account also for anonymous object declaration
-			// and specifiers
-			// 	exports.add(/** @type {AST.Identifier} */ (declaration.id).name);
-		} else if (declaration && declaration.type === 'VariableDeclaration') {
-			for (const decl of declaration.declarations) {
-				if (decl.init !== undefined && decl.init !== null) {
-					if (decl.id.type === 'Identifier') {
-						if (
-							decl.init.type === 'FunctionExpression' ||
-							decl.init.type === 'ArrowFunctionExpression'
-						) {
-							exports.add(decl.id.name);
-							continue;
-						} else if (decl.init.type === 'Identifier') {
-							const name = decl.init.name;
-							const binding = context.state.scope.get(name);
-							if (binding && is_binding_function(binding, context.state.scope)) {
-								exports.add(decl.id.name);
-								continue;
-							}
-						} else if (decl.init.type === 'MemberExpression') {
-							error(
-								'Not implemented: Exported member expressions are not supported in server blocks.',
-								context.state.analysis.module.filename,
-								decl.init,
-								context.state.loose ? context.state.analysis.errors : undefined,
-								context.state.analysis.comments,
-							);
-							continue;
-						}
-					} else if (decl.id.type === 'ObjectPattern' || decl.id.type === 'ArrayPattern') {
-						const paths = extract_paths(decl.id);
-						for (const path of paths) {
-							error(
-								'Not implemented: Exported object or array patterns are not supported in server blocks.',
-								context.state.analysis.module.filename,
-								path.node,
-								context.state.loose ? context.state.analysis.errors : undefined,
-								context.state.analysis.comments,
-							);
-						}
-					}
-				}
-				// TODO: allow exporting consts when hydration is supported
-				error(
-					`Not implemented: Exported '${decl.id.type}' type is not supported in server blocks.`,
-					context.state.analysis.module.filename,
-					decl,
-					context.state.loose ? context.state.analysis.errors : undefined,
-					context.state.analysis.comments,
-				);
-			}
-		} else if (node.specifiers) {
-			for (const specifier of node.specifiers) {
-				const name = /** @type {AST.Identifier} */ (specifier.local).name;
-				const binding = context.state.scope.get(name);
-				const is_function = binding && is_binding_function(binding, context.state.scope);
-
-				if (is_function) {
-					exports.add(name);
-					continue;
-				}
-
-				error(
-					`Not implemented: Exported specifier type not supported in server blocks.`,
-					context.state.analysis.module.filename,
-					specifier,
-					context.state.loose ? context.state.analysis.errors : undefined,
-					context.state.analysis.comments,
-				);
-			}
-		} else {
-			error(
-				'Not implemented: Exported declaration type not supported in server blocks.',
-				context.state.analysis.module.filename,
-				node,
-				context.state.loose ? context.state.analysis.errors : undefined,
-				context.state.analysis.comments,
-			);
-		}
-
-		return context.next();
-	},
-
-	TSTypeReference(node, context) {
-		// bug in our acorn parser: it uses typeParameters instead of typeArguments
-		// @ts-expect-error
-		if (node.typeParameters) {
-			// @ts-expect-error
-			node.typeArguments = node.typeParameters;
-			// @ts-expect-error
-			delete node.typeParameters;
-		}
-		context.next();
-	},
-
-	IfStatement(node, context) {
-		if (!is_inside_component(context)) {
-			return context.next();
-		}
-
-		node.metadata = {
-			...node.metadata,
-			has_template: false,
-			has_await: false,
-			has_throw: false,
-		};
-
-		const test_metadata = { tracking: false };
-		context.visit(node.test, { ...context.state, metadata: test_metadata });
-		if (test_metadata.tracking) {
-			/** @type {AST.TrackedNode} */ (node.test).tracked = true;
-		}
-
-		context.visit(node.consequent, context.state);
-
-		const consequent_body =
-			node.consequent.type === 'BlockStatement' ? node.consequent.body : [node.consequent];
-
-		if (
-			consequent_body.length === 1 &&
-			consequent_body[0].type === 'ReturnStatement' &&
-			!node.alternate
-		) {
-			node.metadata.lone_return = true;
-		}
-
-		if (!node.metadata.has_template && !node.metadata.has_return && !node.metadata.has_throw) {
-			error(
-				'Component if statements must contain a template in their "then" body. Move the if statement into an effect if it does not render anything.',
-				context.state.analysis.module.filename,
-				node.consequent,
-				context.state.loose ? context.state.analysis.errors : undefined,
-				context.state.analysis.comments,
-			);
-		}
-
-		if (node.alternate) {
-			const saved_has_return = node.metadata.has_return;
-			const saved_returns = node.metadata.returns;
-			node.metadata.has_template = false;
-			node.metadata.has_await = false;
-			node.metadata.has_throw = false;
-			context.visit(node.alternate, context.state);
-
-			if (!node.metadata.has_template && !node.metadata.has_return && !node.metadata.has_throw) {
-				error(
-					'Component if statements must contain a template in their "else" body. Move the if statement into an effect if it does not render anything.',
-					context.state.analysis.module.filename,
-					node.alternate,
-					context.state.loose ? context.state.analysis.errors : undefined,
-					context.state.analysis.comments,
-				);
-			}
-
-			if (saved_has_return) {
-				node.metadata.has_return = true;
-				if (saved_returns) {
-					node.metadata.returns = [...saved_returns, ...(node.metadata.returns || [])];
-				}
-			}
-		}
-	},
-
-	ReturnStatement(node, context) {
-		const parent = context.path.at(-1);
-
-		if (!is_inside_component(context)) {
-			if (parent?.type === 'Program') {
-				error_return_keyword(
-					node,
-					context,
-					'Return statements are not allowed at the top level of a module.',
-				);
-			}
-
-			return context.next();
-		}
-
-		if (node.argument !== null) {
-			error_return_keyword(
-				node,
-				context,
-				'Return statements inside components cannot have a return value.',
-			);
-		}
-
-		for (let i = context.path.length - 1; i >= 0; i--) {
-			const ancestor = context.path[i];
-
-			if (
-				ancestor.type === 'Component' ||
-				ancestor.type === 'FunctionExpression' ||
-				ancestor.type === 'ArrowFunctionExpression' ||
-				ancestor.type === 'FunctionDeclaration'
-			) {
-				break;
-			}
-
-			if (
-				ancestor.type === 'IfStatement' &&
-				/** @type {AST.TrackedNode} */ (ancestor.test).tracked
-			) {
-				node.metadata.is_reactive = true;
-			}
-
-			if (!ancestor.metadata.returns) {
-				ancestor.metadata.returns = [];
-			}
-			ancestor.metadata.returns.push(node);
-			ancestor.metadata.has_return = true;
-		}
-	},
-
-	ThrowStatement(node, context) {
-		if (!is_inside_component(context)) {
-			return context.next();
-		}
-
-		for (let i = context.path.length - 1; i >= 0; i--) {
-			const ancestor = context.path[i];
-
-			if (
-				ancestor.type === 'Component' ||
-				ancestor.type === 'FunctionExpression' ||
-				ancestor.type === 'ArrowFunctionExpression' ||
-				ancestor.type === 'FunctionDeclaration'
-			) {
-				break;
-			}
-
-			if (ancestor.type === 'IfStatement') {
-				if (!ancestor.metadata.has_throw) {
-					ancestor.metadata.has_throw = true;
-				}
-			}
-		}
-
-		context.next();
-	},
-
-	TryStatement(node, context) {
-		const { state } = context;
-		if (!is_inside_component(context)) {
-			return context.next();
-		}
-
-		if (node.pending) {
-			// Try/pending blocks indicate async operations
-			if (state.metadata?.await === false) {
-				state.metadata.await = true;
-			}
-
-			node.metadata = {
-				...node.metadata,
-				has_template: false,
-			};
-
-			context.visit(node.block, state);
-
-			if (!node.metadata.has_template) {
-				error(
-					'Component try statements must contain a template in their main body. Move the try statement into an effect if it does not render anything.',
-					state.analysis.module.filename,
-					node.block,
-					context.state.loose ? context.state.analysis.errors : undefined,
-					context.state.analysis.comments,
-				);
-			}
-
-			node.metadata = {
-				...node.metadata,
-				has_template: false,
-			};
-
-			context.visit(node.pending, state);
-
-			if (!node.metadata.has_template) {
-				error(
-					'Component try statements must contain a template in their "pending" body. Rendering a pending fallback is required to have a template.',
-					state.analysis.module.filename,
-					node.pending,
-					context.state.loose ? context.state.analysis.errors : undefined,
-					context.state.analysis.comments,
-				);
-			}
-		}
-
-		if (node.handler) {
-			context.visit(node.handler, state);
-		}
-
-		if (node.finalizer) {
-			context.visit(node.finalizer, state);
-		}
-	},
-
-	ForInStatement(node, context) {
-		if (is_inside_component(context)) {
-			// TODO: it's a fatal error for now but
-			// we could implement the for in loop for the ts mode only to make it a usage error
-			error(
-				'For...in loops are not supported in components. Use for...of instead.',
-				context.state.analysis.module.filename,
-				node,
-			);
-		}
-
-		context.next();
-	},
-
-	WhileStatement(node, context) {
-		if (is_inside_component(context)) {
-			error(
-				'While loops are not supported in components. Move the while loop into a function.',
-				context.state.analysis.module.filename,
-				node,
-			);
-		}
-
-		context.next();
-	},
-
-	DoWhileStatement(node, context) {
-		if (is_inside_component(context)) {
-			error(
-				'Do...while loops are not supported in components. Move the do...while loop into a function.',
-				context.state.analysis.module.filename,
-				node,
-			);
-		}
-
-		context.next();
-	},
-
-	JSXElement(node, context) {
-		const inside_tsx_compat = context.path.some((n) => n.type === 'TsxCompat' || n.type === 'Tsx');
-
-		if (inside_tsx_compat) {
-			return context.next();
-		}
-		// TODO: could compile it as something to avoid a fatal error
-		error(
-			'Elements cannot be used as generic expressions, only as statements within a component',
-			context.state.analysis.module.filename,
-			node,
-		);
-	},
-
-	Tsx(_, context) {
-		mark_control_flow_has_template(context.path);
-		return context.next();
-	},
-
-	TsxCompat(node, context) {
-		mark_control_flow_has_template(context.path);
-
-		const configured_compat_kinds = context.state.configured_compat_kinds;
-		if (configured_compat_kinds !== undefined && !configured_compat_kinds.has(node.kind)) {
-			error(
-				`<tsx:${node.kind}> requires "${node.kind}" compat to be configured in ripple.config.ts.`,
-				context.state.analysis.module.filename,
-				node,
-				context.state.loose ? context.state.analysis.errors : undefined,
-				context.state.analysis.comments,
-			);
-		}
-
-		return context.next();
-	},
-
-	Element(node, context) {
-		if (!is_inside_component(context)) {
-			error(
-				'Elements cannot be used outside of components',
-				context.state.analysis.module.filename,
-				node,
-			);
-		}
-
-		const { state, visit, path } = context;
-		const is_dom_element = is_element_dom_element(node);
-		/** @type {Set<AST.Identifier>} */
-		const attribute_names = new Set();
-
-		mark_control_flow_has_template(path);
-
-		if (
-			!is_dom_element &&
-			is_children_template_expression(/** @type {AST.Expression} */ (node.id), context)
-		) {
-			error(
-				'`children` cannot be rendered as a component. Render it with `{children}` or `{props.children}` instead.',
-				state.analysis.module.filename,
-				node.id,
-				context.state.loose ? context.state.analysis.errors : undefined,
-				context.state.analysis.comments,
-			);
-		}
-
-		validate_nesting(node, context);
-
-		// Store capitalized name for dynamic components/elements
-		// TODO: this is not quite right as the node.id could be a member expression
-		// so, we'd need to identify dynamic based on that too
-		// However, we're going to get rid of capitalization in favor of jsx()
-		// so, this will be need to be redone.
-		if (node.id.type === 'Identifier' && node.id.tracked) {
-			const source_name = node.id.name;
-			const capitalized_name = source_name.charAt(0).toUpperCase() + source_name.slice(1);
-			node.metadata.ts_name = capitalized_name;
-			node.metadata.source_name = source_name;
-
-			// Mark the binding as a dynamic component so we can capitalize it everywhere
-			const binding = context.state.scope.get(source_name);
-			if (binding) {
-				if (!binding.metadata) {
-					binding.metadata = {};
-				}
-				binding.metadata.is_dynamic_component = true;
-			}
-
-			if (!is_dom_element && state.elements) {
-				state.elements.push(node);
-				// Mark dynamic elements as scoped by default since we can't match CSS at compile time
-				if (state.component?.css) {
-					node.metadata.scoped = true;
-				}
-			}
-		}
-
-		if (is_dom_element) {
-			if (/** @type {AST.Identifier} */ (node.id).name === 'head') {
-				// head validation
-				if (node.attributes.length > 0) {
-					// TODO: could transform attributes as something, e.g. Text Node, and avoid a fatal error
-					error('<head> cannot have any attributes', state.analysis.module.filename, node);
-				}
-				if (node.children.length === 0) {
-					// TODO: could transform children as something, e.g. Text Node, and avoid a fatal error
-					error('<head> must have children', state.analysis.module.filename, node);
-				}
-
-				for (const child of node.children) {
-					context.visit(child, { ...state, inside_head: true });
-				}
-
-				return;
-			}
-			if (state.inside_head) {
-				if (/** @type {AST.Identifier} */ (node.id).name === 'title') {
-					const children = normalize_children(node.children, context);
-
-					if (
-						children.length !== 1 ||
-						(children[0].type !== 'RippleExpression' && children[0].type !== 'Text')
-					) {
-						// TODO: could transform children as something, e.g. Text Node, and avoid a fatal error
-						error(
-							'<title> must have only contain text nodes',
-							state.analysis.module.filename,
-							node,
-						);
-					}
-				}
-
-				// check for invalid elements in head
-				if (!valid_in_head.has(/** @type {AST.Identifier} */ (node.id).name)) {
-					// TODO: could transform invalid elements as something, e.g. Text Node, and avoid a fatal error
-					error(
-						`<${/** @type {AST.Identifier} */ (node.id).name}> cannot be used in <head>`,
-						state.analysis.module.filename,
-						node,
-					);
-				}
-			} else {
-				if (/** @type {AST.Identifier} */ (node.id).name === 'script') {
-					const err_msg = '<script> cannot be used outside of <head>.';
-					error(
-						err_msg,
-						state.analysis.module.filename,
-						node.openingElement,
-						state.loose ? state.analysis.errors : undefined,
-					);
-
-					if (node.closingElement) {
-						error(
-							err_msg,
-							state.analysis.module.filename,
-							node.closingElement,
-							state.loose ? state.analysis.errors : undefined,
-						);
-					}
-				}
-			}
-
-			const is_void = is_void_element(/** @type {AST.Identifier} */ (node.id).name);
-
-			if (state.elements) {
-				state.elements.push(node);
-			}
-
-			for (const attr of node.attributes) {
-				if (attr.type === 'Attribute') {
-					if (attr.value && attr.value.type === 'JSXEmptyExpression') {
-						const value = /** @type {ESTreeJSX.JSXEmptyExpression & AST.NodeWithLocation} */ (
-							attr.value
-						);
-						error(
-							'attributes must only be assigned a non-empty expression',
-							state.analysis.module.filename,
-							{
-								...value,
-								start: value.start - 1,
-								end: value.end + 1,
-								loc: {
-									start: {
-										line: value.loc.start.line,
-										column: value.loc.start.column - 1,
-									},
-									end: {
-										line: value.loc.end.line,
-										column: value.loc.end.column + 1,
-									},
-								},
-							},
-							context.state.loose ? context.state.analysis.errors : undefined,
-							context.state.analysis.comments,
-						);
-					}
-					if (attr.name.type === 'Identifier') {
-						attribute_names.add(attr.name);
-
-						if (attr.name.name === 'key') {
-							error(
-								'The `key` attribute is not a thing in Ripple, and cannot be used on DOM elements. If you are using a for loop, then use the `for (let item of items; key item.id)` syntax.',
-								state.analysis.module.filename,
-								attr,
-								context.state.loose ? context.state.analysis.errors : undefined,
-								context.state.analysis.comments,
-							);
-						}
-
-						if (
-							attr.value &&
-							attr.value.type === 'MemberExpression' &&
-							attr.value.object.type === 'StyleIdentifier'
-						) {
-							error(
-								'`#style` cannot be used directly on DOM elements. Pass the class to a child component instead.',
-								state.analysis.module.filename,
-								attr.value.object,
-								context.state.loose ? context.state.analysis.errors : undefined,
-								context.state.analysis.comments,
-							);
-						}
-
-						if (is_event_attribute(attr.name.name)) {
-							const handler = visit(/** @type {AST.Expression} */ (attr.value), state);
-							const is_delegated = is_delegated_event(attr.name.name, handler, context);
-
-							if (is_delegated) {
-								if (attr.metadata === undefined) {
-									attr.metadata = { path: [...path] };
-								}
-
-								attr.metadata.delegated = is_delegated;
-							}
-						} else if (attr.value !== null) {
-							visit(attr.value, state);
-						}
-					}
-				}
-			}
-
-			if (is_void && node.children.length > 0) {
-				error(
-					`The <${/** @type {AST.Identifier} */ (node.id).name}> element is a void element and cannot have children`,
-					state.analysis.module.filename,
-					node,
-					context.state.loose ? context.state.analysis.errors : undefined,
-					context.state.analysis.comments,
-				);
-			}
-		} else {
-			for (const attr of node.attributes) {
-				if (attr.type === 'Attribute') {
-					if (attr.name.type === 'Identifier') {
-						attribute_names.add(attr.name);
-					}
-					if (attr.value !== null) {
-						visit(attr.value, state);
-					}
-				} else if (attr.type === 'SpreadAttribute') {
-					visit(attr.argument, state);
-				} else if (attr.type === 'RefAttribute') {
-					visit(attr.argument, state);
-				}
-			}
-			/** @type {(AST.Node | AST.Expression)[]} */
-			let implicit_children = [];
-
-			for (const child of node.children) {
-				if (child.type === 'Component') {
-					error(
-						'Component declarations cannot be used inside composite component children. Pass them as explicit props on the template element instead.',
-						state.analysis.module.filename,
-						child.id || child,
-						context.state.loose ? context.state.analysis.errors : undefined,
-						context.state.analysis.comments,
-					);
-				} else if (child.type !== 'EmptyStatement') {
-					implicit_children.push(
-						child.type === 'RippleExpression' || child.type === 'Text' || child.type === 'Html'
-							? child.expression
-							: child,
-					);
-				}
-			}
-		}
-
-		// Validation
-		for (const attribute of attribute_names) {
-			const name = attribute.name;
-			if (name === 'children') {
-				if (is_dom_element) {
-					error(
-						'Cannot have a `children` prop on an element',
-						state.analysis.module.filename,
-						attribute,
-						context.state.loose ? context.state.analysis.errors : undefined,
-						context.state.analysis.comments,
-					);
-				}
-			}
-		}
-
-		return {
-			...node,
-			children: node.children.map((child) => visit(child)),
-		};
-	},
-
-	RippleExpression(node, context) {
-		mark_control_flow_has_template(context.path);
-
-		if (expression_has_side_effects(node.expression)) {
-			error(
-				'Template expressions must not contain side effects.',
-				context.state.analysis.module.filename,
-				node.expression,
-				context.state.loose ? context.state.analysis.errors : undefined,
-				context.state.analysis.comments,
-			);
-		}
-
-		context.next();
-	},
-
-	Text(node, context) {
-		mark_control_flow_has_template(context.path);
-
-		if (is_children_template_expression(/** @type {AST.Expression} */ (node.expression), context)) {
-			error(
-				'`children` cannot be rendered using explicit text interpolation. Use `{children}` or `{props.children}` instead.',
-				context.state.analysis.module.filename,
-				node.expression,
-				context.state.loose ? context.state.analysis.errors : undefined,
-				context.state.analysis.comments,
-			);
-		}
-
-		context.next();
-	},
-
-	AwaitExpression(node, context) {
-		const parent_block = get_parent_block_node(context);
-
-		if (is_inside_component(context)) {
-			if (context.state.metadata?.await === false) {
-				context.state.metadata.await = true;
-			}
-
-			if (
-				parent_block !== null &&
-				parent_block?.type !== 'Component' &&
-				!context.state.ancestor_server_block &&
-				!(
-					parent_block.type === 'TryStatement' &&
-					parent_block.pending &&
-					is_inside_try_block(parent_block, context)
-				)
-			) {
-				// we want the error to live on the `await` keyword vs the whole expression
-				const adjusted_node /** @type {AST.AwaitExpression} */ = {
-					...node,
-					end: /** @type {AST.NodeWithLocation} */ (node).start + 'await'.length,
-				};
-				error(
-					'`await` is not allowed in client-side control-flow statements',
-					context.state.analysis.module.filename,
-					adjusted_node,
-					context.state.loose ? context.state.analysis.errors : undefined,
-					context.state.analysis.comments,
-				);
-			}
-		}
-
-		if (parent_block) {
-			if (!parent_block.metadata) {
-				parent_block.metadata = { path: [...context.path] };
-			}
-			parent_block.metadata.has_await = true;
-		}
-
-		context.next();
-	},
-};
-
-/**
- *
- * @param {AST.Program} ast
- * @param {string} filename
- * @param {AnalyzeOptions} options
- * @returns {AnalysisResult}
- */
-export function analyze(ast, filename, options = {}) {
-	const scope_root = new ScopeRoot();
-	const errors = options.errors ?? [];
-	const comments = options.comments ?? [];
-	const loose = options.loose ?? false;
-
-	const { scope, scopes } = create_scopes(ast, scope_root, null, {
-		loose,
-		errors,
-		filename,
-		comments,
-	});
-
-	const analysis = /** @type {AnalysisResult} */ ({
-		module: { ast, scope, scopes, filename },
-		ast,
-		scope,
-		scopes,
-		component_metadata: [],
-		metadata: {
-			serverIdentifierPresent: false,
-		},
-		errors,
-		comments,
-	});
-
-	walk(
-		ast,
-		/** @type {AnalysisState} */
-		{
-			scope,
-			scopes,
-			analysis,
-			inside_head: false,
-			ancestor_server_block: undefined,
-			to_ts: options.to_ts ?? false,
-			loose,
-			configured_compat_kinds:
-				options.compat_kinds === undefined ? undefined : new Set(options.compat_kinds),
-			metadata: {},
-			mode: options.mode,
-		},
-		visitors,
-	);
-
-	return analysis;
-}