babel-plugin-react-compiler 0.0.0-experimental-5f79ba2-20240815 → 0.0.0-experimental-1f3db3d-20240818

package/dist/index.js

@@ -136076,6 +136076,9 @@ function isUseRefType(id) {
 function isUseStateType(id) {
   return id.type.kind === 'Object' && id.type.shapeId === 'BuiltInUseState';
 }
+function isRefOrRefValue(id) {
+  return isUseRefType(id) || isRefValueType(id);
+}
 function isSetStateType(id) {
   return id.type.kind === 'Function' && id.type.shapeId === 'BuiltInSetState';
 }
@@ -140004,8 +140007,7 @@ function lowerStatement(builder, stmtPath, label = null) {
     _28,
     _29,
     _30,
-    _31,
-    _32;
+    _31;
   const stmtNode = stmtPath.node;
   switch (stmtNode.type) {
     case 'ThrowStatement': {
@@ -140185,18 +140187,6 @@ function lowerStatement(builder, stmtPath, label = null) {
                   : GeneratedSource,
             });
             continue;
-          } else if (!binding.path.get('id').isIdentifier()) {
-            builder.errors.push({
-              severity: exports.ErrorSeverity.Todo,
-              reason: 'Unsupported variable declaration type for hoisting',
-              description: `variable "${binding.identifier.name}" declared with ${binding.path.get('id').type}`,
-              suggestions: null,
-              loc:
-                (_g = id.parentPath.node.loc) !== null && _g !== void 0
-                  ? _g
-                  : GeneratedSource,
-            });
-            continue;
           } else if (
             binding.kind !== 'const' &&
             binding.kind !== 'var' &&
@@ -140208,8 +140198,8 @@ function lowerStatement(builder, stmtPath, label = null) {
               description: `variable "${binding.identifier.name}" declared with ${binding.kind}`,
               suggestions: null,
               loc:
-                (_h = id.parentPath.node.loc) !== null && _h !== void 0
-                  ? _h
+                (_g = id.parentPath.node.loc) !== null && _g !== void 0
+                  ? _g
                   : GeneratedSource,
             });
             continue;
@@ -140219,8 +140209,8 @@ function lowerStatement(builder, stmtPath, label = null) {
             reason:
               'Expected hoisted binding to be a local identifier, not a global',
             loc:
-              (_j = id.node.loc) !== null && _j !== void 0
-                ? _j
+              (_h = id.node.loc) !== null && _h !== void 0
+                ? _h
                 : GeneratedSource,
           });
           const place = {
@@ -140229,8 +140219,8 @@ function lowerStatement(builder, stmtPath, label = null) {
             kind: 'Identifier',
             reactive: false,
             loc:
-              (_k = id.node.loc) !== null && _k !== void 0
-                ? _k
+              (_j = id.node.loc) !== null && _j !== void 0
+                ? _j
                 : GeneratedSource,
           };
           const kind =
@@ -140243,8 +140233,8 @@ function lowerStatement(builder, stmtPath, label = null) {
             kind: 'DeclareContext',
             lvalue: {kind: kind, place: place},
             loc:
-              (_l = id.node.loc) !== null && _l !== void 0
-                ? _l
+              (_k = id.node.loc) !== null && _k !== void 0
+                ? _k
                 : GeneratedSource,
           });
           builder.environment.addHoistedIdentifier(binding.identifier);
@@ -140256,11 +140246,11 @@ function lowerStatement(builder, stmtPath, label = null) {
     case 'BreakStatement': {
       const stmt = stmtPath;
       const block = builder.lookupBreak(
-        (_o =
-          (_m = stmt.node.label) === null || _m === void 0
+        (_m =
+          (_l = stmt.node.label) === null || _l === void 0
             ? void 0
-            : _m.name) !== null && _o !== void 0
-          ? _o
+            : _l.name) !== null && _m !== void 0
+          ? _m
           : null
       );
       builder.terminate(
@@ -140270,8 +140260,8 @@ function lowerStatement(builder, stmtPath, label = null) {
           variant: GotoVariant.Break,
           id: makeInstructionId(0),
           loc:
-            (_p = stmt.node.loc) !== null && _p !== void 0
-              ? _p
+            (_o = stmt.node.loc) !== null && _o !== void 0
+              ? _o
               : GeneratedSource,
         },
         'block'
@@ -140281,11 +140271,11 @@ function lowerStatement(builder, stmtPath, label = null) {
     case 'ContinueStatement': {
       const stmt = stmtPath;
       const block = builder.lookupContinue(
-        (_r =
-          (_q = stmt.node.label) === null || _q === void 0
+        (_q =
+          (_p = stmt.node.label) === null || _p === void 0
             ? void 0
-            : _q.name) !== null && _r !== void 0
-          ? _r
+            : _p.name) !== null && _q !== void 0
+          ? _q
           : null
       );
       builder.terminate(
@@ -140295,8 +140285,8 @@ function lowerStatement(builder, stmtPath, label = null) {
           variant: GotoVariant.Continue,
           id: makeInstructionId(0),
           loc:
-            (_s = stmt.node.loc) !== null && _s !== void 0
-              ? _s
+            (_r = stmt.node.loc) !== null && _r !== void 0
+              ? _r
               : GeneratedSource,
         },
         'block'
@@ -140394,8 +140384,8 @@ function lowerStatement(builder, stmtPath, label = null) {
         {
           kind: 'for',
           loc:
-            (_t = stmtNode.loc) !== null && _t !== void 0
-              ? _t
+            (_s = stmtNode.loc) !== null && _s !== void 0
+              ? _s
               : GeneratedSource,
           init: initBlock,
           test: testBlock.id,
@@ -140411,7 +140401,7 @@ function lowerStatement(builder, stmtPath, label = null) {
         builder.errors.push({
           reason: `(BuildHIR::lowerStatement) Handle empty test in ForStatement`,
           severity: exports.ErrorSeverity.Todo,
-          loc: (_u = stmt.node.loc) !== null && _u !== void 0 ? _u : null,
+          loc: (_t = stmt.node.loc) !== null && _t !== void 0 ? _t : null,
           suggestions: null,
         });
       } else {
@@ -140423,8 +140413,8 @@ function lowerStatement(builder, stmtPath, label = null) {
             alternate: continuationBlock.id,
             id: makeInstructionId(0),
             loc:
-              (_v = stmt.node.loc) !== null && _v !== void 0
-                ? _v
+              (_u = stmt.node.loc) !== null && _u !== void 0
+                ? _u
                 : GeneratedSource,
           },
           continuationBlock
@@ -140454,7 +140444,7 @@ function lowerStatement(builder, stmtPath, label = null) {
         })
       );
       const loc =
-        (_w = stmt.node.loc) !== null && _w !== void 0 ? _w : GeneratedSource;
+        (_v = stmt.node.loc) !== null && _v !== void 0 ? _v : GeneratedSource;
       builder.terminateWithContinuation(
         {
           kind: 'while',
@@ -140474,7 +140464,7 @@ function lowerStatement(builder, stmtPath, label = null) {
         alternate: continuationBlock.id,
         id: makeInstructionId(0),
         loc:
-          (_x = stmt.node.loc) !== null && _x !== void 0 ? _x : GeneratedSource,
+          (_w = stmt.node.loc) !== null && _w !== void 0 ? _w : GeneratedSource,
       };
       builder.terminateWithContinuation(terminal, continuationBlock);
       return;
@@ -140518,8 +140508,8 @@ function lowerStatement(builder, stmtPath, label = null) {
               fallthrough: continuationBlock.id,
               id: makeInstructionId(0),
               loc:
-                (_y = stmt.node.loc) !== null && _y !== void 0
-                  ? _y
+                (_x = stmt.node.loc) !== null && _x !== void 0
+                  ? _x
                   : GeneratedSource,
             },
             continuationBlock
@@ -140542,7 +140532,7 @@ function lowerStatement(builder, stmtPath, label = null) {
             builder.errors.push({
               reason: `Expected at most one \`default\` branch in a switch statement, this code should have failed to parse`,
               severity: exports.ErrorSeverity.InvalidJS,
-              loc: (_z = case_.node.loc) !== null && _z !== void 0 ? _z : null,
+              loc: (_y = case_.node.loc) !== null && _y !== void 0 ? _y : null,
               suggestions: null,
             });
             break;
@@ -140590,8 +140580,8 @@ function lowerStatement(builder, stmtPath, label = null) {
           fallthrough: continuationBlock.id,
           id: makeInstructionId(0),
           loc:
-            (_0 = stmt.node.loc) !== null && _0 !== void 0
-              ? _0
+            (_z = stmt.node.loc) !== null && _z !== void 0
+              ? _z
               : GeneratedSource,
         },
         continuationBlock
@@ -140605,7 +140595,7 @@ function lowerStatement(builder, stmtPath, label = null) {
         builder.errors.push({
           reason: `(BuildHIR::lowerStatement) Handle ${nodeKind} kinds in VariableDeclaration`,
           severity: exports.ErrorSeverity.Todo,
-          loc: (_1 = stmt.node.loc) !== null && _1 !== void 0 ? _1 : null,
+          loc: (_0 = stmt.node.loc) !== null && _0 !== void 0 ? _0 : null,
           suggestions: null,
         });
         return;
@@ -140619,8 +140609,8 @@ function lowerStatement(builder, stmtPath, label = null) {
           const value = lowerExpressionToTemporary(builder, init);
           lowerAssignment(
             builder,
-            (_2 = stmt.node.loc) !== null && _2 !== void 0
-              ? _2
+            (_1 = stmt.node.loc) !== null && _1 !== void 0
+              ? _1
               : GeneratedSource,
             kind,
             id,
@@ -140635,7 +140625,7 @@ function lowerStatement(builder, stmtPath, label = null) {
             builder.errors.push({
               reason: `(BuildHIR::lowerAssignment) Could not find binding for declaration.`,
               severity: exports.ErrorSeverity.Invariant,
-              loc: (_3 = id.node.loc) !== null && _3 !== void 0 ? _3 : null,
+              loc: (_2 = id.node.loc) !== null && _2 !== void 0 ? _2 : null,
               suggestions: null,
             });
           } else {
@@ -140645,8 +140635,8 @@ function lowerStatement(builder, stmtPath, label = null) {
               kind: 'Identifier',
               reactive: false,
               loc:
-                (_4 = id.node.loc) !== null && _4 !== void 0
-                  ? _4
+                (_3 = id.node.loc) !== null && _3 !== void 0
+                  ? _3
                   : GeneratedSource,
             };
             if (builder.isContextIdentifier(id)) {
@@ -140655,7 +140645,7 @@ function lowerStatement(builder, stmtPath, label = null) {
                 builder.errors.push({
                   reason: `Expect \`const\` declaration not to be reassigned`,
                   severity: exports.ErrorSeverity.InvalidJS,
-                  loc: (_5 = id.node.loc) !== null && _5 !== void 0 ? _5 : null,
+                  loc: (_4 = id.node.loc) !== null && _4 !== void 0 ? _4 : null,
                   suggestions: [
                     {
                       description: 'Change to a `let` declaration',
@@ -140670,8 +140660,8 @@ function lowerStatement(builder, stmtPath, label = null) {
                 kind: 'DeclareContext',
                 lvalue: {kind: InstructionKind.Let, place: place},
                 loc:
-                  (_6 = id.node.loc) !== null && _6 !== void 0
-                    ? _6
+                  (_5 = id.node.loc) !== null && _5 !== void 0
+                    ? _5
                     : GeneratedSource,
               });
             } else {
@@ -140691,8 +140681,8 @@ function lowerStatement(builder, stmtPath, label = null) {
                 lvalue: {kind: kind, place: place},
                 type: type,
                 loc:
-                  (_7 = id.node.loc) !== null && _7 !== void 0
-                    ? _7
+                  (_6 = id.node.loc) !== null && _6 !== void 0
+                    ? _6
                     : GeneratedSource,
               });
             }
@@ -140702,7 +140692,7 @@ function lowerStatement(builder, stmtPath, label = null) {
             reason: `Expected variable declaration to be an identifier if no initializer was provided`,
             description: `Got a \`${id.type}\``,
             severity: exports.ErrorSeverity.InvalidJS,
-            loc: (_8 = stmt.node.loc) !== null && _8 !== void 0 ? _8 : null,
+            loc: (_7 = stmt.node.loc) !== null && _7 !== void 0 ? _7 : null,
             suggestions: null,
           });
         }
@@ -140737,7 +140727,7 @@ function lowerStatement(builder, stmtPath, label = null) {
         })
       );
       const loc =
-        (_9 = stmt.node.loc) !== null && _9 !== void 0 ? _9 : GeneratedSource;
+        (_8 = stmt.node.loc) !== null && _8 !== void 0 ? _8 : GeneratedSource;
       builder.terminateWithContinuation(
         {
           kind: 'do-while',
@@ -140767,7 +140757,7 @@ function lowerStatement(builder, stmtPath, label = null) {
       CompilerError.invariant(stmt.get('id').type === 'Identifier', {
         reason: 'function declarations must have a name',
         description: null,
-        loc: (_10 = stmt.node.loc) !== null && _10 !== void 0 ? _10 : null,
+        loc: (_9 = stmt.node.loc) !== null && _9 !== void 0 ? _9 : null,
         suggestions: null,
       });
       const id = stmt.get('id');
@@ -140777,8 +140767,8 @@ function lowerStatement(builder, stmtPath, label = null) {
       );
       lowerAssignment(
         builder,
-        (_11 = stmt.node.loc) !== null && _11 !== void 0
-          ? _11
+        (_10 = stmt.node.loc) !== null && _10 !== void 0
+          ? _10
           : GeneratedSource,
         InstructionKind.Let,
         id,
@@ -140796,7 +140786,7 @@ function lowerStatement(builder, stmtPath, label = null) {
         builder.errors.push({
           reason: `(BuildHIR::lowerStatement) Handle for-await loops`,
           severity: exports.ErrorSeverity.Todo,
-          loc: (_12 = stmt.node.loc) !== null && _12 !== void 0 ? _12 : null,
+          loc: (_11 = stmt.node.loc) !== null && _11 !== void 0 ? _11 : null,
           suggestions: null,
         });
         return;
@@ -140819,8 +140809,8 @@ function lowerStatement(builder, stmtPath, label = null) {
         })
       );
       const loc =
-        (_13 = stmt.node.loc) !== null && _13 !== void 0
-          ? _13
+        (_12 = stmt.node.loc) !== null && _12 !== void 0
+          ? _12
           : GeneratedSource;
       const value = lowerExpressionToTemporary(builder, stmt.get('right'));
       builder.terminateWithContinuation(
@@ -140847,16 +140837,16 @@ function lowerStatement(builder, stmtPath, label = null) {
           block: testBlock.id,
           variant: GotoVariant.Break,
           loc:
-            (_14 = stmt.node.loc) !== null && _14 !== void 0
-              ? _14
+            (_13 = stmt.node.loc) !== null && _13 !== void 0
+              ? _13
               : GeneratedSource,
         },
         testBlock
       );
       const left = stmt.get('left');
       const leftLoc =
-        (_15 = left.node.loc) !== null && _15 !== void 0
-          ? _15
+        (_14 = left.node.loc) !== null && _14 !== void 0
+          ? _14
           : GeneratedSource;
       let test;
       if (left.isVariableDeclaration()) {
@@ -140864,7 +140854,7 @@ function lowerStatement(builder, stmtPath, label = null) {
         CompilerError.invariant(declarations.length === 1, {
           reason: `Expected only one declaration in the init of a ForOfStatement, got ${declarations.length}`,
           description: null,
-          loc: (_16 = left.node.loc) !== null && _16 !== void 0 ? _16 : null,
+          loc: (_15 = left.node.loc) !== null && _15 !== void 0 ? _15 : null,
           suggestions: null,
         });
         const id = declarations[0].get('id');
@@ -140887,7 +140877,7 @@ function lowerStatement(builder, stmtPath, label = null) {
         builder.errors.push({
           reason: `(BuildHIR::lowerStatement) Handle ${left.type} inits in ForOfStatement`,
           severity: exports.ErrorSeverity.Todo,
-          loc: (_17 = left.node.loc) !== null && _17 !== void 0 ? _17 : null,
+          loc: (_16 = left.node.loc) !== null && _16 !== void 0 ? _16 : null,
           suggestions: null,
         });
         return;
@@ -140900,8 +140890,8 @@ function lowerStatement(builder, stmtPath, label = null) {
           consequent: loopBlock,
           alternate: continuationBlock.id,
           loc:
-            (_18 = stmt.node.loc) !== null && _18 !== void 0
-              ? _18
+            (_17 = stmt.node.loc) !== null && _17 !== void 0
+              ? _17
               : GeneratedSource,
         },
         continuationBlock
@@ -140930,8 +140920,8 @@ function lowerStatement(builder, stmtPath, label = null) {
         })
       );
       const loc =
-        (_19 = stmt.node.loc) !== null && _19 !== void 0
-          ? _19
+        (_18 = stmt.node.loc) !== null && _18 !== void 0
+          ? _18
           : GeneratedSource;
       const value = lowerExpressionToTemporary(builder, stmt.get('right'));
       builder.terminateWithContinuation(
@@ -140947,8 +140937,8 @@ function lowerStatement(builder, stmtPath, label = null) {
       );
       const left = stmt.get('left');
       const leftLoc =
-        (_20 = left.node.loc) !== null && _20 !== void 0
-          ? _20
+        (_19 = left.node.loc) !== null && _19 !== void 0
+          ? _19
           : GeneratedSource;
       let test;
       if (left.isVariableDeclaration()) {
@@ -140956,7 +140946,7 @@ function lowerStatement(builder, stmtPath, label = null) {
         CompilerError.invariant(declarations.length === 1, {
           reason: `Expected only one declaration in the init of a ForInStatement, got ${declarations.length}`,
           description: null,
-          loc: (_21 = left.node.loc) !== null && _21 !== void 0 ? _21 : null,
+          loc: (_20 = left.node.loc) !== null && _20 !== void 0 ? _20 : null,
           suggestions: null,
         });
         const id = declarations[0].get('id');
@@ -140978,7 +140968,7 @@ function lowerStatement(builder, stmtPath, label = null) {
         builder.errors.push({
           reason: `(BuildHIR::lowerStatement) Handle ${left.type} inits in ForInStatement`,
           severity: exports.ErrorSeverity.Todo,
-          loc: (_22 = left.node.loc) !== null && _22 !== void 0 ? _22 : null,
+          loc: (_21 = left.node.loc) !== null && _21 !== void 0 ? _21 : null,
           suggestions: null,
         });
         return;
@@ -140991,8 +140981,8 @@ function lowerStatement(builder, stmtPath, label = null) {
           consequent: loopBlock,
           alternate: continuationBlock.id,
           loc:
-            (_23 = stmt.node.loc) !== null && _23 !== void 0
-              ? _23
+            (_22 = stmt.node.loc) !== null && _22 !== void 0
+              ? _22
               : GeneratedSource,
         },
         continuationBlock
@@ -141002,8 +140992,8 @@ function lowerStatement(builder, stmtPath, label = null) {
     case 'DebuggerStatement': {
       const stmt = stmtPath;
       const loc =
-        (_24 = stmt.node.loc) !== null && _24 !== void 0
-          ? _24
+        (_23 = stmt.node.loc) !== null && _23 !== void 0
+          ? _23
           : GeneratedSource;
       builder.push({
         id: makeInstructionId(0),
@@ -141024,7 +141014,7 @@ function lowerStatement(builder, stmtPath, label = null) {
         builder.errors.push({
           reason: `(BuildHIR::lowerStatement) Handle TryStatement without a catch clause`,
           severity: exports.ErrorSeverity.Todo,
-          loc: (_25 = stmt.node.loc) !== null && _25 !== void 0 ? _25 : null,
+          loc: (_24 = stmt.node.loc) !== null && _24 !== void 0 ? _24 : null,
           suggestions: null,
         });
         return;
@@ -141033,7 +141023,7 @@ function lowerStatement(builder, stmtPath, label = null) {
         builder.errors.push({
           reason: `(BuildHIR::lowerStatement) Handle TryStatement with a finalizer ('finally') clause`,
           severity: exports.ErrorSeverity.Todo,
-          loc: (_26 = stmt.node.loc) !== null && _26 !== void 0 ? _26 : null,
+          loc: (_25 = stmt.node.loc) !== null && _25 !== void 0 ? _25 : null,
           suggestions: null,
         });
       }
@@ -141043,15 +141033,15 @@ function lowerStatement(builder, stmtPath, label = null) {
         const place = {
           kind: 'Identifier',
           identifier: builder.makeTemporary(
-            (_27 = handlerBindingPath.node.loc) !== null && _27 !== void 0
-              ? _27
+            (_26 = handlerBindingPath.node.loc) !== null && _26 !== void 0
+              ? _26
               : GeneratedSource
           ),
           effect: exports.Effect.Unknown,
           reactive: false,
           loc:
-            (_28 = handlerBindingPath.node.loc) !== null && _28 !== void 0
-              ? _28
+            (_27 = handlerBindingPath.node.loc) !== null && _27 !== void 0
+              ? _27
               : GeneratedSource,
         };
         promoteTemporary(place.identifier);
@@ -141063,8 +141053,8 @@ function lowerStatement(builder, stmtPath, label = null) {
           },
           type: null,
           loc:
-            (_29 = handlerBindingPath.node.loc) !== null && _29 !== void 0
-              ? _29
+            (_28 = handlerBindingPath.node.loc) !== null && _28 !== void 0
+              ? _28
               : GeneratedSource,
         });
         handlerBinding = {path: handlerBindingPath, place: place};
@@ -141124,8 +141114,8 @@ function lowerStatement(builder, stmtPath, label = null) {
           fallthrough: continuationBlock.id,
           id: makeInstructionId(0),
           loc:
-            (_30 = stmt.node.loc) !== null && _30 !== void 0
-              ? _30
+            (_29 = stmt.node.loc) !== null && _29 !== void 0
+              ? _29
               : GeneratedSource,
         },
         continuationBlock
@@ -141165,14 +141155,14 @@ function lowerStatement(builder, stmtPath, label = null) {
       builder.errors.push({
         reason: `(BuildHIR::lowerStatement) Handle ${stmtPath.type} statements`,
         severity: exports.ErrorSeverity.Todo,
-        loc: (_31 = stmtPath.node.loc) !== null && _31 !== void 0 ? _31 : null,
+        loc: (_30 = stmtPath.node.loc) !== null && _30 !== void 0 ? _30 : null,
         suggestions: null,
       });
       lowerValueToTemporary(builder, {
         kind: 'UnsupportedNode',
         loc:
-          (_32 = stmtPath.node.loc) !== null && _32 !== void 0
-            ? _32
+          (_31 = stmtPath.node.loc) !== null && _31 !== void 0
+            ? _31
             : GeneratedSource,
         node: stmtPath.node,
       });
@@ -141269,7 +141259,10 @@ function lowerExpression(builder, exprPath) {
     _17,
     _18,
     _19,
-    _20;
+    _20,
+    _21,
+    _22,
+    _23;
   const exprNode = exprPath.node;
   const exprLoc =
     (_a = exprNode.loc) !== null && _a !== void 0 ? _a : GeneratedSource;
@@ -142216,12 +142209,67 @@ function lowerExpression(builder, exprPath) {
     case 'UpdateExpression': {
       let expr = exprPath;
       const argument = expr.get('argument');
+      if (argument.isMemberExpression()) {
+        const binaryOperator = expr.node.operator === '++' ? '+' : '-';
+        const leftExpr = argument;
+        const {
+          object: object,
+          property: property,
+          value: value,
+        } = lowerMemberExpression(builder, leftExpr);
+        const previousValuePlace = lowerValueToTemporary(builder, value);
+        const updatedValue = lowerValueToTemporary(builder, {
+          kind: 'BinaryExpression',
+          operator: binaryOperator,
+          left: Object.assign({}, previousValuePlace),
+          right: lowerValueToTemporary(builder, {
+            kind: 'Primitive',
+            value: 1,
+            loc: GeneratedSource,
+          }),
+          loc:
+            (_14 = leftExpr.node.loc) !== null && _14 !== void 0
+              ? _14
+              : GeneratedSource,
+        });
+        let newValuePlace;
+        if (typeof property === 'string') {
+          newValuePlace = lowerValueToTemporary(builder, {
+            kind: 'PropertyStore',
+            object: Object.assign({}, object),
+            property: property,
+            value: Object.assign({}, updatedValue),
+            loc:
+              (_15 = leftExpr.node.loc) !== null && _15 !== void 0
+                ? _15
+                : GeneratedSource,
+          });
+        } else {
+          newValuePlace = lowerValueToTemporary(builder, {
+            kind: 'ComputedStore',
+            object: Object.assign({}, object),
+            property: Object.assign({}, property),
+            value: Object.assign({}, updatedValue),
+            loc:
+              (_16 = leftExpr.node.loc) !== null && _16 !== void 0
+                ? _16
+                : GeneratedSource,
+          });
+        }
+        return {
+          kind: 'LoadLocal',
+          place: expr.node.prefix
+            ? Object.assign({}, newValuePlace)
+            : Object.assign({}, previousValuePlace),
+          loc: exprLoc,
+        };
+      }
       if (!argument.isIdentifier()) {
         builder.errors.push({
           reason: `(BuildHIR::lowerExpression) Handle UpdateExpression with ${argument.type} argument`,
           severity: exports.ErrorSeverity.Todo,
           loc:
-            (_14 = exprPath.node.loc) !== null && _14 !== void 0 ? _14 : null,
+            (_17 = exprPath.node.loc) !== null && _17 !== void 0 ? _17 : null,
           suggestions: null,
         });
         return {kind: 'UnsupportedNode', node: exprNode, loc: exprLoc};
@@ -142230,15 +142278,15 @@ function lowerExpression(builder, exprPath) {
           reason: `(BuildHIR::lowerExpression) Handle UpdateExpression to variables captured within lambdas.`,
           severity: exports.ErrorSeverity.Todo,
           loc:
-            (_15 = exprPath.node.loc) !== null && _15 !== void 0 ? _15 : null,
+            (_18 = exprPath.node.loc) !== null && _18 !== void 0 ? _18 : null,
           suggestions: null,
         });
         return {kind: 'UnsupportedNode', node: exprNode, loc: exprLoc};
       }
       const lvalue = lowerIdentifierForAssignment(
         builder,
-        (_16 = argument.node.loc) !== null && _16 !== void 0
-          ? _16
+        (_19 = argument.node.loc) !== null && _19 !== void 0
+          ? _19
           : GeneratedSource,
         InstructionKind.Reassign,
         argument
@@ -142288,8 +142336,8 @@ function lowerExpression(builder, exprPath) {
         pattern: expr.node.pattern,
         flags: expr.node.flags,
         loc:
-          (_17 = expr.node.loc) !== null && _17 !== void 0
-            ? _17
+          (_20 = expr.node.loc) !== null && _20 !== void 0
+            ? _20
             : GeneratedSource,
       };
     }
@@ -142308,15 +142356,15 @@ function lowerExpression(builder, exprPath) {
           meta: expr.node.meta.name,
           property: expr.node.property.name,
           loc:
-            (_18 = expr.node.loc) !== null && _18 !== void 0
-              ? _18
+            (_21 = expr.node.loc) !== null && _21 !== void 0
+              ? _21
               : GeneratedSource,
         };
       }
       builder.errors.push({
         reason: `(BuildHIR::lowerExpression) Handle MetaProperty expressions other than import.meta`,
         severity: exports.ErrorSeverity.Todo,
-        loc: (_19 = exprPath.node.loc) !== null && _19 !== void 0 ? _19 : null,
+        loc: (_22 = exprPath.node.loc) !== null && _22 !== void 0 ? _22 : null,
         suggestions: null,
       });
       return {kind: 'UnsupportedNode', node: exprNode, loc: exprLoc};
@@ -142325,7 +142373,7 @@ function lowerExpression(builder, exprPath) {
       builder.errors.push({
         reason: `(BuildHIR::lowerExpression) Handle ${exprPath.type} expressions`,
         severity: exports.ErrorSeverity.Todo,
-        loc: (_20 = exprPath.node.loc) !== null && _20 !== void 0 ? _20 : null,
+        loc: (_23 = exprPath.node.loc) !== null && _23 !== void 0 ? _23 : null,
         suggestions: null,
       });
       return {kind: 'UnsupportedNode', node: exprNode, loc: exprLoc};
@@ -150194,7 +150242,7 @@ const EnvironmentConfigSchema = z.object({
   enableUseTypeAnnotations: z.boolean().default(false),
   enableReactiveScopesInHIR: z.boolean().default(true),
   validateHooksUsage: z.boolean().default(true),
-  validateRefAccessDuringRender: z.boolean().default(false),
+  validateRefAccessDuringRender: z.boolean().default(true),
   validateNoSetStateInRender: z.boolean().default(true),
   validateNoSetStateInPassiveEffects: z.boolean().default(false),
   validateMemoizedEffectDependencies: z.boolean().default(false),
@@ -153943,7 +153991,7 @@ z.enum(['infer', 'syntax', 'annotation', 'all']);
 const defaultOptions = {
   compilationMode: 'infer',
   panicThreshold: 'none',
-  environment: {},
+  environment: parseEnvironmentConfig({}).unwrap(),
   logger: null,
   gating: null,
   noEmit: false,
@@ -153963,7 +154011,19 @@ function parsePluginOptions(obj) {
     if (typeof value === 'string') {
       value = value.toLowerCase();
     }
-    if (isCompilerFlag(key)) {
+    if (key === 'environment') {
+      const environmentResult = parseEnvironmentConfig(value);
+      if (environmentResult.isErr()) {
+        CompilerError.throwInvalidConfig({
+          reason:
+            'Error in validating environment config. This is an advanced setting and not meant to be used directly',
+          description: environmentResult.unwrapErr().toString(),
+          suggestions: null,
+          loc: null,
+        });
+      }
+      parsedOptions[key] = environmentResult.unwrap();
+    } else if (isCompilerFlag(key)) {
       parsedOptions[key] = value;
     }
   }
@@ -162304,7 +162364,7 @@ class InferenceState {
         break;
       }
       case exports.Effect.Mutate: {
-        if (isRefValueType(place.identifier) || isUseRefType(place.identifier));
+        if (isRefOrRefValue(place.identifier));
         else if (valueKind.kind === exports.ValueKind.Context) {
           functionEffect = {
             kind: 'ContextMutation',
@@ -162343,7 +162403,7 @@ class InferenceState {
         break;
       }
       case exports.Effect.Store: {
-        if (isRefValueType(place.identifier) || isUseRefType(place.identifier));
+        if (isRefOrRefValue(place.identifier));
         else if (valueKind.kind === exports.ValueKind.Context) {
           functionEffect = {
             kind: 'ContextMutation',
@@ -164884,7 +164944,9 @@ function maybeAlias(aliases, lvalue, rvalue, id) {
   }
 }
 function infer$1(place, instrId) {
-  place.identifier.mutableRange.end = makeInstructionId(instrId + 1);
+  if (!isRefOrRefValue(place.identifier)) {
+    place.identifier.mutableRange.end = makeInstructionId(instrId + 1);
+  }
 }
 function inferPlace(place, instrId, inferMutableRangeForStores) {
   switch (place.effect) {
@@ -164960,7 +165022,10 @@ function inferMutableLifetimes(func, inferMutableRangeForStores) {
         const declaration = contextVariableDeclarationInstructions.get(
           instr.value.lvalue.place.identifier
         );
-        if (declaration != null) {
+        if (
+          declaration != null &&
+          !isRefOrRefValue(instr.value.lvalue.place.identifier)
+        ) {
           const range = instr.value.lvalue.place.identifier.mutableRange;
           if (range.start === 0) {
             range.start = declaration;
@@ -164979,7 +165044,8 @@ function inferMutableRangesForAlias(_fn, aliases) {
   const aliasSets = aliases.buildSets();
   for (const aliasSet of aliasSets) {
     const mutatingIdentifiers = [...aliasSet].filter(
-      id => id.mutableRange.end - id.mutableRange.start > 1
+      id =>
+        id.mutableRange.end - id.mutableRange.start > 1 && !isRefOrRefValue(id)
     );
     if (mutatingIdentifiers.length > 0) {
       let lastMutatingInstructionId = 0;
@@ -164989,7 +165055,10 @@ function inferMutableRangesForAlias(_fn, aliases) {
         }
       }
       for (const alias of aliasSet) {
-        if (alias.mutableRange.end < lastMutatingInstructionId) {
+        if (
+          alias.mutableRange.end < lastMutatingInstructionId &&
+          !isRefOrRefValue(alias)
+        ) {
           alias.mutableRange.end = lastMutatingInstructionId;
         }
       }
@@ -165144,7 +165213,7 @@ function infer(loweredFunc, state, context) {
     } else {
       name = dep.identifier.name;
     }
-    if (isUseRefType(dep.identifier) || isRefValueType(dep.identifier)) {
+    if (isRefOrRefValue(dep.identifier)) {
       dep.effect = exports.Effect.Capture;
     } else if (name !== null) {
       const effect = mutations.get(name.value);
@@ -167670,33 +167739,38 @@ function validateNoRefAccessInRender(fn) {
   validateNoRefAccessInRenderImpl(fn, refAccessingFunctions).unwrap();
 }
 function validateNoRefAccessInRenderImpl(fn, refAccessingFunctions) {
+  var _a, _b, _c;
   const errors = new CompilerError();
+  const lookupLocations = new Map();
   for (const [, block] of fn.body.blocks) {
     for (const instr of block.instructions) {
       switch (instr.value.kind) {
         case 'JsxExpression':
         case 'JsxFragment': {
           for (const operand of eachInstructionValueOperand(instr.value)) {
-            if (isRefValueType(operand.identifier)) {
-              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)}`,
-                suggestions: null,
-              });
-            }
+            validateNoDirectRefValueAccess(errors, operand, lookupLocations);
           }
           break;
         }
         case 'PropertyLoad': {
+          if (
+            isRefValueType(instr.lvalue.identifier) &&
+            instr.value.property === 'current'
+          ) {
+            lookupLocations.set(instr.lvalue.identifier.id, instr.loc);
+          }
           break;
         }
         case 'LoadLocal': {
           if (refAccessingFunctions.has(instr.value.place.identifier.id)) {
             refAccessingFunctions.add(instr.lvalue.identifier.id);
           }
+          if (isRefValueType(instr.lvalue.identifier)) {
+            const loc = lookupLocations.get(instr.value.place.identifier.id);
+            if (loc !== undefined) {
+              lookupLocations.set(instr.lvalue.identifier.id, loc);
+            }
+          }
           break;
         }
         case 'StoreLocal': {
@@ -167704,6 +167778,13 @@ function validateNoRefAccessInRenderImpl(fn, refAccessingFunctions) {
             refAccessingFunctions.add(instr.value.lvalue.place.identifier.id);
             refAccessingFunctions.add(instr.lvalue.identifier.id);
           }
+          if (isRefValueType(instr.value.lvalue.place.identifier)) {
+            const loc = lookupLocations.get(instr.value.value.identifier.id);
+            if (loc !== undefined) {
+              lookupLocations.set(instr.value.lvalue.place.identifier.id, loc);
+              lookupLocations.set(instr.lvalue.identifier.id, loc);
+            }
+          }
           break;
         }
         case 'ObjectMethod':
@@ -167749,7 +167830,11 @@ function validateNoRefAccessInRenderImpl(fn, refAccessingFunctions) {
                 reason:
                   'This function accesses a ref value (the `current` property), which may not be accessed during render. (https://react.dev/reference/react/useRef)',
                 loc: callee.loc,
-                description: `Function ${printPlace(callee)} accesses a ref`,
+                description:
+                  callee.identifier.name !== null &&
+                  callee.identifier.name.kind === 'named'
+                    ? `Function \`${callee.identifier.name.value}\` accesses a ref`
+                    : null,
                 suggestions: null,
               });
             }
@@ -167758,7 +167843,10 @@ function validateNoRefAccessInRenderImpl(fn, refAccessingFunctions) {
                 errors,
                 refAccessingFunctions,
                 operand,
-                operand.loc
+                (_a = lookupLocations.get(operand.identifier.id)) !== null &&
+                  _a !== void 0
+                  ? _a
+                  : operand.loc
               );
             }
           }
@@ -167771,7 +167859,10 @@ function validateNoRefAccessInRenderImpl(fn, refAccessingFunctions) {
               errors,
               refAccessingFunctions,
               operand,
-              operand.loc
+              (_b = lookupLocations.get(operand.identifier.id)) !== null &&
+                _b !== void 0
+                ? _b
+                : operand.loc
             );
           }
           break;
@@ -167784,26 +167875,51 @@ function validateNoRefAccessInRenderImpl(fn, refAccessingFunctions) {
             errors,
             refAccessingFunctions,
             instr.value.object,
-            instr.loc
+            (_c = lookupLocations.get(instr.value.object.identifier.id)) !==
+              null && _c !== void 0
+              ? _c
+              : instr.loc
           );
           for (const operand of eachInstructionValueOperand(instr.value)) {
             if (operand === instr.value.object) {
               continue;
             }
-            validateNoRefValueAccess(errors, refAccessingFunctions, operand);
+            validateNoRefValueAccess(
+              errors,
+              refAccessingFunctions,
+              lookupLocations,
+              operand
+            );
           }
           break;
         }
+        case 'StartMemoize':
+        case 'FinishMemoize':
+          break;
         default: {
           for (const operand of eachInstructionValueOperand(instr.value)) {
-            validateNoRefValueAccess(errors, refAccessingFunctions, operand);
+            validateNoRefValueAccess(
+              errors,
+              refAccessingFunctions,
+              lookupLocations,
+              operand
+            );
           }
           break;
         }
       }
     }
     for (const operand of eachTerminalOperand(block.terminal)) {
-      validateNoRefValueAccess(errors, refAccessingFunctions, operand);
+      if (block.terminal.kind !== 'return') {
+        validateNoRefValueAccess(
+          errors,
+          refAccessingFunctions,
+          lookupLocations,
+          operand
+        );
+      } else {
+        validateNoDirectRefValueAccess(errors, operand, lookupLocations);
+      }
     }
   }
   if (errors.hasErrors()) {
@@ -167812,7 +167928,13 @@ function validateNoRefAccessInRenderImpl(fn, refAccessingFunctions) {
     return Ok(undefined);
   }
 }
-function validateNoRefValueAccess(errors, refAccessingFunctions, operand) {
+function validateNoRefValueAccess(
+  errors,
+  refAccessingFunctions,
+  lookupLocations,
+  operand
+) {
+  var _a;
   if (
     isRefValueType(operand.identifier) ||
     refAccessingFunctions.has(operand.identifier.id)
@@ -167821,16 +167943,23 @@ function validateNoRefValueAccess(errors, refAccessingFunctions, operand) {
       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:
+        (_a = lookupLocations.get(operand.identifier.id)) !== null &&
+        _a !== void 0
+          ? _a
+          : operand.loc,
+      description:
+        operand.identifier.name !== null &&
+        operand.identifier.name.kind === 'named'
+          ? `Cannot access ref value \`${operand.identifier.name.value}\``
+          : null,
       suggestions: null,
     });
   }
 }
 function validateNoRefAccess(errors, refAccessingFunctions, operand, loc) {
   if (
-    isRefValueType(operand.identifier) ||
-    isUseRefType(operand.identifier) ||
+    isRefOrRefValue(operand.identifier) ||
     refAccessingFunctions.has(operand.identifier.id)
   ) {
     errors.push({
@@ -167847,6 +167976,27 @@ function validateNoRefAccess(errors, refAccessingFunctions, operand, loc) {
     });
   }
 }
+function validateNoDirectRefValueAccess(errors, operand, lookupLocations) {
+  var _a;
+  if (isRefValueType(operand.identifier)) {
+    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:
+        (_a = lookupLocations.get(operand.identifier.id)) !== null &&
+        _a !== void 0
+          ? _a
+          : operand.loc,
+      description:
+        operand.identifier.name !== null &&
+        operand.identifier.name.kind === 'named'
+          ? `Cannot access ref value \`${operand.identifier.name.value}\``
+          : null,
+      suggestions: null,
+    });
+  }
+}
 function validateNoSetStateInRender(fn) {
   const unconditionalSetStateFunctions = new Set();
   validateNoSetStateInRenderImpl(fn, unconditionalSetStateFunctions).unwrap();
@@ -169443,27 +169593,17 @@ function suppressionsToCompilerError(suppressionRanges) {
   }
   return error;
 }
+const OPT_IN_DIRECTIVES = new Set(['use forget', 'use memo']);
+const OPT_OUT_DIRECTIVES = new Set(['use no forget', 'use no memo']);
 function findDirectiveEnablingMemoization(directives) {
-  for (const directive of directives) {
-    const directiveValue = directive.value.value;
-    if (directiveValue === 'use forget' || directiveValue === 'use memo') {
-      return directive;
-    }
-  }
-  return null;
+  return directives.filter(directive =>
+    OPT_IN_DIRECTIVES.has(directive.value.value)
+  );
 }
-function findDirectiveDisablingMemoization(directives, options) {
-  for (const directive of directives) {
-    const directiveValue = directive.value.value;
-    if (
-      (directiveValue === 'use no forget' ||
-        directiveValue === 'use no memo') &&
-      !options.ignoreUseNoForget
-    ) {
-      return directive;
-    }
-  }
-  return null;
+function findDirectiveDisablingMemoization(directives) {
+  return directives.filter(directive =>
+    OPT_OUT_DIRECTIVES.has(directive.value.value)
+  );
 }
 function isCriticalError(err) {
   return !(err instanceof CompilerError) || err.isCritical();
@@ -169476,7 +169616,7 @@ function isConfigError(err) {
   }
   return false;
 }
-function handleError(err, pass, fnLoc) {
+function logError(err, pass, fnLoc) {
   var _a, _b;
   if (pass.opts.logger) {
     if (err instanceof CompilerError) {
@@ -169506,6 +169646,9 @@ function handleError(err, pass, fnLoc) {
       });
     }
   }
+}
+function handleError(err, pass, fnLoc) {
+  logError(err, pass, fnLoc);
   if (
     pass.opts.panicThreshold === 'all_errors' ||
     (pass.opts.panicThreshold === 'critical_errors' && isCriticalError(err)) ||
@@ -169627,23 +169770,11 @@ function isFilePartOfSources(sources, filename) {
   return false;
 }
 function compileProgram(program, pass) {
-  var _a, _b, _c, _d;
+  var _a, _b, _c;
   if (shouldSkipCompilation(program, pass)) {
     return;
   }
-  const environmentResult = parseEnvironmentConfig(
-    (_a = pass.opts.environment) !== null && _a !== void 0 ? _a : {}
-  );
-  if (environmentResult.isErr()) {
-    CompilerError.throwInvalidConfig({
-      reason:
-        'Error in validating environment config. This is an advanced setting and not meant to be used directly',
-      description: environmentResult.unwrapErr().toString(),
-      suggestions: null,
-      loc: null,
-    });
-  }
-  const environment = environmentResult.unwrap();
+  const environment = pass.opts.environment;
   const restrictedImportsErr = validateRestrictedImports(program, environment);
   if (restrictedImportsErr) {
     handleError(restrictedImportsErr, pass, null);
@@ -169651,13 +169782,13 @@ function compileProgram(program, pass) {
   }
   const useMemoCacheIdentifier = program.scope.generateUidIdentifier('c');
   const moduleName =
-    (_b = pass.opts.runtimeModule) !== null && _b !== void 0
-      ? _b
+    (_a = pass.opts.runtimeModule) !== null && _a !== void 0
+      ? _a
       : 'react/compiler-runtime';
   const suppressions = findProgramSuppressions(
     pass.comments,
-    (_c = pass.opts.eslintSuppressionRules) !== null && _c !== void 0
-      ? _c
+    (_b = pass.opts.eslintSuppressionRules) !== null && _b !== void 0
+      ? _b
       : DEFAULT_ESLINT_SUPPRESSIONS,
     pass.opts.flowSuppressions
   );
@@ -169690,22 +169821,40 @@ function compileProgram(program, pass) {
     },
     Object.assign(Object.assign({}, pass), {
       opts: Object.assign(Object.assign({}, pass.opts), pass.opts),
-      filename: (_d = pass.filename) !== null && _d !== void 0 ? _d : null,
+      filename: (_c = pass.filename) !== null && _c !== void 0 ? _c : null,
     })
   );
   const processFn = (fn, fnType) => {
-    var _a, _b, _c, _d, _e, _f;
+    var _a, _b, _c, _d, _e, _f, _g, _h, _j, _k, _l;
+    let optInDirectives = [];
+    let optOutDirectives = [];
+    if (fn.node.body.type === 'BlockStatement') {
+      optInDirectives = findDirectiveEnablingMemoization(
+        fn.node.body.directives
+      );
+      optOutDirectives = findDirectiveDisablingMemoization(
+        fn.node.body.directives
+      );
+    }
     if (lintError != null) {
       const suppressionsInFunction = filterSuppressionsThatAffectFunction(
         suppressions,
         fn
       );
       if (suppressionsInFunction.length > 0) {
-        handleError(
-          lintError,
-          pass,
-          (_a = fn.node.loc) !== null && _a !== void 0 ? _a : null
-        );
+        if (optOutDirectives.length > 0) {
+          logError(
+            lintError,
+            pass,
+            (_a = fn.node.loc) !== null && _a !== void 0 ? _a : null
+          );
+        } else {
+          handleError(
+            lintError,
+            pass,
+            (_b = fn.node.loc) !== null && _b !== void 0 ? _b : null
+          );
+        }
       }
     }
     let compiledFn;
@@ -169719,17 +169868,17 @@ function compileProgram(program, pass) {
         pass.filename,
         pass.code
       );
-      (_b = pass.opts.logger) === null || _b === void 0
+      (_c = pass.opts.logger) === null || _c === void 0
         ? void 0
-        : _b.logEvent(pass.filename, {
+        : _c.logEvent(pass.filename, {
             kind: 'CompileSuccess',
-            fnLoc: (_c = fn.node.loc) !== null && _c !== void 0 ? _c : null,
+            fnLoc: (_d = fn.node.loc) !== null && _d !== void 0 ? _d : null,
             fnName:
-              (_e =
-                (_d = compiledFn.id) === null || _d === void 0
+              (_f =
+                (_e = compiledFn.id) === null || _e === void 0
                   ? void 0
-                  : _d.name) !== null && _e !== void 0
-                ? _e
+                  : _e.name) !== null && _f !== void 0
+                ? _f
                 : null,
             memoSlots: compiledFn.memoSlotsUsed,
             memoBlocks: compiledFn.memoBlocks,
@@ -169738,14 +169887,43 @@ function compileProgram(program, pass) {
             prunedMemoValues: compiledFn.prunedMemoValues,
           });
     } catch (err) {
+      if (fn.node.body.type === 'BlockStatement') {
+        if (optOutDirectives.length > 0) {
+          logError(
+            err,
+            pass,
+            (_g = fn.node.loc) !== null && _g !== void 0 ? _g : null
+          );
+          return null;
+        }
+      }
       hasCriticalError || (hasCriticalError = isCriticalError(err));
       handleError(
         err,
         pass,
-        (_f = fn.node.loc) !== null && _f !== void 0 ? _f : null
+        (_h = fn.node.loc) !== null && _h !== void 0 ? _h : null
       );
       return null;
     }
+    if (optInDirectives.length > 0) {
+      return compiledFn;
+    } else if (pass.opts.compilationMode === 'annotation') {
+      return null;
+    }
+    if (pass.opts.ignoreUseNoForget === false && optOutDirectives.length > 0) {
+      for (const directive of optOutDirectives) {
+        (_j = pass.opts.logger) === null || _j === void 0
+          ? void 0
+          : _j.logEvent(pass.filename, {
+              kind: 'CompileSkip',
+              fnLoc:
+                (_k = fn.node.body.loc) !== null && _k !== void 0 ? _k : null,
+              reason: `Skipped due to '${directive.value.value}' directive.`,
+              loc: (_l = directive.loc) !== null && _l !== void 0 ? _l : null,
+            });
+      }
+      return null;
+    }
     if (!pass.opts.noEmit && !hasCriticalError) {
       return compiledFn;
     }
@@ -169782,6 +169960,12 @@ function compileProgram(program, pass) {
       originalFn: current.fn,
     });
   }
+  const moduleScopeOptOutDirectives = findDirectiveDisablingMemoization(
+    program.node.directives
+  );
+  if (moduleScopeOptOutDirectives.length > 0) {
+    return;
+  }
   if (pass.opts.gating != null) {
     const error = checkFunctionReferencedBeforeDeclarationAtTopLevel(
       program,
@@ -169854,7 +170038,7 @@ function compileProgram(program, pass) {
   }
 }
 function shouldSkipCompilation(program, pass) {
-  var _a, _b, _c;
+  var _a;
   if (pass.opts.sources) {
     if (pass.filename === null) {
       const error = new CompilerError();
@@ -169874,28 +170058,9 @@ function shouldSkipCompilation(program, pass) {
       return true;
     }
   }
-  const useNoForget = findDirectiveDisablingMemoization(
-    program.node.directives,
-    pass.opts
-  );
-  if (useNoForget != null) {
-    (_a = pass.opts.logger) === null || _a === void 0
-      ? void 0
-      : _a.logEvent(pass.filename, {
-          kind: 'CompileError',
-          fnLoc: null,
-          detail: {
-            severity: exports.ErrorSeverity.Todo,
-            reason: 'Skipped due to "use no forget" directive.',
-            loc: (_b = useNoForget.loc) !== null && _b !== void 0 ? _b : null,
-            suggestions: null,
-          },
-        });
-    return true;
-  }
   const moduleName =
-    (_c = pass.opts.runtimeModule) !== null && _c !== void 0
-      ? _c
+    (_a = pass.opts.runtimeModule) !== null && _a !== void 0
+      ? _a
       : 'react/compiler-runtime';
   if (hasMemoCacheFunctionImport(program, moduleName)) {
     return true;
@@ -169903,35 +170068,14 @@ function shouldSkipCompilation(program, pass) {
   return false;
 }
 function getReactFunctionType(fn, pass, environment) {
-  var _a, _b, _c, _d, _e;
+  var _a, _b;
   const hookPattern = environment.hookPattern;
   if (fn.node.body.type === 'BlockStatement') {
-    const useNoForget = findDirectiveDisablingMemoization(
-      fn.node.body.directives,
-      pass.opts
-    );
-    if (useNoForget != null) {
-      (_a = pass.opts.logger) === null || _a === void 0
-        ? void 0
-        : _a.logEvent(pass.filename, {
-            kind: 'CompileError',
-            fnLoc:
-              (_b = fn.node.body.loc) !== null && _b !== void 0 ? _b : null,
-            detail: {
-              severity: exports.ErrorSeverity.Todo,
-              reason: 'Skipped due to "use no forget" directive.',
-              loc: (_c = useNoForget.loc) !== null && _c !== void 0 ? _c : null,
-              suggestions: null,
-            },
-          });
-      return null;
-    }
-    if (findDirectiveEnablingMemoization(fn.node.body.directives) != null) {
-      return (_d = getComponentOrHookLike(fn, hookPattern)) !== null &&
-        _d !== void 0
-        ? _d
+    if (findDirectiveEnablingMemoization(fn.node.body.directives).length > 0)
+      return (_a = getComponentOrHookLike(fn, hookPattern)) !== null &&
+        _a !== void 0
+        ? _a
         : 'Other';
-    }
   }
   let componentSyntaxType = null;
   if (fn.isFunctionDeclaration()) {
@@ -169957,9 +170101,9 @@ function getReactFunctionType(fn, pass, environment) {
       if (fn.scope.getProgramParent() !== fn.scope.parent) {
         return null;
       }
-      return (_e = getComponentOrHookLike(fn, hookPattern)) !== null &&
-        _e !== void 0
-        ? _e
+      return (_b = getComponentOrHookLike(fn, hookPattern)) !== null &&
+        _b !== void 0
+        ? _b
         : 'Other';
     }
     default: {
@@ -170363,6 +170507,7 @@ function runBabelPluginReactCompiler(
 }
 exports.CompilerError = CompilerError;
 exports.CompilerErrorDetail = CompilerErrorDetail;
+exports.OPT_OUT_DIRECTIVES = OPT_OUT_DIRECTIVES;
 exports.compile = compileFn;
 exports.compileProgram = compileProgram;
 exports.default = BabelPluginReactCompiler;