eslint-plugin-react-hooks 6.1.0-canary-4123f6b7-20250826 → 6.1.0-canary-8d7b5e49-20250827

package/cjs/eslint-plugin-react-hooks.development.js

@@ -17972,6 +17972,7 @@ var ErrorCategory;
     ErrorCategory["CapitalizedCalls"] = "CapitalizedCalls";
     ErrorCategory["StaticComponents"] = "StaticComponents";
     ErrorCategory["UseMemo"] = "UseMemo";
+    ErrorCategory["Factories"] = "Factories";
     ErrorCategory["PreserveManualMemo"] = "PreserveManualMemo";
     ErrorCategory["Immutability"] = "Immutability";
     ErrorCategory["Globals"] = "Globals";
@@ -18057,6 +18058,15 @@ function getRuleForCategoryImpl(category) {
                 recommended: true,
             };
         }
+        case ErrorCategory.Factories: {
+            return {
+                category,
+                name: 'component-hook-factories',
+                description: 'Validates against higher order functions defining nested components or hooks. ' +
+                    'Components and hooks should be defined at the module level',
+                recommended: true,
+            };
+        }
         case ErrorCategory.FBT: {
             return {
                 category,
@@ -19467,7 +19477,8 @@ function printType(type) {
         return `:T${type.kind}<${type.shapeId}>`;
     }
     else if (type.kind === 'Function' && type.shapeId != null) {
-        return `:T${type.kind}<${type.shapeId}>`;
+        const returnType = printType(type.return);
+        return `:T${type.kind}<${type.shapeId}>()${returnType !== '' ? `:  ${returnType}` : ''}`;
     }
     else {
         return `:T${type.kind}`;
@@ -19499,6 +19510,7 @@ function getFunctionName$2(instrValue, defaultValue) {
     }
 }
 function printAliasingEffect(effect) {
+    var _a;
     switch (effect.kind) {
         case 'Assign': {
             return `Assign ${printPlaceForAliasEffect(effect.into)} = ${printPlaceForAliasEffect(effect.from)}`;
@@ -19557,7 +19569,7 @@ function printAliasingEffect(effect) {
         case 'MutateConditionally':
         case 'MutateTransitive':
         case 'MutateTransitiveConditionally': {
-            return `${effect.kind} ${printPlaceForAliasEffect(effect.value)}`;
+            return `${effect.kind} ${printPlaceForAliasEffect(effect.value)}${effect.kind === 'Mutate' && ((_a = effect.reason) === null || _a === void 0 ? void 0 : _a.kind) === 'AssignCurrentProperty' ? ' (assign `.current`)' : ''}`;
         }
         case 'MutateFrozen': {
             return `MutateFrozen ${printPlaceForAliasEffect(effect.place)} reason=${JSON.stringify(effect.error.reason)}`;
@@ -21069,7 +21081,7 @@ class HIRBuilder {
         }
     }
     resolveBinding(node) {
-        var _a, _b;
+        var _a, _b, _c;
         if (node.name === 'fbt') {
             CompilerError.throwDiagnostic({
                 severity: ErrorSeverity.Todo,
@@ -21085,6 +21097,21 @@ class HIRBuilder {
                 ],
             });
         }
+        if (node.name === 'this') {
+            CompilerError.throwDiagnostic({
+                severity: ErrorSeverity.UnsupportedJS,
+                category: ErrorCategory.UnsupportedSyntax,
+                reason: '`this` is not supported syntax',
+                description: 'React Compiler does not support compiling functions that use `this`',
+                details: [
+                    {
+                        kind: 'error',
+                        message: '`this` was used here',
+                        loc: (_b = node.loc) !== null && _b !== void 0 ? _b : GeneratedSource,
+                    },
+                ],
+            });
+        }
         const originalName = node.name;
         let name = originalName;
         let index = 0;
@@ -21102,7 +21129,7 @@ class HIRBuilder {
                     },
                     scope: null,
                     type: makeType(),
-                    loc: (_b = node.loc) !== null && _b !== void 0 ? _b : GeneratedSource,
+                    loc: (_c = node.loc) !== null && _c !== void 0 ? _c : GeneratedSource,
                 };
                 __classPrivateFieldGet(this, _HIRBuilder_env, "f").programContext.addNewReference(name);
                 __classPrivateFieldGet(this, _HIRBuilder_bindings, "f").set(name, { node, identifier });
@@ -31611,6 +31638,7 @@ const EnvironmentConfigSchema = zod.z.object({
     enableTreatRefLikeIdentifiersAsRefs: zod.z.boolean().default(true),
     lowerContextAccess: ExternalFunctionSchema.nullable().default(null),
     validateNoVoidUseMemo: zod.z.boolean().default(false),
+    validateNoDynamicallyCreatedComponentsOrHooks: zod.z.boolean().default(false),
 });
 class Environment {
     constructor(scope, fnType, compilerMode, config, contextIdentifiers, parentFunction, logger, filename, code, programContext) {
@@ -40452,6 +40480,18 @@ function computeSignatureForInstruction(context, env, instr) {
                         });
                     }
                 }
+                for (const prop of value.props) {
+                    if (prop.kind === 'JsxAttribute' &&
+                        prop.place.identifier.type.kind === 'Function' &&
+                        (isJsxType(prop.place.identifier.type.return) ||
+                            (prop.place.identifier.type.return.kind === 'Phi' &&
+                                prop.place.identifier.type.return.operands.some(operand => isJsxType(operand))))) {
+                        effects.push({
+                            kind: 'Render',
+                            place: prop.place,
+                        });
+                    }
+                }
             }
             break;
         }
@@ -42224,7 +42264,7 @@ class RewriteBlockIds extends ReactiveFunctionVisitor {
 }
 
 function inferMutationAliasingRanges(fn, { isFunctionExpression }) {
-    var _a, _b, _c, _d, _e, _f;
+    var _a, _b, _c, _d, _e, _f, _g;
     const functionEffects = [];
     const state = new AliasingState();
     const pendingPhis = new Map();
@@ -42291,6 +42331,7 @@ function inferMutationAliasingRanges(fn, { isFunctionExpression }) {
                         kind: effect.kind === 'MutateTransitive'
                             ? MutationKind.Definite
                             : MutationKind.Conditional,
+                        reason: null,
                         place: effect.value,
                     });
                 }
@@ -42303,6 +42344,7 @@ function inferMutationAliasingRanges(fn, { isFunctionExpression }) {
                         kind: effect.kind === 'Mutate'
                             ? MutationKind.Definite
                             : MutationKind.Conditional,
+                        reason: effect.kind === 'Mutate' ? ((_a = effect.reason) !== null && _a !== void 0 ? _a : null) : null,
                         place: effect.value,
                     });
                 }
@@ -42344,7 +42386,7 @@ function inferMutationAliasingRanges(fn, { isFunctionExpression }) {
         }
     }
     for (const mutation of mutations) {
-        state.mutate(mutation.index, mutation.place.identifier, makeInstructionId(mutation.id + 1), mutation.transitive, mutation.kind, mutation.place.loc, errors);
+        state.mutate(mutation.index, mutation.place.identifier, makeInstructionId(mutation.id + 1), mutation.transitive, mutation.kind, mutation.place.loc, mutation.reason, errors);
     }
     for (const render of renders) {
         state.render(render.index, render.place.identifier, errors);
@@ -42369,6 +42411,7 @@ function inferMutationAliasingRanges(fn, { isFunctionExpression }) {
                 functionEffects.push({
                     kind: 'Mutate',
                     value: Object.assign(Object.assign({}, place), { loc: node.local.loc }),
+                    reason: node.mutationReason,
                 });
             }
         }
@@ -42396,7 +42439,7 @@ function inferMutationAliasingRanges(fn, { isFunctionExpression }) {
         for (const phi of block.phis) {
             phi.place.effect = Effect.Store;
             const isPhiMutatedAfterCreation = phi.place.identifier.mutableRange.end >
-                ((_b = (_a = block.instructions.at(0)) === null || _a === void 0 ? void 0 : _a.id) !== null && _b !== void 0 ? _b : block.terminal.id);
+                ((_c = (_b = block.instructions.at(0)) === null || _b === void 0 ? void 0 : _b.id) !== null && _c !== void 0 ? _c : block.terminal.id);
             for (const operand of phi.operands.values()) {
                 operand.effect = isPhiMutatedAfterCreation
                     ? Effect.Capture
@@ -42404,7 +42447,7 @@ function inferMutationAliasingRanges(fn, { isFunctionExpression }) {
             }
             if (isPhiMutatedAfterCreation &&
                 phi.place.identifier.mutableRange.start === 0) {
-                const firstInstructionIdOfBlock = (_d = (_c = block.instructions.at(0)) === null || _c === void 0 ? void 0 : _c.id) !== null && _d !== void 0 ? _d : block.terminal.id;
+                const firstInstructionIdOfBlock = (_e = (_d = block.instructions.at(0)) === null || _d === void 0 ? void 0 : _d.id) !== null && _e !== void 0 ? _e : block.terminal.id;
                 phi.place.identifier.mutableRange.start = makeInstructionId(firstInstructionIdOfBlock - 1);
             }
         }
@@ -42482,7 +42525,7 @@ function inferMutationAliasingRanges(fn, { isFunctionExpression }) {
                 }
             }
             for (const lvalue of eachInstructionLValue(instr)) {
-                const effect = (_e = operandEffects.get(lvalue.identifier.id)) !== null && _e !== void 0 ? _e : Effect.ConditionallyMutate;
+                const effect = (_f = operandEffects.get(lvalue.identifier.id)) !== null && _f !== void 0 ? _f : Effect.ConditionallyMutate;
                 lvalue.effect = effect;
             }
             for (const operand of eachInstructionValueOperand(instr.value)) {
@@ -42490,7 +42533,7 @@ function inferMutationAliasingRanges(fn, { isFunctionExpression }) {
                     operand.identifier.mutableRange.start === 0) {
                     operand.identifier.mutableRange.start = instr.id;
                 }
-                const effect = (_f = operandEffects.get(operand.identifier.id)) !== null && _f !== void 0 ? _f : Effect.Read;
+                const effect = (_g = operandEffects.get(operand.identifier.id)) !== null && _g !== void 0 ? _g : Effect.Read;
                 operand.effect = effect;
             }
             if (instr.value.kind === 'StoreContext' &&
@@ -42528,7 +42571,7 @@ function inferMutationAliasingRanges(fn, { isFunctionExpression }) {
     }
     for (const into of tracked) {
         const mutationIndex = index++;
-        state.mutate(mutationIndex, into.identifier, null, true, MutationKind.Conditional, into.loc, ignoredErrors);
+        state.mutate(mutationIndex, into.identifier, null, true, MutationKind.Conditional, into.loc, null, ignoredErrors);
         for (const from of tracked) {
             if (from.identifier.id === into.identifier.id ||
                 from.identifier.id === fn.returns.identifier.id) {
@@ -42596,6 +42639,7 @@ class AliasingState {
             transitive: null,
             local: null,
             lastMutated: 0,
+            mutationReason: null,
             value,
         });
     }
@@ -42680,7 +42724,8 @@ class AliasingState {
             }
         }
     }
-    mutate(index, start, end, transitive, startKind, loc, errors) {
+    mutate(index, start, end, transitive, startKind, loc, reason, errors) {
+        var _a;
         const seen = new Map();
         const queue = [{ place: start, transitive, direction: 'backwards', kind: startKind }];
         while (queue.length !== 0) {
@@ -42694,6 +42739,7 @@ class AliasingState {
             if (node == null) {
                 continue;
             }
+            (_a = node.mutationReason) !== null && _a !== void 0 ? _a : (node.mutationReason = reason);
             node.lastMutated = Math.max(node.lastMutated, index);
             if (end != null) {
                 node.id.mutableRange.end = makeInstructionId(Math.max(node.id.mutableRange.end, end));
@@ -46745,6 +46791,14 @@ class Unifier {
         if (type.kind === 'Phi') {
             return { kind: 'Phi', operands: type.operands.map(o => this.get(o)) };
         }
+        if (type.kind === 'Function') {
+            return {
+                kind: 'Function',
+                isConstructor: type.isConstructor,
+                shapeId: type.shapeId,
+                return: this.get(type.return),
+            };
+        }
         return type;
     }
 }
@@ -50921,7 +50975,14 @@ function findFunctionsToCompile(program, pass, programContext) {
     var _a;
     const queue = [];
     const traverseFunction = (fn, pass) => {
+        if (pass.opts.compilationMode === 'all' &&
+            fn.scope.getProgramParent() !== fn.scope.parent) {
+            return;
+        }
         const fnType = getReactFunctionType(fn, pass);
+        if (pass.opts.environment.validateNoDynamicallyCreatedComponentsOrHooks) {
+            validateNoDynamicallyCreatedComponentsOrHooks(fn, pass, programContext);
+        }
         if (fnType === null || programContext.alreadyCompiled.has(fn.node)) {
             return;
         }
@@ -51106,6 +51167,52 @@ function shouldSkipCompilation(program, pass) {
     }
     return false;
 }
+function validateNoDynamicallyCreatedComponentsOrHooks(fn, pass, programContext) {
+    const parentNameExpr = getFunctionName$1(fn);
+    const parentName = parentNameExpr !== null && parentNameExpr.isIdentifier()
+        ? parentNameExpr.node.name
+        : '<anonymous>';
+    const validateNestedFunction = (nestedFn) => {
+        var _a, _b, _c, _d;
+        if (nestedFn.node === fn.node ||
+            programContext.alreadyCompiled.has(nestedFn.node)) {
+            return;
+        }
+        if (nestedFn.scope.getProgramParent() !== nestedFn.scope.parent) {
+            const nestedFnType = getReactFunctionType(nestedFn, pass);
+            const nestedFnNameExpr = getFunctionName$1(nestedFn);
+            const nestedName = nestedFnNameExpr !== null && nestedFnNameExpr.isIdentifier()
+                ? nestedFnNameExpr.node.name
+                : '<anonymous>';
+            if (nestedFnType === 'Component' || nestedFnType === 'Hook') {
+                CompilerError.throwDiagnostic({
+                    category: ErrorCategory.Factories,
+                    severity: ErrorSeverity.InvalidReact,
+                    reason: `Components and hooks cannot be created dynamically`,
+                    description: `The function \`${nestedName}\` appears to be a React ${nestedFnType.toLowerCase()}, but it's defined inside \`${parentName}\`. Components and Hooks should always be declared at module scope`,
+                    details: [
+                        {
+                            kind: 'error',
+                            message: 'this function dynamically created a component/hook',
+                            loc: (_b = (_a = parentNameExpr === null || parentNameExpr === void 0 ? void 0 : parentNameExpr.node.loc) !== null && _a !== void 0 ? _a : fn.node.loc) !== null && _b !== void 0 ? _b : null,
+                        },
+                        {
+                            kind: 'error',
+                            message: 'the component is created here',
+                            loc: (_d = (_c = nestedFnNameExpr === null || nestedFnNameExpr === void 0 ? void 0 : nestedFnNameExpr.node.loc) !== null && _c !== void 0 ? _c : nestedFn.node.loc) !== null && _d !== void 0 ? _d : null,
+                        },
+                    ],
+                });
+            }
+        }
+        nestedFn.skip();
+    };
+    fn.traverse({
+        FunctionDeclaration: validateNestedFunction,
+        FunctionExpression: validateNestedFunction,
+        ArrowFunctionExpression: validateNestedFunction,
+    });
+}
 function getReactFunctionType(fn, pass) {
     var _a, _b;
     const hookPattern = pass.opts.environment.hookPattern;
@@ -51135,9 +51242,6 @@ function getReactFunctionType(fn, pass) {
             return componentSyntaxType;
         }
         case 'all': {
-            if (fn.scope.getProgramParent() !== fn.scope.parent) {
-                return null;
-            }
             return (_b = getComponentOrHookLike(fn, hookPattern)) !== null && _b !== void 0 ? _b : 'Other';
         }
         default: {

package/cjs/eslint-plugin-react-hooks.production.js

@@ -17963,6 +17963,7 @@ var ErrorCategory;
     ErrorCategory["CapitalizedCalls"] = "CapitalizedCalls";
     ErrorCategory["StaticComponents"] = "StaticComponents";
     ErrorCategory["UseMemo"] = "UseMemo";
+    ErrorCategory["Factories"] = "Factories";
     ErrorCategory["PreserveManualMemo"] = "PreserveManualMemo";
     ErrorCategory["Immutability"] = "Immutability";
     ErrorCategory["Globals"] = "Globals";
@@ -18048,6 +18049,15 @@ function getRuleForCategoryImpl(category) {
                 recommended: true,
             };
         }
+        case ErrorCategory.Factories: {
+            return {
+                category,
+                name: 'component-hook-factories',
+                description: 'Validates against higher order functions defining nested components or hooks. ' +
+                    'Components and hooks should be defined at the module level',
+                recommended: true,
+            };
+        }
         case ErrorCategory.FBT: {
             return {
                 category,
@@ -19458,7 +19468,8 @@ function printType(type) {
         return `:T${type.kind}<${type.shapeId}>`;
     }
     else if (type.kind === 'Function' && type.shapeId != null) {
-        return `:T${type.kind}<${type.shapeId}>`;
+        const returnType = printType(type.return);
+        return `:T${type.kind}<${type.shapeId}>()${returnType !== '' ? `:  ${returnType}` : ''}`;
     }
     else {
         return `:T${type.kind}`;
@@ -19490,6 +19501,7 @@ function getFunctionName$2(instrValue, defaultValue) {
     }
 }
 function printAliasingEffect(effect) {
+    var _a;
     switch (effect.kind) {
         case 'Assign': {
             return `Assign ${printPlaceForAliasEffect(effect.into)} = ${printPlaceForAliasEffect(effect.from)}`;
@@ -19548,7 +19560,7 @@ function printAliasingEffect(effect) {
         case 'MutateConditionally':
         case 'MutateTransitive':
         case 'MutateTransitiveConditionally': {
-            return `${effect.kind} ${printPlaceForAliasEffect(effect.value)}`;
+            return `${effect.kind} ${printPlaceForAliasEffect(effect.value)}${effect.kind === 'Mutate' && ((_a = effect.reason) === null || _a === void 0 ? void 0 : _a.kind) === 'AssignCurrentProperty' ? ' (assign `.current`)' : ''}`;
         }
         case 'MutateFrozen': {
             return `MutateFrozen ${printPlaceForAliasEffect(effect.place)} reason=${JSON.stringify(effect.error.reason)}`;
@@ -21060,7 +21072,7 @@ class HIRBuilder {
         }
     }
     resolveBinding(node) {
-        var _a, _b;
+        var _a, _b, _c;
         if (node.name === 'fbt') {
             CompilerError.throwDiagnostic({
                 severity: ErrorSeverity.Todo,
@@ -21076,6 +21088,21 @@ class HIRBuilder {
                 ],
             });
         }
+        if (node.name === 'this') {
+            CompilerError.throwDiagnostic({
+                severity: ErrorSeverity.UnsupportedJS,
+                category: ErrorCategory.UnsupportedSyntax,
+                reason: '`this` is not supported syntax',
+                description: 'React Compiler does not support compiling functions that use `this`',
+                details: [
+                    {
+                        kind: 'error',
+                        message: '`this` was used here',
+                        loc: (_b = node.loc) !== null && _b !== void 0 ? _b : GeneratedSource,
+                    },
+                ],
+            });
+        }
         const originalName = node.name;
         let name = originalName;
         let index = 0;
@@ -21093,7 +21120,7 @@ class HIRBuilder {
                     },
                     scope: null,
                     type: makeType(),
-                    loc: (_b = node.loc) !== null && _b !== void 0 ? _b : GeneratedSource,
+                    loc: (_c = node.loc) !== null && _c !== void 0 ? _c : GeneratedSource,
                 };
                 __classPrivateFieldGet(this, _HIRBuilder_env, "f").programContext.addNewReference(name);
                 __classPrivateFieldGet(this, _HIRBuilder_bindings, "f").set(name, { node, identifier });
@@ -31438,6 +31465,7 @@ const EnvironmentConfigSchema = zod.z.object({
     enableTreatRefLikeIdentifiersAsRefs: zod.z.boolean().default(true),
     lowerContextAccess: ExternalFunctionSchema.nullable().default(null),
     validateNoVoidUseMemo: zod.z.boolean().default(false),
+    validateNoDynamicallyCreatedComponentsOrHooks: zod.z.boolean().default(false),
 });
 class Environment {
     constructor(scope, fnType, compilerMode, config, contextIdentifiers, parentFunction, logger, filename, code, programContext) {
@@ -40279,6 +40307,18 @@ function computeSignatureForInstruction(context, env, instr) {
                         });
                     }
                 }
+                for (const prop of value.props) {
+                    if (prop.kind === 'JsxAttribute' &&
+                        prop.place.identifier.type.kind === 'Function' &&
+                        (isJsxType(prop.place.identifier.type.return) ||
+                            (prop.place.identifier.type.return.kind === 'Phi' &&
+                                prop.place.identifier.type.return.operands.some(operand => isJsxType(operand))))) {
+                        effects.push({
+                            kind: 'Render',
+                            place: prop.place,
+                        });
+                    }
+                }
             }
             break;
         }
@@ -42051,7 +42091,7 @@ class RewriteBlockIds extends ReactiveFunctionVisitor {
 }
 
 function inferMutationAliasingRanges(fn, { isFunctionExpression }) {
-    var _a, _b, _c, _d, _e, _f;
+    var _a, _b, _c, _d, _e, _f, _g;
     const functionEffects = [];
     const state = new AliasingState();
     const pendingPhis = new Map();
@@ -42118,6 +42158,7 @@ function inferMutationAliasingRanges(fn, { isFunctionExpression }) {
                         kind: effect.kind === 'MutateTransitive'
                             ? MutationKind.Definite
                             : MutationKind.Conditional,
+                        reason: null,
                         place: effect.value,
                     });
                 }
@@ -42130,6 +42171,7 @@ function inferMutationAliasingRanges(fn, { isFunctionExpression }) {
                         kind: effect.kind === 'Mutate'
                             ? MutationKind.Definite
                             : MutationKind.Conditional,
+                        reason: effect.kind === 'Mutate' ? ((_a = effect.reason) !== null && _a !== void 0 ? _a : null) : null,
                         place: effect.value,
                     });
                 }
@@ -42171,7 +42213,7 @@ function inferMutationAliasingRanges(fn, { isFunctionExpression }) {
         }
     }
     for (const mutation of mutations) {
-        state.mutate(mutation.index, mutation.place.identifier, makeInstructionId(mutation.id + 1), mutation.transitive, mutation.kind, mutation.place.loc, errors);
+        state.mutate(mutation.index, mutation.place.identifier, makeInstructionId(mutation.id + 1), mutation.transitive, mutation.kind, mutation.place.loc, mutation.reason, errors);
     }
     for (const render of renders) {
         state.render(render.index, render.place.identifier, errors);
@@ -42196,6 +42238,7 @@ function inferMutationAliasingRanges(fn, { isFunctionExpression }) {
                 functionEffects.push({
                     kind: 'Mutate',
                     value: Object.assign(Object.assign({}, place), { loc: node.local.loc }),
+                    reason: node.mutationReason,
                 });
             }
         }
@@ -42223,7 +42266,7 @@ function inferMutationAliasingRanges(fn, { isFunctionExpression }) {
         for (const phi of block.phis) {
             phi.place.effect = Effect.Store;
             const isPhiMutatedAfterCreation = phi.place.identifier.mutableRange.end >
-                ((_b = (_a = block.instructions.at(0)) === null || _a === void 0 ? void 0 : _a.id) !== null && _b !== void 0 ? _b : block.terminal.id);
+                ((_c = (_b = block.instructions.at(0)) === null || _b === void 0 ? void 0 : _b.id) !== null && _c !== void 0 ? _c : block.terminal.id);
             for (const operand of phi.operands.values()) {
                 operand.effect = isPhiMutatedAfterCreation
                     ? Effect.Capture
@@ -42231,7 +42274,7 @@ function inferMutationAliasingRanges(fn, { isFunctionExpression }) {
             }
             if (isPhiMutatedAfterCreation &&
                 phi.place.identifier.mutableRange.start === 0) {
-                const firstInstructionIdOfBlock = (_d = (_c = block.instructions.at(0)) === null || _c === void 0 ? void 0 : _c.id) !== null && _d !== void 0 ? _d : block.terminal.id;
+                const firstInstructionIdOfBlock = (_e = (_d = block.instructions.at(0)) === null || _d === void 0 ? void 0 : _d.id) !== null && _e !== void 0 ? _e : block.terminal.id;
                 phi.place.identifier.mutableRange.start = makeInstructionId(firstInstructionIdOfBlock - 1);
             }
         }
@@ -42309,7 +42352,7 @@ function inferMutationAliasingRanges(fn, { isFunctionExpression }) {
                 }
             }
             for (const lvalue of eachInstructionLValue(instr)) {
-                const effect = (_e = operandEffects.get(lvalue.identifier.id)) !== null && _e !== void 0 ? _e : Effect.ConditionallyMutate;
+                const effect = (_f = operandEffects.get(lvalue.identifier.id)) !== null && _f !== void 0 ? _f : Effect.ConditionallyMutate;
                 lvalue.effect = effect;
             }
             for (const operand of eachInstructionValueOperand(instr.value)) {
@@ -42317,7 +42360,7 @@ function inferMutationAliasingRanges(fn, { isFunctionExpression }) {
                     operand.identifier.mutableRange.start === 0) {
                     operand.identifier.mutableRange.start = instr.id;
                 }
-                const effect = (_f = operandEffects.get(operand.identifier.id)) !== null && _f !== void 0 ? _f : Effect.Read;
+                const effect = (_g = operandEffects.get(operand.identifier.id)) !== null && _g !== void 0 ? _g : Effect.Read;
                 operand.effect = effect;
             }
             if (instr.value.kind === 'StoreContext' &&
@@ -42355,7 +42398,7 @@ function inferMutationAliasingRanges(fn, { isFunctionExpression }) {
     }
     for (const into of tracked) {
         const mutationIndex = index++;
-        state.mutate(mutationIndex, into.identifier, null, true, MutationKind.Conditional, into.loc, ignoredErrors);
+        state.mutate(mutationIndex, into.identifier, null, true, MutationKind.Conditional, into.loc, null, ignoredErrors);
         for (const from of tracked) {
             if (from.identifier.id === into.identifier.id ||
                 from.identifier.id === fn.returns.identifier.id) {
@@ -42423,6 +42466,7 @@ class AliasingState {
             transitive: null,
             local: null,
             lastMutated: 0,
+            mutationReason: null,
             value,
         });
     }
@@ -42507,7 +42551,8 @@ class AliasingState {
             }
         }
     }
-    mutate(index, start, end, transitive, startKind, loc, errors) {
+    mutate(index, start, end, transitive, startKind, loc, reason, errors) {
+        var _a;
         const seen = new Map();
         const queue = [{ place: start, transitive, direction: 'backwards', kind: startKind }];
         while (queue.length !== 0) {
@@ -42521,6 +42566,7 @@ class AliasingState {
             if (node == null) {
                 continue;
             }
+            (_a = node.mutationReason) !== null && _a !== void 0 ? _a : (node.mutationReason = reason);
             node.lastMutated = Math.max(node.lastMutated, index);
             if (end != null) {
                 node.id.mutableRange.end = makeInstructionId(Math.max(node.id.mutableRange.end, end));
@@ -46572,6 +46618,14 @@ class Unifier {
         if (type.kind === 'Phi') {
             return { kind: 'Phi', operands: type.operands.map(o => this.get(o)) };
         }
+        if (type.kind === 'Function') {
+            return {
+                kind: 'Function',
+                isConstructor: type.isConstructor,
+                shapeId: type.shapeId,
+                return: this.get(type.return),
+            };
+        }
         return type;
     }
 }
@@ -50748,7 +50802,14 @@ function findFunctionsToCompile(program, pass, programContext) {
     var _a;
     const queue = [];
     const traverseFunction = (fn, pass) => {
+        if (pass.opts.compilationMode === 'all' &&
+            fn.scope.getProgramParent() !== fn.scope.parent) {
+            return;
+        }
         const fnType = getReactFunctionType(fn, pass);
+        if (pass.opts.environment.validateNoDynamicallyCreatedComponentsOrHooks) {
+            validateNoDynamicallyCreatedComponentsOrHooks(fn, pass, programContext);
+        }
         if (fnType === null || programContext.alreadyCompiled.has(fn.node)) {
             return;
         }
@@ -50933,6 +50994,52 @@ function shouldSkipCompilation(program, pass) {
     }
     return false;
 }
+function validateNoDynamicallyCreatedComponentsOrHooks(fn, pass, programContext) {
+    const parentNameExpr = getFunctionName$1(fn);
+    const parentName = parentNameExpr !== null && parentNameExpr.isIdentifier()
+        ? parentNameExpr.node.name
+        : '<anonymous>';
+    const validateNestedFunction = (nestedFn) => {
+        var _a, _b, _c, _d;
+        if (nestedFn.node === fn.node ||
+            programContext.alreadyCompiled.has(nestedFn.node)) {
+            return;
+        }
+        if (nestedFn.scope.getProgramParent() !== nestedFn.scope.parent) {
+            const nestedFnType = getReactFunctionType(nestedFn, pass);
+            const nestedFnNameExpr = getFunctionName$1(nestedFn);
+            const nestedName = nestedFnNameExpr !== null && nestedFnNameExpr.isIdentifier()
+                ? nestedFnNameExpr.node.name
+                : '<anonymous>';
+            if (nestedFnType === 'Component' || nestedFnType === 'Hook') {
+                CompilerError.throwDiagnostic({
+                    category: ErrorCategory.Factories,
+                    severity: ErrorSeverity.InvalidReact,
+                    reason: `Components and hooks cannot be created dynamically`,
+                    description: `The function \`${nestedName}\` appears to be a React ${nestedFnType.toLowerCase()}, but it's defined inside \`${parentName}\`. Components and Hooks should always be declared at module scope`,
+                    details: [
+                        {
+                            kind: 'error',
+                            message: 'this function dynamically created a component/hook',
+                            loc: (_b = (_a = parentNameExpr === null || parentNameExpr === void 0 ? void 0 : parentNameExpr.node.loc) !== null && _a !== void 0 ? _a : fn.node.loc) !== null && _b !== void 0 ? _b : null,
+                        },
+                        {
+                            kind: 'error',
+                            message: 'the component is created here',
+                            loc: (_d = (_c = nestedFnNameExpr === null || nestedFnNameExpr === void 0 ? void 0 : nestedFnNameExpr.node.loc) !== null && _c !== void 0 ? _c : nestedFn.node.loc) !== null && _d !== void 0 ? _d : null,
+                        },
+                    ],
+                });
+            }
+        }
+        nestedFn.skip();
+    };
+    fn.traverse({
+        FunctionDeclaration: validateNestedFunction,
+        FunctionExpression: validateNestedFunction,
+        ArrowFunctionExpression: validateNestedFunction,
+    });
+}
 function getReactFunctionType(fn, pass) {
     var _a, _b;
     const hookPattern = pass.opts.environment.hookPattern;
@@ -50962,9 +51069,6 @@ function getReactFunctionType(fn, pass) {
             return componentSyntaxType;
         }
         case 'all': {
-            if (fn.scope.getProgramParent() !== fn.scope.parent) {
-                return null;
-            }
             return (_b = getComponentOrHookLike(fn, hookPattern)) !== null && _b !== void 0 ? _b : 'Other';
         }
         default: {

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "eslint-plugin-react-hooks",
   "description": "ESLint rules for React Hooks",
-  "version": "6.1.0-canary-4123f6b7-20250826",
+  "version": "6.1.0-canary-8d7b5e49-20250827",
   "repository": {
     "type": "git",
     "url": "https://github.com/facebook/react.git",