babel-plugin-react-compiler 0.0.0-experimental-487cb0e-20240529 → 0.0.0-experimental-938cd9a-20240601

package/dist/index.js

@@ -136266,6 +136266,9 @@ function isRefValueType(id) {
 function isUseRefType(id) {
   return id.type.kind === "Object" && id.type.shapeId === "BuiltInUseRefId";
 }
+function isUseStateType(id) {
+  return id.type.kind === "Object" && id.type.shapeId === "BuiltInUseState";
+}
 function isSetStateType(id) {
   return id.type.kind === "Function" && id.type.shapeId === "BuiltInSetState";
 }
@@ -138896,7 +138899,7 @@ class HIRBuilder {
     ).at(-1);
     return handler !== null && handler !== void 0 ? handler : null;
   }
-  makeTemporary() {
+  makeTemporary(loc) {
     const id = this.nextIdentifierId;
     return {
       id: id,
@@ -138904,6 +138907,7 @@ class HIRBuilder {
       mutableRange: { start: makeInstructionId(0), end: makeInstructionId(0) },
       scope: null,
       type: makeType(),
+      loc: loc,
     };
   }
   resolveIdentifier(path) {
@@ -138984,6 +138988,7 @@ class HIRBuilder {
     }
   }
   resolveBinding(node) {
+    var _a;
     const originalName = node.name;
     let name = originalName;
     let index = 0;
@@ -139004,6 +139009,7 @@ class HIRBuilder {
           },
           scope: null,
           type: makeType(),
+          loc: (_a = node.loc) !== null && _a !== void 0 ? _a : GeneratedSource,
         };
         __classPrivateFieldGet(this, _HIRBuilder_bindings, "f").set(name, {
           node: node,
@@ -139436,7 +139442,7 @@ function removeUnnecessaryTryCatch(fn) {
     }
   }
 }
-function createTemporaryPlace(env) {
+function createTemporaryPlace(env, loc) {
   return {
     kind: "Identifier",
     identifier: {
@@ -139445,6 +139451,7 @@ function createTemporaryPlace(env) {
       name: null,
       scope: null,
       type: makeType(),
+      loc: loc,
     },
     reactive: false,
     effect: exports.Effect.Unknown,
@@ -139742,7 +139749,7 @@ function lower$1(func, env, bindings = null, capturedRefs = [], parent = null) {
   }
   const params = [];
   func.get("params").forEach((param) => {
-    var _a, _b, _c, _d, _e, _f, _g;
+    var _a, _b, _c, _d, _e, _f, _g, _h, _j;
     if (param.isIdentifier()) {
       const binding = builder.resolveIdentifier(param);
       if (binding.kind !== "Identifier") {
@@ -139772,18 +139779,20 @@ function lower$1(func, env, bindings = null, capturedRefs = [], parent = null) {
     ) {
       const place = {
         kind: "Identifier",
-        identifier: builder.makeTemporary(),
+        identifier: builder.makeTemporary(
+          (_c = param.node.loc) !== null && _c !== void 0 ? _c : GeneratedSource
+        ),
         effect: exports.Effect.Unknown,
         reactive: false,
         loc:
-          (_c = param.node.loc) !== null && _c !== void 0
-            ? _c
+          (_d = param.node.loc) !== null && _d !== void 0
+            ? _d
             : GeneratedSource,
       };
       params.push(place);
       lowerAssignment(
         builder,
-        (_d = param.node.loc) !== null && _d !== void 0 ? _d : GeneratedSource,
+        (_e = param.node.loc) !== null && _e !== void 0 ? _e : GeneratedSource,
         InstructionKind.Let,
         param,
         place,
@@ -139792,18 +139801,20 @@ function lower$1(func, env, bindings = null, capturedRefs = [], parent = null) {
     } else if (param.isRestElement()) {
       const place = {
         kind: "Identifier",
-        identifier: builder.makeTemporary(),
+        identifier: builder.makeTemporary(
+          (_f = param.node.loc) !== null && _f !== void 0 ? _f : GeneratedSource
+        ),
         effect: exports.Effect.Unknown,
         reactive: false,
         loc:
-          (_e = param.node.loc) !== null && _e !== void 0
-            ? _e
+          (_g = param.node.loc) !== null && _g !== void 0
+            ? _g
             : GeneratedSource,
       };
       params.push({ kind: "Spread", place: place });
       lowerAssignment(
         builder,
-        (_f = param.node.loc) !== null && _f !== void 0 ? _f : GeneratedSource,
+        (_h = param.node.loc) !== null && _h !== void 0 ? _h : GeneratedSource,
         InstructionKind.Let,
         param.get("argument"),
         place,
@@ -139813,7 +139824,7 @@ function lower$1(func, env, bindings = null, capturedRefs = [], parent = null) {
       builder.errors.push({
         reason: `(BuildHIR::lower) Handle ${param.node.type} params`,
         severity: exports.ErrorSeverity.Todo,
-        loc: (_g = param.node.loc) !== null && _g !== void 0 ? _g : null,
+        loc: (_j = param.node.loc) !== null && _j !== void 0 ? _j : null,
         suggestions: null,
       });
     }
@@ -139928,7 +139939,8 @@ function lowerStatement(builder, stmtPath, label = null) {
     _28,
     _29,
     _30,
-    _31;
+    _31,
+    _32;
   const stmtNode = stmtPath.node;
   switch (stmtNode.type) {
     case "ThrowStatement": {
@@ -140955,12 +140967,16 @@ function lowerStatement(builder, stmtPath, label = null) {
       if (hasNode(handlerBindingPath)) {
         const place = {
           kind: "Identifier",
-          identifier: builder.makeTemporary(),
+          identifier: builder.makeTemporary(
+            (_27 = handlerBindingPath.node.loc) !== null && _27 !== void 0
+              ? _27
+              : GeneratedSource
+          ),
           effect: exports.Effect.Unknown,
           reactive: false,
           loc:
-            (_27 = handlerBindingPath.node.loc) !== null && _27 !== void 0
-              ? _27
+            (_28 = handlerBindingPath.node.loc) !== null && _28 !== void 0
+              ? _28
               : GeneratedSource,
         };
         promoteTemporary(place.identifier);
@@ -140972,8 +140988,8 @@ function lowerStatement(builder, stmtPath, label = null) {
           },
           type: null,
           loc:
-            (_28 = handlerBindingPath.node.loc) !== null && _28 !== void 0
-              ? _28
+            (_29 = handlerBindingPath.node.loc) !== null && _29 !== void 0
+              ? _29
               : GeneratedSource,
         });
         handlerBinding = { path: handlerBindingPath, place: place };
@@ -141033,8 +141049,8 @@ function lowerStatement(builder, stmtPath, label = null) {
           fallthrough: continuationBlock.id,
           id: makeInstructionId(0),
           loc:
-            (_29 = stmt.node.loc) !== null && _29 !== void 0
-              ? _29
+            (_30 = stmt.node.loc) !== null && _30 !== void 0
+              ? _30
               : GeneratedSource,
         },
         continuationBlock
@@ -141074,14 +141090,14 @@ function lowerStatement(builder, stmtPath, label = null) {
       builder.errors.push({
         reason: `(BuildHIR::lowerStatement) Handle ${stmtPath.type} statements`,
         severity: exports.ErrorSeverity.Todo,
-        loc: (_30 = stmtPath.node.loc) !== null && _30 !== void 0 ? _30 : null,
+        loc: (_31 = stmtPath.node.loc) !== null && _31 !== void 0 ? _31 : null,
         suggestions: null,
       });
       lowerValueToTemporary(builder, {
         kind: "UnsupportedNode",
         loc:
-          (_31 = stmtPath.node.loc) !== null && _31 !== void 0
-            ? _31
+          (_32 = stmtPath.node.loc) !== null && _32 !== void 0
+            ? _32
             : GeneratedSource,
         node: stmtPath.node,
       });
@@ -141173,7 +141189,8 @@ function lowerExpression(builder, exprPath) {
     _12,
     _13,
     _14,
-    _15;
+    _15,
+    _16;
   const exprNode = exprPath.node;
   const exprLoc =
     (_a = exprNode.loc) !== null && _a !== void 0 ? _a : GeneratedSource;
@@ -141228,6 +141245,18 @@ function lowerExpression(builder, exprPath) {
           );
           properties.push({ kind: "Spread", place: place });
         } else if (propertyPath.isObjectMethod()) {
+          if (propertyPath.node.kind !== "method") {
+            builder.errors.push({
+              reason: `(BuildHIR::lowerExpression) Handle ${propertyPath.node.kind} functions in ObjectExpression`,
+              severity: exports.ErrorSeverity.Todo,
+              loc:
+                (_c = propertyPath.node.loc) !== null && _c !== void 0
+                  ? _c
+                  : null,
+              suggestions: null,
+            });
+            continue;
+          }
           const method = lowerObjectMethod(builder, propertyPath);
           const place = lowerValueToTemporary(builder, method);
           const loweredKey = lowerObjectPropertyKey(builder, propertyPath);
@@ -141245,8 +141274,8 @@ function lowerExpression(builder, exprPath) {
             reason: `(BuildHIR::lowerExpression) Handle ${propertyPath.type} properties in ObjectExpression`,
             severity: exports.ErrorSeverity.Todo,
             loc:
-              (_c = propertyPath.node.loc) !== null && _c !== void 0
-                ? _c
+              (_d = propertyPath.node.loc) !== null && _d !== void 0
+                ? _d
                 : null,
             suggestions: null,
           });
@@ -141274,7 +141303,7 @@ function lowerExpression(builder, exprPath) {
           builder.errors.push({
             reason: `(BuildHIR::lowerExpression) Handle ${element.type} elements in ArrayExpression`,
             severity: exports.ErrorSeverity.Todo,
-            loc: (_d = element.node.loc) !== null && _d !== void 0 ? _d : null,
+            loc: (_e = element.node.loc) !== null && _e !== void 0 ? _e : null,
             suggestions: null,
           });
           continue;
@@ -141290,7 +141319,7 @@ function lowerExpression(builder, exprPath) {
           reason: `Expected an expression as the \`new\` expression receiver (v8 intrinsics are not supported)`,
           description: `Got a \`${calleePath.node.type}\``,
           severity: exports.ErrorSeverity.InvalidJS,
-          loc: (_e = calleePath.node.loc) !== null && _e !== void 0 ? _e : null,
+          loc: (_f = calleePath.node.loc) !== null && _f !== void 0 ? _f : null,
           suggestions: null,
         });
         return { kind: "UnsupportedNode", node: exprNode, loc: exprLoc };
@@ -141315,7 +141344,7 @@ function lowerExpression(builder, exprPath) {
         builder.errors.push({
           reason: `Expected Expression, got ${calleePath.type} in CallExpression (v8 intrinsics not supported). This error is likely caused by a bug in React Compiler. Please file an issue`,
           severity: exports.ErrorSeverity.Todo,
-          loc: (_f = calleePath.node.loc) !== null && _f !== void 0 ? _f : null,
+          loc: (_g = calleePath.node.loc) !== null && _g !== void 0 ? _g : null,
           suggestions: null,
         });
         return { kind: "UnsupportedNode", node: exprNode, loc: exprLoc };
@@ -141349,7 +141378,7 @@ function lowerExpression(builder, exprPath) {
         builder.errors.push({
           reason: `(BuildHIR::lowerExpression) Expected Expression, got ${leftPath.type} lval in BinaryExpression`,
           severity: exports.ErrorSeverity.Todo,
-          loc: (_g = leftPath.node.loc) !== null && _g !== void 0 ? _g : null,
+          loc: (_h = leftPath.node.loc) !== null && _h !== void 0 ? _h : null,
           suggestions: null,
         });
         return { kind: "UnsupportedNode", node: exprNode, loc: exprLoc };
@@ -141368,7 +141397,7 @@ function lowerExpression(builder, exprPath) {
     case "SequenceExpression": {
       const expr = exprPath;
       const exprLoc =
-        (_h = expr.node.loc) !== null && _h !== void 0 ? _h : GeneratedSource;
+        (_j = expr.node.loc) !== null && _j !== void 0 ? _j : GeneratedSource;
       const continuationBlock = builder.reserve(builder.currentBlockKind());
       const place = buildTemporaryPlace(builder, exprLoc);
       const sequenceBlock = builder.enter("sequence", (_) => {
@@ -141419,7 +141448,7 @@ function lowerExpression(builder, exprPath) {
     case "ConditionalExpression": {
       const expr = exprPath;
       const exprLoc =
-        (_j = expr.node.loc) !== null && _j !== void 0 ? _j : GeneratedSource;
+        (_k = expr.node.loc) !== null && _k !== void 0 ? _k : GeneratedSource;
       const continuationBlock = builder.reserve(builder.currentBlockKind());
       const testBlock = builder.reserve("value");
       const place = buildTemporaryPlace(builder, exprLoc);
@@ -141500,14 +141529,14 @@ function lowerExpression(builder, exprPath) {
     case "LogicalExpression": {
       const expr = exprPath;
       const exprLoc =
-        (_k = expr.node.loc) !== null && _k !== void 0 ? _k : GeneratedSource;
+        (_l = expr.node.loc) !== null && _l !== void 0 ? _l : GeneratedSource;
       const continuationBlock = builder.reserve(builder.currentBlockKind());
       const testBlock = builder.reserve("value");
       const place = buildTemporaryPlace(builder, exprLoc);
       const leftPlace = buildTemporaryPlace(
         builder,
-        (_l = expr.get("left").node.loc) !== null && _l !== void 0
-          ? _l
+        (_m = expr.get("left").node.loc) !== null && _m !== void 0
+          ? _m
           : GeneratedSource
       );
       const consequent = builder.enter("value", () => {
@@ -141587,7 +141616,7 @@ function lowerExpression(builder, exprPath) {
         const left = expr.get("left");
         return lowerAssignment(
           builder,
-          (_m = left.node.loc) !== null && _m !== void 0 ? _m : GeneratedSource,
+          (_o = left.node.loc) !== null && _o !== void 0 ? _o : GeneratedSource,
           InstructionKind.Reassign,
           left,
           lowerExpressionToTemporary(builder, expr.get("right")),
@@ -141615,7 +141644,7 @@ function lowerExpression(builder, exprPath) {
         builder.errors.push({
           reason: `(BuildHIR::lowerExpression) Handle ${operator} operators in AssignmentExpression`,
           severity: exports.ErrorSeverity.Todo,
-          loc: (_o = expr.node.loc) !== null && _o !== void 0 ? _o : null,
+          loc: (_p = expr.node.loc) !== null && _p !== void 0 ? _p : null,
           suggestions: null,
         });
         return { kind: "UnsupportedNode", node: exprNode, loc: exprLoc };
@@ -141675,8 +141704,8 @@ function lowerExpression(builder, exprPath) {
             left: Object.assign({}, previousValuePlace),
             right: lowerExpressionToTemporary(builder, expr.get("right")),
             loc:
-              (_p = leftExpr.node.loc) !== null && _p !== void 0
-                ? _p
+              (_q = leftExpr.node.loc) !== null && _q !== void 0
+                ? _q
                 : GeneratedSource,
           });
           if (typeof property === "string") {
@@ -141686,8 +141715,8 @@ function lowerExpression(builder, exprPath) {
               property: property,
               value: Object.assign({}, newValuePlace),
               loc:
-                (_q = leftExpr.node.loc) !== null && _q !== void 0
-                  ? _q
+                (_r = leftExpr.node.loc) !== null && _r !== void 0
+                  ? _r
                   : GeneratedSource,
             };
           } else {
@@ -141697,8 +141726,8 @@ function lowerExpression(builder, exprPath) {
               property: Object.assign({}, property),
               value: Object.assign({}, newValuePlace),
               loc:
-                (_r = leftExpr.node.loc) !== null && _r !== void 0
-                  ? _r
+                (_s = leftExpr.node.loc) !== null && _s !== void 0
+                  ? _s
                   : GeneratedSource,
             };
           }
@@ -141707,7 +141736,7 @@ function lowerExpression(builder, exprPath) {
           builder.errors.push({
             reason: `(BuildHIR::lowerExpression) Expected Identifier or MemberExpression, got ${expr.type} lval in AssignmentExpression`,
             severity: exports.ErrorSeverity.Todo,
-            loc: (_s = expr.node.loc) !== null && _s !== void 0 ? _s : null,
+            loc: (_t = expr.node.loc) !== null && _t !== void 0 ? _t : null,
             suggestions: null,
           });
           return { kind: "UnsupportedNode", node: exprNode, loc: exprLoc };
@@ -141733,8 +141762,8 @@ function lowerExpression(builder, exprPath) {
       const expr = exprPath;
       const opening = expr.get("openingElement");
       const openingLoc =
-        (_t = opening.node.loc) !== null && _t !== void 0
-          ? _t
+        (_u = opening.node.loc) !== null && _u !== void 0
+          ? _u
           : GeneratedSource;
       const tag = lowerJsxElementName(builder, opening.get("name"));
       const props = [];
@@ -141752,7 +141781,7 @@ function lowerExpression(builder, exprPath) {
             reason: `(BuildHIR::lowerExpression) Handle ${attribute.type} attributes in JSXElement`,
             severity: exports.ErrorSeverity.Todo,
             loc:
-              (_u = attribute.node.loc) !== null && _u !== void 0 ? _u : null,
+              (_v = attribute.node.loc) !== null && _v !== void 0 ? _v : null,
             suggestions: null,
           });
           continue;
@@ -141766,7 +141795,7 @@ function lowerExpression(builder, exprPath) {
               reason: `(BuildHIR::lowerExpression) Unexpected colon in attribute name \`${name}\``,
               severity: exports.ErrorSeverity.Todo,
               loc:
-                (_v = namePath.node.loc) !== null && _v !== void 0 ? _v : null,
+                (_w = namePath.node.loc) !== null && _w !== void 0 ? _w : null,
               suggestions: null,
             });
           }
@@ -141774,7 +141803,7 @@ function lowerExpression(builder, exprPath) {
           CompilerError.invariant(namePath.isJSXNamespacedName(), {
             reason: "Refinement",
             description: null,
-            loc: (_w = namePath.node.loc) !== null && _w !== void 0 ? _w : null,
+            loc: (_x = namePath.node.loc) !== null && _x !== void 0 ? _x : null,
             suggestions: null,
           });
           const namespace = namePath.node.namespace.name;
@@ -141790,8 +141819,8 @@ function lowerExpression(builder, exprPath) {
             kind: "Primitive",
             value: true,
             loc:
-              (_x = attribute.node.loc) !== null && _x !== void 0
-                ? _x
+              (_y = attribute.node.loc) !== null && _y !== void 0
+                ? _y
                 : GeneratedSource,
           });
         } else {
@@ -141800,11 +141829,11 @@ function lowerExpression(builder, exprPath) {
               reason: `(BuildHIR::lowerExpression) Handle ${valueExpr.type} attribute values in JSXElement`,
               severity: exports.ErrorSeverity.Todo,
               loc:
-                (_z =
-                  (_y = valueExpr.node) === null || _y === void 0
+                (_0 =
+                  (_z = valueExpr.node) === null || _z === void 0
                     ? void 0
-                    : _y.loc) !== null && _z !== void 0
-                  ? _z
+                    : _z.loc) !== null && _0 !== void 0
+                  ? _0
                   : null,
               suggestions: null,
             });
@@ -141816,7 +141845,7 @@ function lowerExpression(builder, exprPath) {
               reason: `(BuildHIR::lowerExpression) Handle ${expression.type} expressions in JSXExpressionContainer within JSXElement`,
               severity: exports.ErrorSeverity.Todo,
               loc:
-                (_0 = valueExpr.node.loc) !== null && _0 !== void 0 ? _0 : null,
+                (_1 = valueExpr.node.loc) !== null && _1 !== void 0 ? _1 : null,
               suggestions: null,
             });
             continue;
@@ -141838,8 +141867,8 @@ function lowerExpression(builder, exprPath) {
           CompilerError.throwTodo({
             reason: `Support <${tagName}> tags where '${tagName}' is a local variable instead of a global`,
             loc:
-              (_1 = openingIdentifier.node.loc) !== null && _1 !== void 0
-                ? _1
+              (_2 = openingIdentifier.node.loc) !== null && _2 !== void 0
+                ? _2
                 : GeneratedSource,
             description: null,
             suggestions: null,
@@ -141865,8 +141894,8 @@ function lowerExpression(builder, exprPath) {
           CompilerError.throwTodo({
             reason: `Support <${tagName}> tags with multiple <${tagName}:enum> values`,
             loc:
-              (_2 = fbtEnumLocations.at(-1)) !== null && _2 !== void 0
-                ? _2
+              (_3 = fbtEnumLocations.at(-1)) !== null && _3 !== void 0
+                ? _3
                 : GeneratedSource,
             description: null,
             suggestions: null,
@@ -141910,11 +141939,11 @@ function lowerExpression(builder, exprPath) {
         loc: exprLoc,
         openingLoc: openingLoc,
         closingLoc:
-          (_4 =
-            (_3 = expr.get("closingElement").node) === null || _3 === void 0
+          (_5 =
+            (_4 = expr.get("closingElement").node) === null || _4 === void 0
               ? void 0
-              : _3.loc) !== null && _4 !== void 0
-            ? _4
+              : _4.loc) !== null && _5 !== void 0
+            ? _5
             : GeneratedSource,
       };
     }
@@ -141938,7 +141967,7 @@ function lowerExpression(builder, exprPath) {
           reason:
             "(BuildHIR::lowerExpression) Handle tagged template with interpolations",
           severity: exports.ErrorSeverity.Todo,
-          loc: (_5 = exprPath.node.loc) !== null && _5 !== void 0 ? _5 : null,
+          loc: (_6 = exprPath.node.loc) !== null && _6 !== void 0 ? _6 : null,
           suggestions: null,
         });
         return { kind: "UnsupportedNode", node: exprNode, loc: exprLoc };
@@ -141947,7 +141976,7 @@ function lowerExpression(builder, exprPath) {
         reason:
           "there should be only one quasi as we don't support interpolations yet",
         description: null,
-        loc: (_6 = expr.node.loc) !== null && _6 !== void 0 ? _6 : null,
+        loc: (_7 = expr.node.loc) !== null && _7 !== void 0 ? _7 : null,
         suggestions: null,
       });
       const value = expr.get("quasi").get("quasis").at(0).node.value;
@@ -141956,7 +141985,7 @@ function lowerExpression(builder, exprPath) {
           reason:
             "(BuildHIR::lowerExpression) Handle tagged template where cooked value is different from raw value",
           severity: exports.ErrorSeverity.Todo,
-          loc: (_7 = exprPath.node.loc) !== null && _7 !== void 0 ? _7 : null,
+          loc: (_8 = exprPath.node.loc) !== null && _8 !== void 0 ? _8 : null,
           suggestions: null,
         });
         return { kind: "UnsupportedNode", node: exprNode, loc: exprLoc };
@@ -141976,7 +142005,7 @@ function lowerExpression(builder, exprPath) {
         builder.errors.push({
           reason: `Unexpected quasi and subexpression lengths in template literal`,
           severity: exports.ErrorSeverity.InvalidJS,
-          loc: (_8 = exprPath.node.loc) !== null && _8 !== void 0 ? _8 : null,
+          loc: (_9 = exprPath.node.loc) !== null && _9 !== void 0 ? _9 : null,
           suggestions: null,
         });
         return { kind: "UnsupportedNode", node: exprNode, loc: exprLoc };
@@ -141985,7 +142014,8 @@ function lowerExpression(builder, exprPath) {
         builder.errors.push({
           reason: `(BuildHIR::lowerAssignment) Handle TSType in TemplateLiteral.`,
           severity: exports.ErrorSeverity.Todo,
-          loc: (_9 = exprPath.node.loc) !== null && _9 !== void 0 ? _9 : null,
+          loc:
+            (_10 = exprPath.node.loc) !== null && _10 !== void 0 ? _10 : null,
           suggestions: null,
         });
         return { kind: "UnsupportedNode", node: exprNode, loc: exprLoc };
@@ -142028,7 +142058,7 @@ function lowerExpression(builder, exprPath) {
           builder.errors.push({
             reason: `Only object properties can be deleted`,
             severity: exports.ErrorSeverity.InvalidJS,
-            loc: (_10 = expr.node.loc) !== null && _10 !== void 0 ? _10 : null,
+            loc: (_11 = expr.node.loc) !== null && _11 !== void 0 ? _11 : null,
             suggestions: [
               {
                 description: "Remove this line",
@@ -142086,7 +142116,7 @@ function lowerExpression(builder, exprPath) {
           reason: `(BuildHIR::lowerExpression) Handle UpdateExpression with ${argument.type} argument`,
           severity: exports.ErrorSeverity.Todo,
           loc:
-            (_11 = exprPath.node.loc) !== null && _11 !== void 0 ? _11 : null,
+            (_12 = exprPath.node.loc) !== null && _12 !== void 0 ? _12 : null,
           suggestions: null,
         });
         return { kind: "UnsupportedNode", node: exprNode, loc: exprLoc };
@@ -142095,15 +142125,15 @@ function lowerExpression(builder, exprPath) {
           reason: `(BuildHIR::lowerExpression) Handle UpdateExpression to variables captured within lambdas.`,
           severity: exports.ErrorSeverity.Todo,
           loc:
-            (_12 = exprPath.node.loc) !== null && _12 !== void 0 ? _12 : null,
+            (_13 = exprPath.node.loc) !== null && _13 !== void 0 ? _13 : null,
           suggestions: null,
         });
         return { kind: "UnsupportedNode", node: exprNode, loc: exprLoc };
       }
       const lvalue = lowerIdentifierForAssignment(
         builder,
-        (_13 = argument.node.loc) !== null && _13 !== void 0
-          ? _13
+        (_14 = argument.node.loc) !== null && _14 !== void 0
+          ? _14
           : GeneratedSource,
         InstructionKind.Reassign,
         argument
@@ -142153,8 +142183,8 @@ function lowerExpression(builder, exprPath) {
         pattern: expr.node.pattern,
         flags: expr.node.flags,
         loc:
-          (_14 = expr.node.loc) !== null && _14 !== void 0
-            ? _14
+          (_15 = expr.node.loc) !== null && _15 !== void 0
+            ? _15
             : GeneratedSource,
       };
     }
@@ -142166,7 +142196,7 @@ function lowerExpression(builder, exprPath) {
       builder.errors.push({
         reason: `(BuildHIR::lowerExpression) Handle ${exprPath.type} expressions`,
         severity: exports.ErrorSeverity.Todo,
-        loc: (_15 = exprPath.node.loc) !== null && _15 !== void 0 ? _15 : null,
+        loc: (_16 = exprPath.node.loc) !== null && _16 !== void 0 ? _16 : null,
         suggestions: null,
       });
       return { kind: "UnsupportedNode", node: exprNode, loc: exprLoc };
@@ -142872,7 +142902,7 @@ function lowerIdentifier(builder, exprPath) {
 function buildTemporaryPlace(builder, loc) {
   const place = {
     kind: "Identifier",
-    identifier: builder.makeTemporary(),
+    identifier: builder.makeTemporary(loc),
     effect: exports.Effect.Unknown,
     reactive: false,
     loc: loc,
@@ -149924,6 +149954,7 @@ const EnvironmentConfigSchema = z.object({
   enableResetCacheOnSourceFileChanges: z.boolean().default(false),
   enablePreserveExistingMemoizationGuarantees: z.boolean().default(false),
   validatePreserveExistingMemoizationGuarantees: z.boolean().default(true),
+  enablePreserveExistingManualUseMemo: z.boolean().default(false),
   enableForest: z.boolean().default(false),
   enableUseTypeAnnotations: z.boolean().default(false),
   enableReactiveScopesInHIR: z.boolean().default(true),
@@ -149943,6 +149974,8 @@ const EnvironmentConfigSchema = z.object({
   throwUnknownException__testonly: z.boolean().default(false),
   enableSharedRuntime__testonly: z.boolean().default(false),
   enableTreatFunctionDepsAsConditional: z.boolean().default(false),
+  disableMemoizationForDebugging: z.boolean().default(false),
+  enableChangeDetectionForDebugging: ExternalFunctionSchema.nullish(),
   enableCustomTypeDefinitionForReanimated: z.boolean().default(false),
   hookPattern: z.string().nullable().default(null),
 });
@@ -150016,6 +150049,17 @@ class Environment {
       new Map(DEFAULT_GLOBALS),
       "f"
     );
+    if (
+      config.disableMemoizationForDebugging &&
+      config.enableChangeDetectionForDebugging != null
+    ) {
+      CompilerError.throwInvalidConfig({
+        reason: `Invalid environment config: the 'disableMemoizationForDebugging' and 'enableChangeDetectionForDebugging' options cannot be used together`,
+        description: null,
+        loc: null,
+        suggestions: null,
+      });
+    }
     for (const [hookName, hook] of this.config.customHooks) {
       CompilerError.invariant(
         !__classPrivateFieldGet(this, _Environment_globals, "f").has(hookName),
@@ -153036,9 +153080,9 @@ function alignObjectMethodScopes(fn) {
 var _Context_blockScopes, _Context_unclosedScopes, _Context_seenScopes;
 function alignReactiveScopesToBlockScopes(fn) {
   const context = new Context$4();
-  visitReactiveFunction(fn, new Visitor$c(), context);
+  visitReactiveFunction(fn, new Visitor$d(), context);
 }
-let Visitor$c = class Visitor extends ReactiveFunctionVisitor {
+let Visitor$d = class Visitor extends ReactiveFunctionVisitor {
   visitID(id, state) {
     state.visitId(id);
   }
@@ -153188,9 +153232,9 @@ class CheckInstructionsAgainstScopesVisitor extends ReactiveFunctionVisitor {
   }
 }
 function assertWellFormedBreakTargets(fn) {
-  visitReactiveFunction(fn, new Visitor$b(), new Set());
+  visitReactiveFunction(fn, new Visitor$c(), new Set());
 }
-let Visitor$b = class Visitor extends ReactiveFunctionVisitor {
+let Visitor$c = class Visitor extends ReactiveFunctionVisitor {
   visitTerminal(stmt, seenLabels) {
     if (stmt.label != null) {
       seenLabels.add(stmt.label.id);
@@ -154591,13 +154635,13 @@ function codegenFunction(fn, uniqueIdentifiers) {
     uniqueIdentifiers,
     null
   );
-  let hotModuleReloadState = null;
+  let fastRefreshState = null;
   if (
     fn.env.config.enableResetCacheOnSourceFileChanges &&
     fn.env.code !== null
   ) {
     const hash = crypto$2.createHmac("sha256", fn.env.code).digest("hex");
-    hotModuleReloadState = { cacheIndex: cx.nextCacheIndex, hash: hash };
+    fastRefreshState = { cacheIndex: cx.nextCacheIndex, hash: hash };
   }
   const compileResult = codegenReactiveFunction(cx, fn);
   if (compileResult.isErr()) {
@@ -154629,7 +154673,7 @@ function codegenFunction(fn, uniqueIdentifiers) {
         ),
       ])
     );
-    if (hotModuleReloadState !== null) {
+    if (fastRefreshState !== null) {
       const index = cx.synthesizeName("$i");
       preface.push(
         t__namespace.ifStatement(
@@ -154637,10 +154681,10 @@ function codegenFunction(fn, uniqueIdentifiers) {
             "!==",
             t__namespace.memberExpression(
               t__namespace.identifier(cx.synthesizeName("$")),
-              t__namespace.numericLiteral(hotModuleReloadState.cacheIndex),
+              t__namespace.numericLiteral(fastRefreshState.cacheIndex),
               true
             ),
-            t__namespace.stringLiteral(hotModuleReloadState.hash)
+            t__namespace.stringLiteral(fastRefreshState.hash)
           ),
           t__namespace.blockStatement([
             t__namespace.forStatement(
@@ -154685,10 +154729,10 @@ function codegenFunction(fn, uniqueIdentifiers) {
                 "=",
                 t__namespace.memberExpression(
                   t__namespace.identifier(cx.synthesizeName("$")),
-                  t__namespace.numericLiteral(hotModuleReloadState.cacheIndex),
+                  t__namespace.numericLiteral(fastRefreshState.cacheIndex),
                   true
                 ),
-                t__namespace.stringLiteral(hotModuleReloadState.hash)
+                t__namespace.stringLiteral(fastRefreshState.hash)
               )
             ),
           ])
@@ -154930,6 +154974,7 @@ function wrapCacheDep(cx, value) {
 function codegenReactiveScope(cx, statements, scope, block) {
   const cacheStoreStatements = [];
   const cacheLoadStatements = [];
+  const cacheLoads = [];
   const changeExpressions = [];
   const changeExpressionComments = [];
   const outputComments = [];
@@ -154993,32 +155038,11 @@ function codegenReactiveScope(cx, statements, scope, block) {
         ])
       );
     }
-    cacheStoreStatements.push(
-      t__namespace.expressionStatement(
-        t__namespace.assignmentExpression(
-          "=",
-          t__namespace.memberExpression(
-            t__namespace.identifier(cx.synthesizeName("$")),
-            t__namespace.numericLiteral(index),
-            true
-          ),
-          wrapCacheDep(cx, name)
-        )
-      )
-    );
-    cacheLoadStatements.push(
-      t__namespace.expressionStatement(
-        t__namespace.assignmentExpression(
-          "=",
-          name,
-          t__namespace.memberExpression(
-            t__namespace.identifier(cx.synthesizeName("$")),
-            t__namespace.numericLiteral(index),
-            true
-          )
-        )
-      )
-    );
+    cacheLoads.push({
+      name: name,
+      index: index,
+      value: wrapCacheDep(cx, name),
+    });
     cx.declare(identifier);
   }
   for (const reassignment of scope.reassignments) {
@@ -155028,32 +155052,11 @@ function codegenReactiveScope(cx, statements, scope, block) {
     }
     const name = convertIdentifier(reassignment);
     outputComments.push(name.name);
-    cacheStoreStatements.push(
-      t__namespace.expressionStatement(
-        t__namespace.assignmentExpression(
-          "=",
-          t__namespace.memberExpression(
-            t__namespace.identifier(cx.synthesizeName("$")),
-            t__namespace.numericLiteral(index),
-            true
-          ),
-          wrapCacheDep(cx, name)
-        )
-      )
-    );
-    cacheLoadStatements.push(
-      t__namespace.expressionStatement(
-        t__namespace.assignmentExpression(
-          "=",
-          name,
-          t__namespace.memberExpression(
-            t__namespace.identifier(cx.synthesizeName("$")),
-            t__namespace.numericLiteral(index),
-            true
-          )
-        )
-      )
-    );
+    cacheLoads.push({
+      name: name,
+      index: index,
+      value: wrapCacheDep(cx, name),
+    });
   }
   let testCondition = changeExpressions.reduce((acc, ident) => {
     if (acc == null) {
@@ -155084,14 +155087,153 @@ function codegenReactiveScope(cx, statements, scope, block) {
       )
     );
   }
+  if (cx.env.config.disableMemoizationForDebugging) {
+    CompilerError.invariant(
+      cx.env.config.enableChangeDetectionForDebugging == null,
+      {
+        reason: `Expected to not have both change detection enabled and memoization disabled`,
+        description: `Incompatible config options`,
+        loc: null,
+      }
+    );
+    testCondition = t__namespace.logicalExpression(
+      "||",
+      testCondition,
+      t__namespace.booleanLiteral(true)
+    );
+  }
   let computationBlock = codegenBlock(cx, block);
-  computationBlock.body.push(...cacheStoreStatements);
-  const memoBlock = t__namespace.blockStatement(cacheLoadStatements);
-  const memoStatement = t__namespace.ifStatement(
-    testCondition,
-    computationBlock,
-    memoBlock
-  );
+  let memoStatement;
+  if (
+    cx.env.config.enableChangeDetectionForDebugging != null &&
+    changeExpressions.length > 0
+  ) {
+    const loc =
+      typeof scope.loc === "symbol"
+        ? "unknown location"
+        : `(${scope.loc.start.line}:${scope.loc.end.line})`;
+    const detectionFunction =
+      cx.env.config.enableChangeDetectionForDebugging.importSpecifierName;
+    const cacheLoadOldValueStatements = [];
+    const changeDetectionStatements = [];
+    const idempotenceDetectionStatements = [];
+    for (const { name: name, index: index, value: value } of cacheLoads) {
+      const loadName = cx.synthesizeName(`old$${name.name}`);
+      const slot = t__namespace.memberExpression(
+        t__namespace.identifier(cx.synthesizeName("$")),
+        t__namespace.numericLiteral(index),
+        true
+      );
+      cacheStoreStatements.push(
+        t__namespace.expressionStatement(
+          t__namespace.assignmentExpression("=", slot, value)
+        )
+      );
+      cacheLoadOldValueStatements.push(
+        t__namespace.variableDeclaration("let", [
+          t__namespace.variableDeclarator(
+            t__namespace.identifier(loadName),
+            slot
+          ),
+        ])
+      );
+      changeDetectionStatements.push(
+        t__namespace.expressionStatement(
+          t__namespace.callExpression(
+            t__namespace.identifier(detectionFunction),
+            [
+              t__namespace.identifier(loadName),
+              name,
+              t__namespace.stringLiteral(name.name),
+              t__namespace.stringLiteral(cx.fnName),
+              t__namespace.stringLiteral("cached"),
+              t__namespace.stringLiteral(loc),
+            ]
+          )
+        )
+      );
+      idempotenceDetectionStatements.push(
+        t__namespace.expressionStatement(
+          t__namespace.callExpression(
+            t__namespace.identifier(detectionFunction),
+            [
+              slot,
+              name,
+              t__namespace.stringLiteral(name.name),
+              t__namespace.stringLiteral(cx.fnName),
+              t__namespace.stringLiteral("recomputed"),
+              t__namespace.stringLiteral(loc),
+            ]
+          )
+        )
+      );
+      idempotenceDetectionStatements.push(
+        t__namespace.expressionStatement(
+          t__namespace.assignmentExpression("=", name, slot)
+        )
+      );
+    }
+    const condition = cx.synthesizeName("condition");
+    memoStatement = t__namespace.blockStatement([
+      ...computationBlock.body,
+      t__namespace.variableDeclaration("let", [
+        t__namespace.variableDeclarator(
+          t__namespace.identifier(condition),
+          testCondition
+        ),
+      ]),
+      t__namespace.ifStatement(
+        t__namespace.unaryExpression("!", t__namespace.identifier(condition)),
+        t__namespace.blockStatement([
+          ...cacheLoadOldValueStatements,
+          ...changeDetectionStatements,
+        ])
+      ),
+      ...cacheStoreStatements,
+      t__namespace.ifStatement(
+        t__namespace.identifier(condition),
+        t__namespace.blockStatement([
+          ...computationBlock.body,
+          ...idempotenceDetectionStatements,
+        ])
+      ),
+    ]);
+  } else {
+    for (const { name: name, index: index, value: value } of cacheLoads) {
+      cacheStoreStatements.push(
+        t__namespace.expressionStatement(
+          t__namespace.assignmentExpression(
+            "=",
+            t__namespace.memberExpression(
+              t__namespace.identifier(cx.synthesizeName("$")),
+              t__namespace.numericLiteral(index),
+              true
+            ),
+            value
+          )
+        )
+      );
+      cacheLoadStatements.push(
+        t__namespace.expressionStatement(
+          t__namespace.assignmentExpression(
+            "=",
+            name,
+            t__namespace.memberExpression(
+              t__namespace.identifier(cx.synthesizeName("$")),
+              t__namespace.numericLiteral(index),
+              true
+            )
+          )
+        )
+      );
+    }
+    computationBlock.body.push(...cacheStoreStatements);
+    memoStatement = t__namespace.ifStatement(
+      testCondition,
+      computationBlock,
+      t__namespace.blockStatement(cacheLoadStatements)
+    );
+  }
   if (cx.env.config.enableMemoizationComments) {
     if (changeExpressionComments.length) {
       t__namespace.addComment(
@@ -155128,9 +155270,9 @@ function codegenReactiveScope(cx, statements, scope, block) {
         true
       );
     }
-    if (memoBlock.body.length > 0) {
+    if (cacheLoadStatements.length > 0) {
       t__namespace.addComment(
-        memoBlock.body[0],
+        cacheLoadStatements[0],
         "leading",
         ` Inputs did not change, use cached value`,
         true
@@ -156651,7 +156793,7 @@ function convertIdentifier(identifier) {
 }
 function extractScopeDeclarationsFromDestructuring(fn) {
   const state = new State$2(fn.env);
-  visitReactiveFunction(fn, new Visitor$a(), state);
+  visitReactiveFunction(fn, new Visitor$b(), state);
 }
 let State$2 = class State {
   constructor(env) {
@@ -156659,7 +156801,7 @@ let State$2 = class State {
     this.env = env;
   }
 };
-let Visitor$a = class Visitor extends ReactiveFunctionTransform {
+let Visitor$b = class Visitor extends ReactiveFunctionTransform {
   visitScope(scope, state) {
     for (const [, declaration] of scope.scope.declarations) {
       state.declared.add(declaration.identifier.id);
@@ -156816,10 +156958,10 @@ let Transform$5 = class Transform extends ReactiveFunctionTransform {
 };
 function mergeOverlappingReactiveScopes(fn) {
   const context = new Context$1();
-  visitReactiveFunction(fn, new Visitor$9(), context);
+  visitReactiveFunction(fn, new Visitor$a(), context);
   context.complete();
 }
-let Visitor$9 = class Visitor extends ReactiveFunctionVisitor {
+let Visitor$a = class Visitor extends ReactiveFunctionVisitor {
   visitID(id, state) {
     state.visitId(id);
   }
@@ -157258,7 +157400,7 @@ function scopeIsEligibleForMerging(scopeBlock) {
     isAlwaysInvalidatingType(decl.identifier.type)
   );
 }
-let Visitor$8 = class Visitor extends ReactiveFunctionVisitor {
+let Visitor$9 = class Visitor extends ReactiveFunctionVisitor {
   visitScope(block, state) {
     this.traverseScope(block, state);
     for (const dep of block.scope.dependencies) {
@@ -157312,7 +157454,7 @@ function promoteUsedTemporaries(fn) {
       promoteIdentifier(place.identifier, state);
     }
   }
-  visitReactiveFunction(fn, new Visitor$8(), state);
+  visitReactiveFunction(fn, new Visitor$9(), state);
 }
 function promoteIdentifier(identifier, state) {
   CompilerError.invariant(identifier.name === null, {
@@ -157355,10 +157497,10 @@ let Transform$3 = class Transform extends ReactiveFunctionTransform {
         });
         const instructions = scopeBlock.instructions;
         const loc = earlyReturnValue.loc;
-        const sentinelTemp = createTemporaryPlace(this.env);
-        const symbolTemp = createTemporaryPlace(this.env);
-        const forTemp = createTemporaryPlace(this.env);
-        const argTemp = createTemporaryPlace(this.env);
+        const sentinelTemp = createTemporaryPlace(this.env, loc);
+        const symbolTemp = createTemporaryPlace(this.env, loc);
+        const forTemp = createTemporaryPlace(this.env, loc);
+        const argTemp = createTemporaryPlace(this.env, loc);
         scopeBlock.instructions = [
           {
             kind: "instruction",
@@ -157462,7 +157604,7 @@ let Transform$3 = class Transform extends ReactiveFunctionTransform {
       if (state.earlyReturnValue !== null) {
         earlyReturnValue = state.earlyReturnValue;
       } else {
-        const identifier = createTemporaryPlace(this.env).identifier;
+        const identifier = createTemporaryPlace(this.env, loc).identifier;
         promoteTemporary(identifier);
         earlyReturnValue = {
           label: this.env.nextBlockId,
@@ -158888,9 +159030,9 @@ class PropagationVisitor extends ReactiveFunctionVisitor {
 }
 function pruneHoistedContexts(fn) {
   const hoistedIdentifiers = new Set();
-  visitReactiveFunction(fn, new Visitor$7(), hoistedIdentifiers);
+  visitReactiveFunction(fn, new Visitor$8(), hoistedIdentifiers);
 }
-let Visitor$7 = class Visitor extends ReactiveFunctionTransform {
+let Visitor$8 = class Visitor extends ReactiveFunctionTransform {
   transformInstruction(instruction, state) {
     this.visitInstruction(instruction, state);
     if (
@@ -158926,12 +159068,12 @@ let Visitor$7 = class Visitor extends ReactiveFunctionTransform {
 };
 function validateMemoizedEffectDependencies(fn) {
   const errors = new CompilerError();
-  visitReactiveFunction(fn, new Visitor$6(), errors);
+  visitReactiveFunction(fn, new Visitor$7(), errors);
   if (errors.hasErrors()) {
     throw errors;
   }
 }
-let Visitor$6 = class Visitor extends ReactiveFunctionVisitor {
+let Visitor$7 = class Visitor extends ReactiveFunctionVisitor {
   constructor() {
     super(...arguments);
     this.scopes = new Set();
@@ -159857,16 +159999,55 @@ function inferBlock(env, functionEffects, state, block) {
         break;
       }
       case "JsxExpression": {
-        valueKind = {
+        if (instrValue.tag.kind === "Identifier") {
+          state.referenceAndRecordEffects(
+            instrValue.tag,
+            exports.Effect.Freeze,
+            ValueReason.JsxCaptured,
+            functionEffects
+          );
+        }
+        if (instrValue.children !== null) {
+          for (const child of instrValue.children) {
+            state.referenceAndRecordEffects(
+              child,
+              exports.Effect.Freeze,
+              ValueReason.JsxCaptured,
+              functionEffects
+            );
+          }
+        }
+        for (const attr of instrValue.props) {
+          if (attr.kind === "JsxSpreadAttribute") {
+            state.referenceAndRecordEffects(
+              attr.argument,
+              exports.Effect.Freeze,
+              ValueReason.JsxCaptured,
+              functionEffects
+            );
+          } else {
+            const propEffects = [];
+            state.referenceAndRecordEffects(
+              attr.place,
+              exports.Effect.Freeze,
+              ValueReason.JsxCaptured,
+              propEffects
+            );
+            functionEffects.push(
+              ...propEffects.filter(
+                (propEffect) => propEffect.kind !== "GlobalMutation"
+              )
+            );
+          }
+        }
+        state.initialize(instrValue, {
           kind: exports.ValueKind.Frozen,
           reason: new Set([ValueReason.Other]),
           context: new Set(),
-        };
-        effect = {
-          kind: exports.Effect.Freeze,
-          reason: ValueReason.JsxCaptured,
-        };
-        break;
+        });
+        state.define(instr.lvalue, instrValue);
+        instr.lvalue.effect = exports.Effect.ConditionallyMutate;
+        continue;
       }
       case "JsxFragment": {
         valueKind = {
@@ -161285,7 +161466,7 @@ class PruneScopesTransform extends ReactiveFunctionTransform {
     return { kind: "keep" };
   }
 }
-let Visitor$5 = class Visitor extends ReactiveFunctionVisitor {
+let Visitor$6 = class Visitor extends ReactiveFunctionVisitor {
   visitLValue(id, lvalue, state) {
     this.visitPlace(id, lvalue, state);
   }
@@ -161296,16 +161477,16 @@ let Visitor$5 = class Visitor extends ReactiveFunctionVisitor {
   }
 };
 function collectReactiveIdentifiers(fn) {
-  const visitor = new Visitor$5();
+  const visitor = new Visitor$6();
   const state = new Set();
   visitReactiveFunction(fn, visitor, state);
   return state;
 }
 function pruneNonReactiveDependencies(fn) {
   const reactiveIdentifiers = collectReactiveIdentifiers(fn);
-  visitReactiveFunction(fn, new Visitor$4(), reactiveIdentifiers);
+  visitReactiveFunction(fn, new Visitor$5(), reactiveIdentifiers);
 }
-let Visitor$4 = class Visitor extends ReactiveFunctionVisitor {
+let Visitor$5 = class Visitor extends ReactiveFunctionVisitor {
   visitInstruction(instruction, state) {
     this.traverseInstruction(instruction, state);
     const { lvalue: lvalue, value: value } = instruction;
@@ -161381,12 +161562,12 @@ let Visitor$4 = class Visitor extends ReactiveFunctionVisitor {
 };
 function pruneTemporaryLValues(fn) {
   const lvalues = new Map();
-  visitReactiveFunction(fn, new Visitor$3(), lvalues);
+  visitReactiveFunction(fn, new Visitor$4(), lvalues);
   for (const [, instr] of lvalues) {
     instr.lvalue = null;
   }
 }
-let Visitor$3 = class Visitor extends ReactiveFunctionVisitor {
+let Visitor$4 = class Visitor extends ReactiveFunctionVisitor {
   visitPlace(id, place, state) {
     state.delete(place.identifier);
   }
@@ -161470,10 +161651,10 @@ function hasOwnDeclaration(block) {
 }
 function collectReferencedGlobals(fn) {
   const identifiers = new Set();
-  visitReactiveFunction(fn, new Visitor$2(), identifiers);
+  visitReactiveFunction(fn, new Visitor$3(), identifiers);
   return identifiers;
 }
-let Visitor$2 = class Visitor extends ReactiveFunctionVisitor {
+let Visitor$3 = class Visitor extends ReactiveFunctionVisitor {
   visitValue(id, value, state) {
     this.traverseValue(id, value, state);
     if (value.kind === "FunctionExpression" || value.kind === "ObjectMethod") {
@@ -161494,7 +161675,7 @@ var _Scopes_instances,
 function renameVariables(fn) {
   const globals = collectReferencedGlobals(fn);
   const scopes = new Scopes(globals);
-  renameVariablesImpl(fn, new Visitor$1(), scopes);
+  renameVariablesImpl(fn, new Visitor$2(), scopes);
   return new Set([...scopes.names, ...globals]);
 }
 function renameVariablesImpl(fn, visitor, scopes) {
@@ -161509,7 +161690,7 @@ function renameVariablesImpl(fn, visitor, scopes) {
     visitReactiveFunction(fn, visitor, scopes);
   });
 }
-let Visitor$1 = class Visitor extends ReactiveFunctionVisitor {
+let Visitor$2 = class Visitor extends ReactiveFunctionVisitor {
   visitParam(place, state) {
     state.visit(place.identifier);
   }
@@ -161699,6 +161880,7 @@ function inferReactiveScopeVariables(fn) {
         reassignments: new Set(),
         earlyReturnValue: null,
         merged: new Set(),
+        loc: identifier.loc,
       };
       scopes.set(groupIdentifier, scope);
     } else {
@@ -161708,6 +161890,7 @@ function inferReactiveScopeVariables(fn) {
       scope.range.end = makeInstructionId(
         Math.max(scope.range.end, identifier.mutableRange.end)
       );
+      scope.loc = mergeLocation(scope.loc, identifier.loc);
     }
     identifier.scope = scope;
     identifier.mutableRange = scope.range;
@@ -161736,6 +161919,24 @@ function inferReactiveScopeVariables(fn) {
     }
   }
 }
+function mergeLocation(l, r) {
+  if (l === GeneratedSource) {
+    return r;
+  } else if (r === GeneratedSource) {
+    return l;
+  } else {
+    return {
+      start: {
+        line: Math.min(l.start.line, r.start.line),
+        column: Math.min(l.start.column, r.start.column),
+      },
+      end: {
+        line: Math.max(l.end.line, r.end.line),
+        column: Math.max(l.end.column, r.end.column),
+      },
+    };
+  }
+}
 function isMutable({ id: id }, place) {
   const range = place.identifier.mutableRange;
   return id >= range.start && id < range.end;
@@ -162537,6 +162738,7 @@ class SSABuilder {
       mutableRange: { start: makeInstructionId(0), end: makeInstructionId(0) },
       scope: null,
       type: makeType(),
+      loc: oldId.loc,
     };
   }
   defineContext(oldPlace) {
@@ -163270,6 +163472,25 @@ function evaluateInstruction(env, constants, instr) {
       }
       return null;
     }
+    case "UnaryExpression": {
+      switch (value.operator) {
+        case "!": {
+          const operand = read(constants, value.value);
+          if (operand !== null && operand.kind === "Primitive") {
+            const result = {
+              kind: "Primitive",
+              value: !operand.value,
+              loc: value.loc,
+            };
+            instr.value = result;
+            return result;
+          }
+          return null;
+        }
+        default:
+          return null;
+      }
+    }
     case "BinaryExpression": {
       const lhsValue = read(constants, value.left);
       const rhsValue = read(constants, value.right);
@@ -163309,6 +163530,62 @@ function evaluateInstruction(env, constants, instr) {
             }
             break;
           }
+          case "|": {
+            if (typeof lhs === "number" && typeof rhs === "number") {
+              result = { kind: "Primitive", value: lhs | rhs, loc: value.loc };
+            }
+            break;
+          }
+          case "&": {
+            if (typeof lhs === "number" && typeof rhs === "number") {
+              result = { kind: "Primitive", value: lhs & rhs, loc: value.loc };
+            }
+            break;
+          }
+          case "^": {
+            if (typeof lhs === "number" && typeof rhs === "number") {
+              result = { kind: "Primitive", value: lhs ^ rhs, loc: value.loc };
+            }
+            break;
+          }
+          case "<<": {
+            if (typeof lhs === "number" && typeof rhs === "number") {
+              result = { kind: "Primitive", value: lhs << rhs, loc: value.loc };
+            }
+            break;
+          }
+          case ">>": {
+            if (typeof lhs === "number" && typeof rhs === "number") {
+              result = { kind: "Primitive", value: lhs >> rhs, loc: value.loc };
+            }
+            break;
+          }
+          case ">>>": {
+            if (typeof lhs === "number" && typeof rhs === "number") {
+              result = {
+                kind: "Primitive",
+                value: lhs >>> rhs,
+                loc: value.loc,
+              };
+            }
+            break;
+          }
+          case "%": {
+            if (typeof lhs === "number" && typeof rhs === "number") {
+              result = { kind: "Primitive", value: lhs % rhs, loc: value.loc };
+            }
+            break;
+          }
+          case "**": {
+            if (typeof lhs === "number" && typeof rhs === "number") {
+              result = {
+                kind: "Primitive",
+                value: Math.pow(lhs, rhs),
+                loc: value.loc,
+              };
+            }
+            break;
+          }
           case "<": {
             if (typeof lhs === "number" && typeof rhs === "number") {
               result = { kind: "Primitive", value: lhs < rhs, loc: value.loc };
@@ -164285,7 +164562,7 @@ function makeManualMemoizationMarkers(
   return [
     {
       id: makeInstructionId(0),
-      lvalue: createTemporaryPlace(env),
+      lvalue: createTemporaryPlace(env, fnExpr.loc),
       value: {
         kind: "StartMemoize",
         manualMemoId: manualMemoId,
@@ -164296,7 +164573,7 @@ function makeManualMemoizationMarkers(
     },
     {
       id: makeInstructionId(0),
-      lvalue: createTemporaryPlace(env),
+      lvalue: createTemporaryPlace(env, fnExpr.loc),
       value: {
         kind: "FinishMemoize",
         manualMemoId: manualMemoId,
@@ -164819,6 +165096,7 @@ function rewriteBlock(env, block, returnTarget, returnValue) {
         name: null,
         scope: null,
         type: makeType(),
+        loc: terminal.loc,
       },
       kind: "Identifier",
       reactive: false,
@@ -164858,6 +165136,7 @@ function declareTemporary(env, block, result) {
         name: null,
         scope: null,
         type: makeType(),
+        loc: result.loc,
       },
       kind: "Identifier",
       reactive: false,
@@ -166064,7 +166343,12 @@ function validateNoRefAccessInRenderImpl(fn, refAccessingFunctions) {
         case "MethodCall": {
           if (!isEffectHook(instr.value.property.identifier)) {
             for (const operand of eachInstructionValueOperand(instr.value)) {
-              validateNoRefAccess(errors, refAccessingFunctions, operand);
+              validateNoRefAccess(
+                errors,
+                refAccessingFunctions,
+                operand,
+                operand.loc
+              );
             }
           }
           break;
@@ -166084,7 +166368,12 @@ function validateNoRefAccessInRenderImpl(fn, refAccessingFunctions) {
               });
             }
             for (const operand of eachInstructionValueOperand(instr.value)) {
-              validateNoRefAccess(errors, refAccessingFunctions, operand);
+              validateNoRefAccess(
+                errors,
+                refAccessingFunctions,
+                operand,
+                operand.loc
+              );
             }
           }
           break;
@@ -166092,7 +166381,30 @@ function validateNoRefAccessInRenderImpl(fn, refAccessingFunctions) {
         case "ObjectExpression":
         case "ArrayExpression": {
           for (const operand of eachInstructionValueOperand(instr.value)) {
-            validateNoRefAccess(errors, refAccessingFunctions, operand);
+            validateNoRefAccess(
+              errors,
+              refAccessingFunctions,
+              operand,
+              operand.loc
+            );
+          }
+          break;
+        }
+        case "PropertyDelete":
+        case "PropertyStore":
+        case "ComputedDelete":
+        case "ComputedStore": {
+          validateNoRefAccess(
+            errors,
+            refAccessingFunctions,
+            instr.value.object,
+            instr.loc
+          );
+          for (const operand of eachInstructionValueOperand(instr.value)) {
+            if (operand === instr.value.object) {
+              continue;
+            }
+            validateNoRefValueAccess(errors, refAccessingFunctions, operand);
           }
           break;
         }
@@ -166114,14 +166426,10 @@ function validateNoRefAccessInRenderImpl(fn, refAccessingFunctions) {
     return Ok(undefined);
   }
 }
-function validateNoRefValueAccess(
-  errors,
-  unconditionalSetStateFunctions,
-  operand
-) {
+function validateNoRefValueAccess(errors, refAccessingFunctions, operand) {
   if (
     isRefValueType(operand.identifier) ||
-    unconditionalSetStateFunctions.has(operand.identifier.id)
+    refAccessingFunctions.has(operand.identifier.id)
   ) {
     errors.push({
       severity: exports.ErrorSeverity.InvalidReact,
@@ -166133,18 +166441,22 @@ function validateNoRefValueAccess(
     });
   }
 }
-function validateNoRefAccess(errors, unconditionalSetStateFunctions, operand) {
+function validateNoRefAccess(errors, refAccessingFunctions, operand, loc) {
   if (
     isRefValueType(operand.identifier) ||
     isUseRefType(operand.identifier) ||
-    unconditionalSetStateFunctions.has(operand.identifier.id)
+    refAccessingFunctions.has(operand.identifier.id)
   ) {
     errors.push({
       severity: exports.ErrorSeverity.InvalidReact,
       reason:
         "Ref values (the `current` property) may not be accessed during render. (https://react.dev/reference/react/useRef)",
-      loc: operand.loc,
-      description: `Cannot access ref value at ${printPlace(operand)}`,
+      loc: loc,
+      description:
+        operand.identifier.name !== null &&
+        operand.identifier.name.kind === "named"
+          ? `Cannot access ref value \`${operand.identifier.name.value}\``
+          : null,
       suggestions: null,
     });
   }
@@ -166235,7 +166547,7 @@ function validateNonSetState(errors, unconditionalSetStateFunctions, operand) {
 }
 function validatePreservedManualMemoization(fn) {
   const state = { errors: new CompilerError(), manualMemoState: null };
-  visitReactiveFunction(fn, new Visitor(), state);
+  visitReactiveFunction(fn, new Visitor$1(), state);
   if (state.errors.hasErrors()) {
     throw state.errors;
   }
@@ -166357,7 +166669,7 @@ function validateInferredDep(
     suggestions: null,
   });
 }
-class Visitor extends ReactiveFunctionVisitor {
+let Visitor$1 = class Visitor extends ReactiveFunctionVisitor {
   constructor() {
     super(...arguments);
     this.scopes = new Set();
@@ -166526,7 +166838,7 @@ class Visitor extends ReactiveFunctionVisitor {
       }
     }
   }
-}
+};
 function isUnmemoized(operand, scopes) {
   return operand.scope != null && !scopes.has(operand.scope.id);
 }
@@ -166598,6 +166910,216 @@ function validateUseMemo(fn) {
     }
   }
 }
+class Visitor extends ReactiveFunctionVisitor {
+  constructor(env, aliases, paths) {
+    super();
+    this.map = new Map();
+    this.aliases = aliases;
+    this.paths = paths;
+    this.env = env;
+  }
+  join(values) {
+    function join2(l, r) {
+      if (l === "Update" || r === "Update") {
+        return "Update";
+      } else if (l === "Create" || r === "Create") {
+        return "Create";
+      } else if (l === "Unknown" || r === "Unknown") {
+        return "Unknown";
+      }
+      assertExhaustive(r, `Unhandled variable kind ${r}`);
+    }
+    return values.reduce(join2, "Unknown");
+  }
+  isCreateOnlyHook(id) {
+    return isUseStateType(id) || isUseRefType(id);
+  }
+  visitPlace(_, place, state) {
+    var _a;
+    this.map.set(
+      place.identifier.id,
+      this.join([
+        state,
+        (_a = this.map.get(place.identifier.id)) !== null && _a !== void 0
+          ? _a
+          : "Unknown",
+      ])
+    );
+  }
+  visitBlock(block, state) {
+    super.visitBlock([...block].reverse(), state);
+  }
+  visitInstruction(instruction) {
+    const state = this.join(
+      [...eachInstructionLValue(instruction)].map((operand) => {
+        var _a;
+        return (_a = this.map.get(operand.identifier.id)) !== null &&
+          _a !== void 0
+          ? _a
+          : "Unknown";
+      })
+    );
+    const visitCallOrMethodNonArgs = () => {
+      switch (instruction.value.kind) {
+        case "CallExpression": {
+          this.visitPlace(instruction.id, instruction.value.callee, state);
+          break;
+        }
+        case "MethodCall": {
+          this.visitPlace(instruction.id, instruction.value.property, state);
+          this.visitPlace(instruction.id, instruction.value.receiver, state);
+          break;
+        }
+      }
+    };
+    const isHook = () => {
+      let callee = null;
+      switch (instruction.value.kind) {
+        case "CallExpression": {
+          callee = instruction.value.callee.identifier;
+          break;
+        }
+        case "MethodCall": {
+          callee = instruction.value.property.identifier;
+          break;
+        }
+      }
+      return callee != null && getHookKind(this.env, callee) != null;
+    };
+    switch (instruction.value.kind) {
+      case "CallExpression":
+      case "MethodCall": {
+        if (
+          instruction.lvalue &&
+          this.isCreateOnlyHook(instruction.lvalue.identifier)
+        ) {
+          [...eachCallArgument(instruction.value.args)].forEach((operand) =>
+            this.visitPlace(instruction.id, operand, "Create")
+          );
+          visitCallOrMethodNonArgs();
+        } else {
+          this.traverseInstruction(instruction, isHook() ? "Update" : state);
+        }
+        break;
+      }
+      default: {
+        this.traverseInstruction(instruction, state);
+      }
+    }
+  }
+  visitScope(scope) {
+    const state = this.join(
+      [
+        ...scope.scope.declarations.keys(),
+        ...[...scope.scope.reassignments.values()].map((ident) => ident.id),
+      ].map((id) => {
+        var _a;
+        return (_a = this.map.get(id)) !== null && _a !== void 0
+          ? _a
+          : "Unknown";
+      })
+    );
+    super.visitScope(scope, state);
+    [...scope.scope.dependencies].forEach((ident) => {
+      var _a;
+      let target =
+        (_a = this.aliases.find(ident.identifier.id)) !== null && _a !== void 0
+          ? _a
+          : ident.identifier.id;
+      ident.path.forEach((key) => {
+        var _a;
+        target &&
+          (target =
+            (_a = this.paths.get(target)) === null || _a === void 0
+              ? void 0
+              : _a.get(key));
+      });
+      if (target && this.map.get(target) === "Create") {
+        scope.scope.dependencies.delete(ident);
+      }
+    });
+  }
+  visitTerminal(stmt, state) {
+    CompilerError.invariant(state !== "Create", {
+      reason: "Visiting a terminal statement with state 'Create'",
+      loc: stmt.terminal.loc,
+    });
+    super.visitTerminal(stmt, state);
+  }
+  visitReactiveFunctionValue(_id, _dependencies, fn, state) {
+    visitReactiveFunction(fn, this, state);
+  }
+}
+function pruneInitializationDependencies(fn) {
+  const [aliases, paths] = getAliases(fn);
+  visitReactiveFunction(fn, new Visitor(fn.env, aliases, paths), "Update");
+}
+function update(map, key, path, value) {
+  var _a;
+  const inner = (_a = map.get(key)) !== null && _a !== void 0 ? _a : new Map();
+  inner.set(path, value);
+  map.set(key, inner);
+}
+class AliasVisitor extends ReactiveFunctionVisitor {
+  constructor() {
+    super(...arguments);
+    this.scopeIdentifiers = new DisjointSet();
+    this.scopePaths = new Map();
+  }
+  visitInstruction(instr) {
+    if (
+      instr.value.kind === "StoreLocal" ||
+      instr.value.kind === "StoreContext"
+    ) {
+      this.scopeIdentifiers.union([
+        instr.value.lvalue.place.identifier.id,
+        instr.value.value.identifier.id,
+      ]);
+    } else if (
+      instr.value.kind === "LoadLocal" ||
+      instr.value.kind === "LoadContext"
+    ) {
+      instr.lvalue &&
+        this.scopeIdentifiers.union([
+          instr.lvalue.identifier.id,
+          instr.value.place.identifier.id,
+        ]);
+    } else if (instr.value.kind === "PropertyLoad") {
+      instr.lvalue &&
+        update(
+          this.scopePaths,
+          instr.value.object.identifier.id,
+          instr.value.property,
+          instr.lvalue.identifier.id
+        );
+    } else if (instr.value.kind === "PropertyStore") {
+      update(
+        this.scopePaths,
+        instr.value.object.identifier.id,
+        instr.value.property,
+        instr.value.value.identifier.id
+      );
+    }
+  }
+}
+function getAliases(fn) {
+  var _a, _b;
+  const visitor = new AliasVisitor();
+  visitReactiveFunction(fn, visitor, null);
+  let disjoint = visitor.scopeIdentifiers;
+  let scopePaths = new Map();
+  for (const [key, value] of visitor.scopePaths) {
+    for (const [path, id] of value) {
+      update(
+        scopePaths,
+        (_a = disjoint.find(key)) !== null && _a !== void 0 ? _a : key,
+        path,
+        (_b = disjoint.find(id)) !== null && _b !== void 0 ? _b : id
+      );
+    }
+  }
+  return [disjoint, scopePaths];
+}
 function* run(
   func,
   config,
@@ -166632,8 +167154,14 @@ function* runWithEnvironment(func, env) {
   yield log({ kind: "hir", name: "PruneMaybeThrows", value: hir });
   validateContextVariableLValues(hir);
   validateUseMemo(hir);
-  dropManualMemoization(hir);
-  yield log({ kind: "hir", name: "DropManualMemoization", value: hir });
+  if (
+    !env.config.enablePreserveExistingManualUseMemo &&
+    !env.config.disableMemoizationForDebugging &&
+    !env.config.enableChangeDetectionForDebugging
+  ) {
+    dropManualMemoization(hir);
+    yield log({ kind: "hir", name: "DropManualMemoization", value: hir });
+  }
   inlineImmediatelyInvokedFunctionExpressions(hir);
   yield log({
     kind: "hir",
@@ -166796,6 +167324,14 @@ function* runWithEnvironment(func, env) {
     name: "PruneAlwaysInvalidatingScopes",
     value: reactiveFunction,
   });
+  if (env.config.enableChangeDetectionForDebugging != null) {
+    pruneInitializationDependencies(reactiveFunction);
+    yield log({
+      kind: "reactive",
+      name: "PruneInitializationDependencies",
+      value: reactiveFunction,
+    });
+  }
   propagateEarlyReturns(reactiveFunction);
   yield log({
     kind: "reactive",
@@ -167184,7 +167720,7 @@ function isFilePartOfSources(sources, filename) {
   return false;
 }
 function compileProgram(program, pass) {
-  var _a, _b, _c, _d, _e, _f, _g;
+  var _a, _b, _c, _d, _e, _f, _g, _h;
   const options = parsePluginOptions(pass.opts);
   if (options.sources) {
     if (pass.filename === null) {
@@ -167371,6 +167907,16 @@ function compileProgram(program, pass) {
       );
       externalFunctions.push(enableEmitHookGuards);
     }
+    if (
+      ((_h = options.environment) === null || _h === void 0
+        ? void 0
+        : _h.enableChangeDetectionForDebugging) != null
+    ) {
+      const enableChangeDetectionForDebugging = tryParseExternalFunction(
+        options.environment.enableChangeDetectionForDebugging
+      );
+      externalFunctions.push(enableChangeDetectionForDebugging);
+    }
   } catch (err) {
     handleError(err, pass, null);
     return;