babel-plugin-react-compiler 0.0.0-experimental-84c28d9-20250326 → 0.0.0-experimental-b6140c1-20250328

package/dist/index.d.ts

@@ -545,6 +545,7 @@ declare class Environment {
     programContext: ProgramContext;
     hasFireRewrite: boolean;
     hasInferredEffect: boolean;
+    inferredEffectLocations: Set<SourceLocation>;
     constructor(scope: Scope, fnType: ReactFunctionType, compilerMode: CompilerMode, config: EnvironmentConfig, contextIdentifiers: Set<t.Identifier>, logger: Logger | null, filename: string | null, code: string | null, programContext: ProgramContext);
     get isInferredMemoEnabled(): boolean;
     get nextIdentifierId(): IdentifierId;
@@ -1126,13 +1127,18 @@ type InstructionValue = LoadLocal | LoadContext | {
     operator: Exclude<t.UnaryExpression['operator'], 'throw' | 'delete'>;
     value: Place;
     loc: SourceLocation;
-} | {
+} | ({
     kind: 'TypeCastExpression';
     value: Place;
-    typeAnnotation: t.FlowType | t.TSType;
     type: Type;
     loc: SourceLocation;
-} | JsxExpression | {
+} & ({
+    typeAnnotation: t.FlowType;
+    typeAnnotationKind: 'cast';
+} | {
+    typeAnnotation: t.TSType;
+    typeAnnotationKind: 'as' | 'satisfies';
+})) | JsxExpression | {
     kind: 'ObjectExpression';
     properties: Array<ObjectProperty | SpreadPattern>;
     loc: SourceLocation;
@@ -1514,6 +1520,7 @@ type CodegenFunction = {
         type: ReactFunctionType | null;
     }>;
     hasInferredEffect: boolean;
+    inferredEffectLocations: Set<SourceLocation>;
     hasFireRewrite: boolean;
 };
 
@@ -1642,6 +1649,7 @@ type CompileProgramResult = {
         fn: BabelFn;
         error: CompilerError;
     }>;
+    inferredEffectLocations: Set<t.SourceLocation>;
 };
 declare function compileProgram(program: NodePath$1<t.Program>, pass: CompilerPass): CompileProgramResult | null;
 

package/dist/index.js

@@ -121017,6 +121017,19 @@ function lowerExpression(builder, exprPath) {
         kind: "TypeCastExpression",
         value: lowerExpressionToTemporary(builder, expr.get("expression")),
         typeAnnotation: typeAnnotation2.node,
+        typeAnnotationKind: "cast",
+        type: lowerType(typeAnnotation2.node),
+        loc: exprLoc
+      };
+    }
+    case "TSSatisfiesExpression": {
+      let expr = exprPath;
+      const typeAnnotation2 = expr.get("typeAnnotation");
+      return {
+        kind: "TypeCastExpression",
+        value: lowerExpressionToTemporary(builder, expr.get("expression")),
+        typeAnnotation: typeAnnotation2.node,
+        typeAnnotationKind: "satisfies",
         type: lowerType(typeAnnotation2.node),
         loc: exprLoc
       };
@@ -121028,6 +121041,7 @@ function lowerExpression(builder, exprPath) {
         kind: "TypeCastExpression",
         value: lowerExpressionToTemporary(builder, expr.get("expression")),
         typeAnnotation: typeAnnotation2.node,
+        typeAnnotationKind: "as",
         type: lowerType(typeAnnotation2.node),
         loc: exprLoc
       };
@@ -124436,6 +124450,7 @@ function parseConfigPragmaForTests(pragma, defaults) {
   const environment = parseConfigPragmaEnvironmentForTest(pragma);
   let compilationMode = defaults.compilationMode;
   let panicThreshold = "all_errors";
+  let noEmit = defaultOptions.noEmit;
   for (const token2 of pragma.split(" ")) {
     if (!token2.startsWith("@")) {
       continue;
@@ -124461,12 +124476,17 @@ function parseConfigPragmaForTests(pragma, defaults) {
         panicThreshold = "none";
         break;
       }
+      case "@noEmit": {
+        noEmit = true;
+        break;
+      }
     }
   }
   return parsePluginOptions({
     environment,
     compilationMode,
-    panicThreshold
+    panicThreshold,
+    noEmit
   });
 }
 var _globals, _shapes, _moduleTypes, _nextIdentifer, _nextBlock, _nextScope, _scope, _outlinedFunctions, _contextIdentifiers, _hoistedIdentifiers, _Environment_instances, resolveModuleType_fn, isKnownReactModule_fn, getCustomHookType_fn;
@@ -124481,6 +124501,7 @@ var Environment = class {
     __privateAdd(this, _nextScope, 0);
     __privateAdd(this, _scope);
     __privateAdd(this, _outlinedFunctions, []);
+    this.inferredEffectLocations = /* @__PURE__ */ new Set();
     __privateAdd(this, _contextIdentifiers);
     __privateAdd(this, _hoistedIdentifiers);
     __privateSet(this, _scope, scope);
@@ -129609,7 +129630,8 @@ function codegenReactiveFunction(cx, fn) {
     prunedMemoValues: countMemoBlockVisitor.prunedMemoValues,
     outlined: [],
     hasFireRewrite: fn.env.hasFireRewrite,
-    hasInferredEffect: fn.env.hasInferredEffect
+    hasInferredEffect: fn.env.hasInferredEffect,
+    inferredEffectLocations: fn.env.inferredEffectLocations
   });
 }
 var CountMemoBlockVisitor = class extends ReactiveFunctionVisitor {
@@ -131098,10 +131120,17 @@ function codegenInstructionValue(cx, instrValue) {
     }
     case "TypeCastExpression": {
       if (t3.isTSType(instrValue.typeAnnotation)) {
-        value = t3.tsAsExpression(
-          codegenPlaceToExpression(cx, instrValue.value),
-          instrValue.typeAnnotation
-        );
+        if (instrValue.typeAnnotationKind === "satisfies") {
+          value = t3.tsSatisfiesExpression(
+            codegenPlaceToExpression(cx, instrValue.value),
+            instrValue.typeAnnotation
+          );
+        } else {
+          value = t3.tsAsExpression(
+            codegenPlaceToExpression(cx, instrValue.value),
+            instrValue.typeAnnotation
+          );
+        }
       } else {
         value = t3.typeCastExpression(
           codegenPlaceToExpression(cx, instrValue.value),
@@ -136477,6 +136506,7 @@ function inferEffectDependencies(fn) {
             });
             value.args.push(__spreadProps(__spreadValues({}, depsPlace), { effect: "freeze" /* Freeze */ }));
             rewriteInstrs.set(instr.id, newInstructions);
+            fn.env.inferredEffectLocations.add(callee.loc);
           } else if (loadGlobals.has(value.args[0].identifier.id)) {
             newInstructions.push({
               id: makeInstructionId(0),
@@ -136486,6 +136516,7 @@ function inferEffectDependencies(fn) {
             });
             value.args.push(__spreadProps(__spreadValues({}, depsPlace), { effect: "freeze" /* Freeze */ }));
             rewriteInstrs.set(instr.id, newInstructions);
+            fn.env.inferredEffectLocations.add(callee.loc);
           }
         }
       }
@@ -143047,6 +143078,7 @@ function compileProgram(program, pass) {
     })
   );
   const retryErrors = [];
+  const inferredEffectLocations = /* @__PURE__ */ new Set();
   const processFn = (fn, fnType) => {
     var _a2, _b2, _c, _d, _e, _f, _g, _h, _i;
     let optInDirectives = [];
@@ -143150,6 +143182,9 @@ function compileProgram(program, pass) {
     if (!pass.opts.noEmit) {
       return compileResult.compiledFn;
     }
+    for (const loc of compileResult.compiledFn.inferredEffectLocations) {
+      if (loc !== GeneratedSource) inferredEffectLocations.add(loc);
+    }
     return null;
   };
   while (queue.length !== 0) {
@@ -143213,7 +143248,7 @@ function compileProgram(program, pass) {
   if (compiledFns.length > 0) {
     addImportsToProgram(program, programContext);
   }
-  return { retryErrors };
+  return { retryErrors, inferredEffectLocations };
 }
 function shouldSkipCompilation(program, pass) {
   if (pass.opts.sources) {
@@ -143907,7 +143942,9 @@ function assertValidEffectImportReference(numArgs, paths, context) {
     const parent = path.parentPath;
     if (parent != null && parent.isCallExpression()) {
       const args = parent.get("arguments");
-      if (args.length === numArgs) {
+      const maybeCalleeLoc = path.node.loc;
+      const hasInferredEffect = maybeCalleeLoc != null && context.inferredEffectLocations.has(maybeCalleeLoc);
+      if (args.length === numArgs && !hasInferredEffect) {
         const maybeErrorDiagnostic = matchCompilerDiagnostic(
           path,
           context.transformErrors
@@ -143941,7 +143978,7 @@ function assertValidFireImportReference(paths, context) {
     );
   }
 }
-function validateNoUntransformedReferences(path, filename, logger, env, transformErrors) {
+function validateNoUntransformedReferences(path, filename, logger, env, compileResult) {
   const moduleLoadChecks = /* @__PURE__ */ new Map();
   if (env.enableFire) {
     for (const module2 of Environment.knownReactModules) {
@@ -143962,7 +143999,7 @@ function validateNoUntransformedReferences(path, filename, logger, env, transfor
     }
   }
   if (moduleLoadChecks.size > 0) {
-    transformProgram(path, moduleLoadChecks, filename, logger, transformErrors);
+    transformProgram(path, moduleLoadChecks, filename, logger, compileResult);
   }
 }
 function validateImportSpecifier(specifier, importSpecifierChecks, state) {
@@ -144020,13 +144057,15 @@ function validateNamespacedImport(specifier, importSpecifierChecks, state) {
     checkFn(references, state);
   }
 }
-function transformProgram(path, moduleLoadChecks, filename, logger, transformErrors) {
+function transformProgram(path, moduleLoadChecks, filename, logger, compileResult) {
+  var _a, _b;
   const traversalState = {
     shouldInvalidateScopes: true,
     program: path,
     filename,
     logger,
-    transformErrors
+    transformErrors: (_a = compileResult == null ? void 0 : compileResult.retryErrors) != null ? _a : [],
+    inferredEffectLocations: (_b = compileResult == null ? void 0 : compileResult.inferredEffectLocations) != null ? _b : /* @__PURE__ */ new Set()
   };
   path.traverse({
     ImportDeclaration(path2) {
@@ -144077,7 +144116,7 @@ function BabelPluginReactCompiler(_babel) {
        */
       Program: {
         enter(prog, pass) {
-          var _a, _b, _c, _d, _e;
+          var _a, _b, _c, _d;
           const filename = (_a = pass.filename) != null ? _a : "unknown";
           if (ENABLE_REACT_COMPILER_TIMINGS === true) {
             performance.mark(`${filename}:start`, {
@@ -144107,7 +144146,7 @@ function BabelPluginReactCompiler(_babel) {
             (_d = pass.filename) != null ? _d : null,
             opts.logger,
             opts.environment,
-            (_e = result == null ? void 0 : result.retryErrors) != null ? _e : []
+            result
           );
           if (ENABLE_REACT_COMPILER_TIMINGS === true) {
             performance.mark(`${filename}:end`, {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "babel-plugin-react-compiler",
-  "version": "0.0.0-experimental-84c28d9-20250326",
+  "version": "0.0.0-experimental-b6140c1-20250328",
   "description": "Babel plugin for React Compiler.",
   "main": "dist/index.js",
   "license": "MIT",