eslint-plugin-react-hooks 7.1.0-canary-80cb7a99-20251211 → 7.1.0-canary-b061b597-20251212

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

@@ -26148,7 +26148,7 @@ function lowerIdentifierForAssignment(builder, loc, kind, path) {
     return place;
 }
 function lowerAssignment(builder, loc, kind, lvaluePath, value, assignmentKind) {
-    var _a, _b, _c, _d, _e, _f, _g, _h, _j, _k, _l, _m, _o, _p, _q, _r, _s, _t, _u, _v, _w, _x, _y, _z, _0, _1, _2;
+    var _a, _b, _c, _d, _e, _f, _g, _h, _j, _k, _l, _m, _o, _p, _q, _r, _s, _t, _u, _v, _w, _x, _y, _z, _0, _1, _2, _3, _4;
     const lvalueNode = lvaluePath.node;
     switch (lvalueNode.type) {
         case 'Identifier': {
@@ -26381,13 +26381,14 @@ function lowerAssignment(builder, loc, kind, lvaluePath, value, assignmentKind)
                     pattern: {
                         kind: 'ArrayPattern',
                         items,
+                        loc: (_p = lvalue.node.loc) !== null && _p !== void 0 ? _p : GeneratedSource,
                     },
                 },
                 value,
                 loc,
             });
             for (const { place, path } of followups) {
-                lowerAssignment(builder, (_p = path.node.loc) !== null && _p !== void 0 ? _p : loc, kind, path, place, assignmentKind);
+                lowerAssignment(builder, (_q = path.node.loc) !== null && _q !== void 0 ? _q : loc, kind, path, place, assignmentKind);
             }
             return { kind: 'LoadLocal', place: temporary, loc: value.loc };
         }
@@ -26409,14 +26410,14 @@ function lowerAssignment(builder, loc, kind, lvaluePath, value, assignmentKind)
                         builder.errors.push({
                             reason: `(BuildHIR::lowerAssignment) Handle ${argument.node.type} rest element in ObjectPattern`,
                             category: ErrorCategory.Todo,
-                            loc: (_q = argument.node.loc) !== null && _q !== void 0 ? _q : null,
+                            loc: (_r = argument.node.loc) !== null && _r !== void 0 ? _r : null,
                             suggestions: null,
                         });
                         continue;
                     }
                     if (forceTemporaries ||
                         getStoreKind(builder, argument) === 'StoreContext') {
-                        const temp = buildTemporaryPlace(builder, (_r = property.node.loc) !== null && _r !== void 0 ? _r : GeneratedSource);
+                        const temp = buildTemporaryPlace(builder, (_s = property.node.loc) !== null && _s !== void 0 ? _s : GeneratedSource);
                         promoteTemporary(temp.identifier);
                         properties.push({
                             kind: 'Spread',
@@ -26425,7 +26426,7 @@ function lowerAssignment(builder, loc, kind, lvaluePath, value, assignmentKind)
                         followups.push({ place: temp, path: argument });
                     }
                     else {
-                        const identifier = lowerIdentifierForAssignment(builder, (_s = property.node.loc) !== null && _s !== void 0 ? _s : GeneratedSource, kind, argument);
+                        const identifier = lowerIdentifierForAssignment(builder, (_t = property.node.loc) !== null && _t !== void 0 ? _t : GeneratedSource, kind, argument);
                         if (identifier === null) {
                             continue;
                         }
@@ -26433,7 +26434,7 @@ function lowerAssignment(builder, loc, kind, lvaluePath, value, assignmentKind)
                             builder.errors.push({
                                 category: ErrorCategory.Todo,
                                 reason: 'Expected reassignment of globals to enable forceTemporaries',
-                                loc: (_t = property.node.loc) !== null && _t !== void 0 ? _t : GeneratedSource,
+                                loc: (_u = property.node.loc) !== null && _u !== void 0 ? _u : GeneratedSource,
                             });
                             continue;
                         }
@@ -26448,7 +26449,7 @@ function lowerAssignment(builder, loc, kind, lvaluePath, value, assignmentKind)
                         builder.errors.push({
                             reason: `(BuildHIR::lowerAssignment) Handle ${property.type} properties in ObjectPattern`,
                             category: ErrorCategory.Todo,
-                            loc: (_u = property.node.loc) !== null && _u !== void 0 ? _u : null,
+                            loc: (_v = property.node.loc) !== null && _v !== void 0 ? _v : null,
                             suggestions: null,
                         });
                         continue;
@@ -26457,7 +26458,7 @@ function lowerAssignment(builder, loc, kind, lvaluePath, value, assignmentKind)
                         builder.errors.push({
                             reason: `(BuildHIR::lowerAssignment) Handle computed properties in ObjectPattern`,
                             category: ErrorCategory.Todo,
-                            loc: (_v = property.node.loc) !== null && _v !== void 0 ? _v : null,
+                            loc: (_w = property.node.loc) !== null && _w !== void 0 ? _w : null,
                             suggestions: null,
                         });
                         continue;
@@ -26471,7 +26472,7 @@ function lowerAssignment(builder, loc, kind, lvaluePath, value, assignmentKind)
                         builder.errors.push({
                             reason: `(BuildHIR::lowerAssignment) Expected object property value to be an LVal, got: ${element.type}`,
                             category: ErrorCategory.Todo,
-                            loc: (_w = element.node.loc) !== null && _w !== void 0 ? _w : null,
+                            loc: (_x = element.node.loc) !== null && _x !== void 0 ? _x : null,
                             suggestions: null,
                         });
                         continue;
@@ -26480,7 +26481,7 @@ function lowerAssignment(builder, loc, kind, lvaluePath, value, assignmentKind)
                         !forceTemporaries &&
                         (assignmentKind === 'Assignment' ||
                             getStoreKind(builder, element) === 'StoreLocal')) {
-                        const identifier = lowerIdentifierForAssignment(builder, (_x = element.node.loc) !== null && _x !== void 0 ? _x : GeneratedSource, kind, element);
+                        const identifier = lowerIdentifierForAssignment(builder, (_y = element.node.loc) !== null && _y !== void 0 ? _y : GeneratedSource, kind, element);
                         if (identifier === null) {
                             continue;
                         }
@@ -26488,7 +26489,7 @@ function lowerAssignment(builder, loc, kind, lvaluePath, value, assignmentKind)
                             builder.errors.push({
                                 category: ErrorCategory.Todo,
                                 reason: 'Expected reassignment of globals to enable forceTemporaries',
-                                loc: (_y = element.node.loc) !== null && _y !== void 0 ? _y : GeneratedSource,
+                                loc: (_z = element.node.loc) !== null && _z !== void 0 ? _z : GeneratedSource,
                             });
                             continue;
                         }
@@ -26500,7 +26501,7 @@ function lowerAssignment(builder, loc, kind, lvaluePath, value, assignmentKind)
                         });
                     }
                     else {
-                        const temp = buildTemporaryPlace(builder, (_z = element.node.loc) !== null && _z !== void 0 ? _z : GeneratedSource);
+                        const temp = buildTemporaryPlace(builder, (_0 = element.node.loc) !== null && _0 !== void 0 ? _0 : GeneratedSource);
                         promoteTemporary(temp.identifier);
                         properties.push({
                             kind: 'ObjectProperty',
@@ -26519,19 +26520,20 @@ function lowerAssignment(builder, loc, kind, lvaluePath, value, assignmentKind)
                     pattern: {
                         kind: 'ObjectPattern',
                         properties,
+                        loc: (_1 = lvalue.node.loc) !== null && _1 !== void 0 ? _1 : GeneratedSource,
                     },
                 },
                 value,
                 loc,
             });
             for (const { place, path } of followups) {
-                lowerAssignment(builder, (_0 = path.node.loc) !== null && _0 !== void 0 ? _0 : loc, kind, path, place, assignmentKind);
+                lowerAssignment(builder, (_2 = path.node.loc) !== null && _2 !== void 0 ? _2 : loc, kind, path, place, assignmentKind);
             }
             return { kind: 'LoadLocal', place: temporary, loc: value.loc };
         }
         case 'AssignmentPattern': {
             const lvalue = lvaluePath;
-            const loc = (_1 = lvalue.node.loc) !== null && _1 !== void 0 ? _1 : GeneratedSource;
+            const loc = (_3 = lvalue.node.loc) !== null && _3 !== void 0 ? _3 : GeneratedSource;
             const temp = buildTemporaryPlace(builder, loc);
             const testBlock = builder.reserve('value');
             const continuationBlock = builder.reserve(builder.currentBlockKind());
@@ -26602,7 +26604,7 @@ function lowerAssignment(builder, loc, kind, lvaluePath, value, assignmentKind)
             builder.errors.push({
                 reason: `(BuildHIR::lowerAssignment) Handle ${lvaluePath.type} assignments`,
                 category: ErrorCategory.Todo,
-                loc: (_2 = lvaluePath.node.loc) !== null && _2 !== void 0 ? _2 : null,
+                loc: (_4 = lvaluePath.node.loc) !== null && _4 !== void 0 ? _4 : null,
                 suggestions: null,
             });
             return { kind: 'UnsupportedNode', node: lvalueNode, loc };
@@ -37853,7 +37855,7 @@ function codegenReactiveScope(cx, statements, scope, block) {
         const name = convertIdentifier(identifier);
         outputComments.push(name.name);
         if (!cx.hasDeclared(identifier)) {
-            statements.push(libExports$1.variableDeclaration('let', [libExports$1.variableDeclarator(name)]));
+            statements.push(libExports$1.variableDeclaration('let', [createVariableDeclarator(name, null)]));
         }
         cacheLoads.push({ name, index, value: wrapCacheDep(cx, name) });
         cx.declare(identifier);
@@ -38334,7 +38336,7 @@ function codegenInstructionNullable(cx, instr) {
                     suggestions: null,
                 });
                 return createVariableDeclaration(instr.loc, 'const', [
-                    libExports$1.variableDeclarator(codegenLValue(cx, lvalue), value),
+                    createVariableDeclarator(codegenLValue(cx, lvalue), value),
                 ]);
             }
             case InstructionKind.Function: {
@@ -38391,7 +38393,7 @@ function codegenInstructionNullable(cx, instr) {
                     suggestions: null,
                 });
                 return createVariableDeclaration(instr.loc, 'let', [
-                    libExports$1.variableDeclarator(codegenLValue(cx, lvalue), value),
+                    createVariableDeclarator(codegenLValue(cx, lvalue), value),
                 ]);
             }
             case InstructionKind.Reassign: {
@@ -38599,6 +38601,9 @@ function withLoc(fn) {
         return node;
     };
 }
+const createIdentifier = withLoc(libExports$1.identifier);
+const createArrayPattern = withLoc(libExports$1.arrayPattern);
+const createObjectPattern = withLoc(libExports$1.objectPattern);
 const createBinaryExpression = withLoc(libExports$1.binaryExpression);
 const createExpressionStatement = withLoc(libExports$1.expressionStatement);
 const createVariableDeclaration = withLoc(libExports$1.variableDeclaration);
@@ -38628,6 +38633,19 @@ const createThrowStatement = withLoc(libExports$1.throwStatement);
 const createTryStatement = withLoc(libExports$1.tryStatement);
 const createBreakStatement = withLoc(libExports$1.breakStatement);
 const createContinueStatement = withLoc(libExports$1.continueStatement);
+function createVariableDeclarator(id, init) {
+    var _a, _b;
+    const node = libExports$1.variableDeclarator(id, init);
+    if (id.loc && (init === null || (init === null || init === void 0 ? void 0 : init.loc))) {
+        node.loc = {
+            start: id.loc.start,
+            end: (_b = (_a = init === null || init === void 0 ? void 0 : init.loc) === null || _a === void 0 ? void 0 : _a.end) !== null && _b !== void 0 ? _b : id.loc.end,
+            filename: id.loc.filename,
+            identifierName: undefined,
+        };
+    }
+    return node;
+}
 function createHookGuard(guard, context, stmts, before, after) {
     const guardFnName = context.addImportSpecifier(guard).name;
     function createHookGuardImpl(kind) {
@@ -38672,7 +38690,7 @@ function codegenInstruction(cx, instr, value) {
         }
         else {
             return createVariableDeclaration(instr.loc, 'const', [
-                libExports$1.variableDeclarator(convertIdentifier(instr.lvalue.identifier), expressionValue),
+                createVariableDeclarator(convertIdentifier(instr.lvalue.identifier), expressionValue),
             ]);
         }
     }
@@ -39322,7 +39340,7 @@ function codegenObjectPropertyKey(cx, key) {
 function codegenArrayPattern(cx, pattern) {
     const hasHoles = !pattern.items.every(e => e.kind !== 'Hole');
     if (hasHoles) {
-        const result = libExports$1.arrayPattern([]);
+        const result = createArrayPattern(pattern.loc, []);
         for (const item of pattern.items) {
             if (item.kind === 'Hole') {
                 result.elements.push(null);
@@ -39334,7 +39352,7 @@ function codegenArrayPattern(cx, pattern) {
         return result;
     }
     else {
-        return libExports$1.arrayPattern(pattern.items.map(item => {
+        return createArrayPattern(pattern.loc, pattern.items.map(item => {
             if (item.kind === 'Hole') {
                 return null;
             }
@@ -39348,7 +39366,7 @@ function codegenLValue(cx, pattern) {
             return codegenArrayPattern(cx, pattern);
         }
         case 'ObjectPattern': {
-            return libExports$1.objectPattern(pattern.properties.map(property => {
+            return createObjectPattern(pattern.loc, pattern.properties.map(property => {
                 if (property.kind === 'ObjectProperty') {
                     const key = codegenObjectPropertyKey(cx, property.key);
                     const value = codegenLValue(cx, property.place);
@@ -39443,7 +39461,7 @@ function convertIdentifier(identifier) {
         description: `identifier ${identifier.id} is unnamed`,
         suggestions: null,
     });
-    return libExports$1.identifier(identifier.name.value);
+    return createIdentifier(identifier.loc, identifier.name.value);
 }
 function compareScopeDependency(a, b) {
     var _a, _b;
@@ -50546,6 +50564,8 @@ const IMPORTANT_INSTRUMENTED_TYPES = new Set([
     'LabeledStatement',
     'ConditionalExpression',
     'LogicalExpression',
+    'VariableDeclaration',
+    'Identifier',
 ]);
 function isManualMemoization(node) {
     if (libExports$1.isCallExpression(node)) {
@@ -50580,17 +50600,30 @@ function validateSourceLocations(func, generatedAst) {
             }
             if (node.loc) {
                 const key = locationKey(node.loc);
-                importantOriginalLocations.set(key, {
-                    loc: node.loc,
-                    nodeType: node.type,
-                });
+                const existing = importantOriginalLocations.get(key);
+                if (existing) {
+                    existing.nodeTypes.add(node.type);
+                }
+                else {
+                    importantOriginalLocations.set(key, {
+                        loc: node.loc,
+                        nodeTypes: new Set([node.type]),
+                    });
+                }
             }
         },
     });
-    const generatedLocations = new Set();
+    const generatedLocations = new Map();
     function collectGeneratedLocations(node) {
         if (node.loc) {
-            generatedLocations.add(locationKey(node.loc));
+            const key = locationKey(node.loc);
+            const nodeTypes = generatedLocations.get(key);
+            if (nodeTypes) {
+                nodeTypes.add(node.type);
+            }
+            else {
+                generatedLocations.set(key, new Set([node.type]));
+            }
         }
         const keys = libExports$1.VISITOR_KEYS[node.type];
         if (!keys) {
@@ -50614,18 +50647,53 @@ function validateSourceLocations(func, generatedAst) {
     for (const outlined of generatedAst.outlined) {
         collectGeneratedLocations(outlined.fn.body);
     }
-    for (const [key, { loc, nodeType }] of importantOriginalLocations) {
-        if (!generatedLocations.has(key)) {
-            errors.pushDiagnostic(CompilerDiagnostic.create({
-                category: ErrorCategory.Todo,
-                reason: 'Important source location missing in generated code',
-                description: `Source location for ${nodeType} is missing in the generated output. This can cause coverage instrumentation ` +
-                    `to fail to track this code properly, resulting in inaccurate coverage reports.`,
-            }).withDetails({
-                kind: 'error',
-                loc,
-                message: null,
-            }));
+    const strictNodeTypes = new Set([
+        'VariableDeclaration',
+        'VariableDeclarator',
+        'Identifier',
+    ]);
+    const reportMissingLocation = (loc, nodeType) => {
+        errors.pushDiagnostic(CompilerDiagnostic.create({
+            category: ErrorCategory.Todo,
+            reason: 'Important source location missing in generated code',
+            description: `Source location for ${nodeType} is missing in the generated output. This can cause coverage instrumentation ` +
+                `to fail to track this code properly, resulting in inaccurate coverage reports.`,
+        }).withDetails({
+            kind: 'error',
+            loc,
+            message: null,
+        }));
+    };
+    const reportWrongNodeType = (loc, expectedType, actualTypes) => {
+        errors.pushDiagnostic(CompilerDiagnostic.create({
+            category: ErrorCategory.Todo,
+            reason: 'Important source location has wrong node type in generated code',
+            description: `Source location for ${expectedType} exists in the generated output but with wrong node type(s): ${Array.from(actualTypes).join(', ')}. ` +
+                `This can cause coverage instrumentation to fail to track this code properly, resulting in inaccurate coverage reports.`,
+        }).withDetails({
+            kind: 'error',
+            loc,
+            message: null,
+        }));
+    };
+    for (const [key, { loc, nodeTypes }] of importantOriginalLocations) {
+        const generatedNodeTypes = generatedLocations.get(key);
+        if (!generatedNodeTypes) {
+            reportMissingLocation(loc, Array.from(nodeTypes).join(', '));
+        }
+        else {
+            for (const nodeType of nodeTypes) {
+                if (strictNodeTypes.has(nodeType) &&
+                    !generatedNodeTypes.has(nodeType)) {
+                    const hasValidNodeType = Array.from(generatedNodeTypes).some(genType => nodeTypes.has(genType));
+                    if (hasValidNodeType) {
+                        reportMissingLocation(loc, nodeType);
+                    }
+                    else {
+                        reportWrongNodeType(loc, nodeType, generatedNodeTypes);
+                    }
+                }
+            }
         }
     }
     return errors.asResult();
@@ -51810,6 +51878,7 @@ function emitDestructureProps(env, propsObj, oldToNewProps) {
                 pattern: {
                     kind: 'ObjectPattern',
                     properties,
+                    loc: GeneratedSource,
                 },
                 kind: InstructionKind.Let,
             },
@@ -54356,16 +54425,17 @@ function runWithEnvironment(func, env) {
         if (env.config.validateNoSetStateInRender) {
             validateNoSetStateInRender(hir).unwrap();
         }
-        if (env.config.validateNoDerivedComputationsInEffects_exp) {
+        if (env.config.validateNoDerivedComputationsInEffects_exp &&
+            env.outputMode === 'lint') {
             env.logErrors(validateNoDerivedComputationsInEffects_exp(hir));
         }
         else if (env.config.validateNoDerivedComputationsInEffects) {
             validateNoDerivedComputationsInEffects(hir);
         }
-        if (env.config.validateNoSetStateInEffects) {
+        if (env.config.validateNoSetStateInEffects && env.outputMode === 'lint') {
             env.logErrors(validateNoSetStateInEffects(hir, env));
         }
-        if (env.config.validateNoJSXInTryStatements) {
+        if (env.config.validateNoJSXInTryStatements && env.outputMode === 'lint') {
             env.logErrors(validateNoJSXInTryStatement(hir));
         }
         if (env.config.validateNoImpureFunctionsInRender) {
@@ -54387,7 +54457,9 @@ function runWithEnvironment(func, env) {
         name: 'RewriteInstructionKindsBasedOnReassignment',
         value: hir,
     });
-    if (env.enableValidations && env.config.validateStaticComponents) {
+    if (env.enableValidations &&
+        env.config.validateStaticComponents &&
+        env.outputMode === 'lint') {
         env.logErrors(validateStaticComponents(hir));
     }
     if (env.enableMemoization) {

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

@@ -26139,7 +26139,7 @@ function lowerIdentifierForAssignment(builder, loc, kind, path) {
     return place;
 }
 function lowerAssignment(builder, loc, kind, lvaluePath, value, assignmentKind) {
-    var _a, _b, _c, _d, _e, _f, _g, _h, _j, _k, _l, _m, _o, _p, _q, _r, _s, _t, _u, _v, _w, _x, _y, _z, _0, _1, _2;
+    var _a, _b, _c, _d, _e, _f, _g, _h, _j, _k, _l, _m, _o, _p, _q, _r, _s, _t, _u, _v, _w, _x, _y, _z, _0, _1, _2, _3, _4;
     const lvalueNode = lvaluePath.node;
     switch (lvalueNode.type) {
         case 'Identifier': {
@@ -26372,13 +26372,14 @@ function lowerAssignment(builder, loc, kind, lvaluePath, value, assignmentKind)
                     pattern: {
                         kind: 'ArrayPattern',
                         items,
+                        loc: (_p = lvalue.node.loc) !== null && _p !== void 0 ? _p : GeneratedSource,
                     },
                 },
                 value,
                 loc,
             });
             for (const { place, path } of followups) {
-                lowerAssignment(builder, (_p = path.node.loc) !== null && _p !== void 0 ? _p : loc, kind, path, place, assignmentKind);
+                lowerAssignment(builder, (_q = path.node.loc) !== null && _q !== void 0 ? _q : loc, kind, path, place, assignmentKind);
             }
             return { kind: 'LoadLocal', place: temporary, loc: value.loc };
         }
@@ -26400,14 +26401,14 @@ function lowerAssignment(builder, loc, kind, lvaluePath, value, assignmentKind)
                         builder.errors.push({
                             reason: `(BuildHIR::lowerAssignment) Handle ${argument.node.type} rest element in ObjectPattern`,
                             category: ErrorCategory.Todo,
-                            loc: (_q = argument.node.loc) !== null && _q !== void 0 ? _q : null,
+                            loc: (_r = argument.node.loc) !== null && _r !== void 0 ? _r : null,
                             suggestions: null,
                         });
                         continue;
                     }
                     if (forceTemporaries ||
                         getStoreKind(builder, argument) === 'StoreContext') {
-                        const temp = buildTemporaryPlace(builder, (_r = property.node.loc) !== null && _r !== void 0 ? _r : GeneratedSource);
+                        const temp = buildTemporaryPlace(builder, (_s = property.node.loc) !== null && _s !== void 0 ? _s : GeneratedSource);
                         promoteTemporary(temp.identifier);
                         properties.push({
                             kind: 'Spread',
@@ -26416,7 +26417,7 @@ function lowerAssignment(builder, loc, kind, lvaluePath, value, assignmentKind)
                         followups.push({ place: temp, path: argument });
                     }
                     else {
-                        const identifier = lowerIdentifierForAssignment(builder, (_s = property.node.loc) !== null && _s !== void 0 ? _s : GeneratedSource, kind, argument);
+                        const identifier = lowerIdentifierForAssignment(builder, (_t = property.node.loc) !== null && _t !== void 0 ? _t : GeneratedSource, kind, argument);
                         if (identifier === null) {
                             continue;
                         }
@@ -26424,7 +26425,7 @@ function lowerAssignment(builder, loc, kind, lvaluePath, value, assignmentKind)
                             builder.errors.push({
                                 category: ErrorCategory.Todo,
                                 reason: 'Expected reassignment of globals to enable forceTemporaries',
-                                loc: (_t = property.node.loc) !== null && _t !== void 0 ? _t : GeneratedSource,
+                                loc: (_u = property.node.loc) !== null && _u !== void 0 ? _u : GeneratedSource,
                             });
                             continue;
                         }
@@ -26439,7 +26440,7 @@ function lowerAssignment(builder, loc, kind, lvaluePath, value, assignmentKind)
                         builder.errors.push({
                             reason: `(BuildHIR::lowerAssignment) Handle ${property.type} properties in ObjectPattern`,
                             category: ErrorCategory.Todo,
-                            loc: (_u = property.node.loc) !== null && _u !== void 0 ? _u : null,
+                            loc: (_v = property.node.loc) !== null && _v !== void 0 ? _v : null,
                             suggestions: null,
                         });
                         continue;
@@ -26448,7 +26449,7 @@ function lowerAssignment(builder, loc, kind, lvaluePath, value, assignmentKind)
                         builder.errors.push({
                             reason: `(BuildHIR::lowerAssignment) Handle computed properties in ObjectPattern`,
                             category: ErrorCategory.Todo,
-                            loc: (_v = property.node.loc) !== null && _v !== void 0 ? _v : null,
+                            loc: (_w = property.node.loc) !== null && _w !== void 0 ? _w : null,
                             suggestions: null,
                         });
                         continue;
@@ -26462,7 +26463,7 @@ function lowerAssignment(builder, loc, kind, lvaluePath, value, assignmentKind)
                         builder.errors.push({
                             reason: `(BuildHIR::lowerAssignment) Expected object property value to be an LVal, got: ${element.type}`,
                             category: ErrorCategory.Todo,
-                            loc: (_w = element.node.loc) !== null && _w !== void 0 ? _w : null,
+                            loc: (_x = element.node.loc) !== null && _x !== void 0 ? _x : null,
                             suggestions: null,
                         });
                         continue;
@@ -26471,7 +26472,7 @@ function lowerAssignment(builder, loc, kind, lvaluePath, value, assignmentKind)
                         !forceTemporaries &&
                         (assignmentKind === 'Assignment' ||
                             getStoreKind(builder, element) === 'StoreLocal')) {
-                        const identifier = lowerIdentifierForAssignment(builder, (_x = element.node.loc) !== null && _x !== void 0 ? _x : GeneratedSource, kind, element);
+                        const identifier = lowerIdentifierForAssignment(builder, (_y = element.node.loc) !== null && _y !== void 0 ? _y : GeneratedSource, kind, element);
                         if (identifier === null) {
                             continue;
                         }
@@ -26479,7 +26480,7 @@ function lowerAssignment(builder, loc, kind, lvaluePath, value, assignmentKind)
                             builder.errors.push({
                                 category: ErrorCategory.Todo,
                                 reason: 'Expected reassignment of globals to enable forceTemporaries',
-                                loc: (_y = element.node.loc) !== null && _y !== void 0 ? _y : GeneratedSource,
+                                loc: (_z = element.node.loc) !== null && _z !== void 0 ? _z : GeneratedSource,
                             });
                             continue;
                         }
@@ -26491,7 +26492,7 @@ function lowerAssignment(builder, loc, kind, lvaluePath, value, assignmentKind)
                         });
                     }
                     else {
-                        const temp = buildTemporaryPlace(builder, (_z = element.node.loc) !== null && _z !== void 0 ? _z : GeneratedSource);
+                        const temp = buildTemporaryPlace(builder, (_0 = element.node.loc) !== null && _0 !== void 0 ? _0 : GeneratedSource);
                         promoteTemporary(temp.identifier);
                         properties.push({
                             kind: 'ObjectProperty',
@@ -26510,19 +26511,20 @@ function lowerAssignment(builder, loc, kind, lvaluePath, value, assignmentKind)
                     pattern: {
                         kind: 'ObjectPattern',
                         properties,
+                        loc: (_1 = lvalue.node.loc) !== null && _1 !== void 0 ? _1 : GeneratedSource,
                     },
                 },
                 value,
                 loc,
             });
             for (const { place, path } of followups) {
-                lowerAssignment(builder, (_0 = path.node.loc) !== null && _0 !== void 0 ? _0 : loc, kind, path, place, assignmentKind);
+                lowerAssignment(builder, (_2 = path.node.loc) !== null && _2 !== void 0 ? _2 : loc, kind, path, place, assignmentKind);
             }
             return { kind: 'LoadLocal', place: temporary, loc: value.loc };
         }
         case 'AssignmentPattern': {
             const lvalue = lvaluePath;
-            const loc = (_1 = lvalue.node.loc) !== null && _1 !== void 0 ? _1 : GeneratedSource;
+            const loc = (_3 = lvalue.node.loc) !== null && _3 !== void 0 ? _3 : GeneratedSource;
             const temp = buildTemporaryPlace(builder, loc);
             const testBlock = builder.reserve('value');
             const continuationBlock = builder.reserve(builder.currentBlockKind());
@@ -26593,7 +26595,7 @@ function lowerAssignment(builder, loc, kind, lvaluePath, value, assignmentKind)
             builder.errors.push({
                 reason: `(BuildHIR::lowerAssignment) Handle ${lvaluePath.type} assignments`,
                 category: ErrorCategory.Todo,
-                loc: (_2 = lvaluePath.node.loc) !== null && _2 !== void 0 ? _2 : null,
+                loc: (_4 = lvaluePath.node.loc) !== null && _4 !== void 0 ? _4 : null,
                 suggestions: null,
             });
             return { kind: 'UnsupportedNode', node: lvalueNode, loc };
@@ -37680,7 +37682,7 @@ function codegenReactiveScope(cx, statements, scope, block) {
         const name = convertIdentifier(identifier);
         outputComments.push(name.name);
         if (!cx.hasDeclared(identifier)) {
-            statements.push(libExports$1.variableDeclaration('let', [libExports$1.variableDeclarator(name)]));
+            statements.push(libExports$1.variableDeclaration('let', [createVariableDeclarator(name, null)]));
         }
         cacheLoads.push({ name, index, value: wrapCacheDep(cx, name) });
         cx.declare(identifier);
@@ -38161,7 +38163,7 @@ function codegenInstructionNullable(cx, instr) {
                     suggestions: null,
                 });
                 return createVariableDeclaration(instr.loc, 'const', [
-                    libExports$1.variableDeclarator(codegenLValue(cx, lvalue), value),
+                    createVariableDeclarator(codegenLValue(cx, lvalue), value),
                 ]);
             }
             case InstructionKind.Function: {
@@ -38218,7 +38220,7 @@ function codegenInstructionNullable(cx, instr) {
                     suggestions: null,
                 });
                 return createVariableDeclaration(instr.loc, 'let', [
-                    libExports$1.variableDeclarator(codegenLValue(cx, lvalue), value),
+                    createVariableDeclarator(codegenLValue(cx, lvalue), value),
                 ]);
             }
             case InstructionKind.Reassign: {
@@ -38426,6 +38428,9 @@ function withLoc(fn) {
         return node;
     };
 }
+const createIdentifier = withLoc(libExports$1.identifier);
+const createArrayPattern = withLoc(libExports$1.arrayPattern);
+const createObjectPattern = withLoc(libExports$1.objectPattern);
 const createBinaryExpression = withLoc(libExports$1.binaryExpression);
 const createExpressionStatement = withLoc(libExports$1.expressionStatement);
 const createVariableDeclaration = withLoc(libExports$1.variableDeclaration);
@@ -38455,6 +38460,19 @@ const createThrowStatement = withLoc(libExports$1.throwStatement);
 const createTryStatement = withLoc(libExports$1.tryStatement);
 const createBreakStatement = withLoc(libExports$1.breakStatement);
 const createContinueStatement = withLoc(libExports$1.continueStatement);
+function createVariableDeclarator(id, init) {
+    var _a, _b;
+    const node = libExports$1.variableDeclarator(id, init);
+    if (id.loc && (init === null || (init === null || init === void 0 ? void 0 : init.loc))) {
+        node.loc = {
+            start: id.loc.start,
+            end: (_b = (_a = init === null || init === void 0 ? void 0 : init.loc) === null || _a === void 0 ? void 0 : _a.end) !== null && _b !== void 0 ? _b : id.loc.end,
+            filename: id.loc.filename,
+            identifierName: undefined,
+        };
+    }
+    return node;
+}
 function createHookGuard(guard, context, stmts, before, after) {
     const guardFnName = context.addImportSpecifier(guard).name;
     function createHookGuardImpl(kind) {
@@ -38499,7 +38517,7 @@ function codegenInstruction(cx, instr, value) {
         }
         else {
             return createVariableDeclaration(instr.loc, 'const', [
-                libExports$1.variableDeclarator(convertIdentifier(instr.lvalue.identifier), expressionValue),
+                createVariableDeclarator(convertIdentifier(instr.lvalue.identifier), expressionValue),
             ]);
         }
     }
@@ -39149,7 +39167,7 @@ function codegenObjectPropertyKey(cx, key) {
 function codegenArrayPattern(cx, pattern) {
     const hasHoles = !pattern.items.every(e => e.kind !== 'Hole');
     if (hasHoles) {
-        const result = libExports$1.arrayPattern([]);
+        const result = createArrayPattern(pattern.loc, []);
         for (const item of pattern.items) {
             if (item.kind === 'Hole') {
                 result.elements.push(null);
@@ -39161,7 +39179,7 @@ function codegenArrayPattern(cx, pattern) {
         return result;
     }
     else {
-        return libExports$1.arrayPattern(pattern.items.map(item => {
+        return createArrayPattern(pattern.loc, pattern.items.map(item => {
             if (item.kind === 'Hole') {
                 return null;
             }
@@ -39175,7 +39193,7 @@ function codegenLValue(cx, pattern) {
             return codegenArrayPattern(cx, pattern);
         }
         case 'ObjectPattern': {
-            return libExports$1.objectPattern(pattern.properties.map(property => {
+            return createObjectPattern(pattern.loc, pattern.properties.map(property => {
                 if (property.kind === 'ObjectProperty') {
                     const key = codegenObjectPropertyKey(cx, property.key);
                     const value = codegenLValue(cx, property.place);
@@ -39270,7 +39288,7 @@ function convertIdentifier(identifier) {
         description: `identifier ${identifier.id} is unnamed`,
         suggestions: null,
     });
-    return libExports$1.identifier(identifier.name.value);
+    return createIdentifier(identifier.loc, identifier.name.value);
 }
 function compareScopeDependency(a, b) {
     var _a, _b;
@@ -50373,6 +50391,8 @@ const IMPORTANT_INSTRUMENTED_TYPES = new Set([
     'LabeledStatement',
     'ConditionalExpression',
     'LogicalExpression',
+    'VariableDeclaration',
+    'Identifier',
 ]);
 function isManualMemoization(node) {
     if (libExports$1.isCallExpression(node)) {
@@ -50407,17 +50427,30 @@ function validateSourceLocations(func, generatedAst) {
             }
             if (node.loc) {
                 const key = locationKey(node.loc);
-                importantOriginalLocations.set(key, {
-                    loc: node.loc,
-                    nodeType: node.type,
-                });
+                const existing = importantOriginalLocations.get(key);
+                if (existing) {
+                    existing.nodeTypes.add(node.type);
+                }
+                else {
+                    importantOriginalLocations.set(key, {
+                        loc: node.loc,
+                        nodeTypes: new Set([node.type]),
+                    });
+                }
             }
         },
     });
-    const generatedLocations = new Set();
+    const generatedLocations = new Map();
     function collectGeneratedLocations(node) {
         if (node.loc) {
-            generatedLocations.add(locationKey(node.loc));
+            const key = locationKey(node.loc);
+            const nodeTypes = generatedLocations.get(key);
+            if (nodeTypes) {
+                nodeTypes.add(node.type);
+            }
+            else {
+                generatedLocations.set(key, new Set([node.type]));
+            }
         }
         const keys = libExports$1.VISITOR_KEYS[node.type];
         if (!keys) {
@@ -50441,18 +50474,53 @@ function validateSourceLocations(func, generatedAst) {
     for (const outlined of generatedAst.outlined) {
         collectGeneratedLocations(outlined.fn.body);
     }
-    for (const [key, { loc, nodeType }] of importantOriginalLocations) {
-        if (!generatedLocations.has(key)) {
-            errors.pushDiagnostic(CompilerDiagnostic.create({
-                category: ErrorCategory.Todo,
-                reason: 'Important source location missing in generated code',
-                description: `Source location for ${nodeType} is missing in the generated output. This can cause coverage instrumentation ` +
-                    `to fail to track this code properly, resulting in inaccurate coverage reports.`,
-            }).withDetails({
-                kind: 'error',
-                loc,
-                message: null,
-            }));
+    const strictNodeTypes = new Set([
+        'VariableDeclaration',
+        'VariableDeclarator',
+        'Identifier',
+    ]);
+    const reportMissingLocation = (loc, nodeType) => {
+        errors.pushDiagnostic(CompilerDiagnostic.create({
+            category: ErrorCategory.Todo,
+            reason: 'Important source location missing in generated code',
+            description: `Source location for ${nodeType} is missing in the generated output. This can cause coverage instrumentation ` +
+                `to fail to track this code properly, resulting in inaccurate coverage reports.`,
+        }).withDetails({
+            kind: 'error',
+            loc,
+            message: null,
+        }));
+    };
+    const reportWrongNodeType = (loc, expectedType, actualTypes) => {
+        errors.pushDiagnostic(CompilerDiagnostic.create({
+            category: ErrorCategory.Todo,
+            reason: 'Important source location has wrong node type in generated code',
+            description: `Source location for ${expectedType} exists in the generated output but with wrong node type(s): ${Array.from(actualTypes).join(', ')}. ` +
+                `This can cause coverage instrumentation to fail to track this code properly, resulting in inaccurate coverage reports.`,
+        }).withDetails({
+            kind: 'error',
+            loc,
+            message: null,
+        }));
+    };
+    for (const [key, { loc, nodeTypes }] of importantOriginalLocations) {
+        const generatedNodeTypes = generatedLocations.get(key);
+        if (!generatedNodeTypes) {
+            reportMissingLocation(loc, Array.from(nodeTypes).join(', '));
+        }
+        else {
+            for (const nodeType of nodeTypes) {
+                if (strictNodeTypes.has(nodeType) &&
+                    !generatedNodeTypes.has(nodeType)) {
+                    const hasValidNodeType = Array.from(generatedNodeTypes).some(genType => nodeTypes.has(genType));
+                    if (hasValidNodeType) {
+                        reportMissingLocation(loc, nodeType);
+                    }
+                    else {
+                        reportWrongNodeType(loc, nodeType, generatedNodeTypes);
+                    }
+                }
+            }
         }
     }
     return errors.asResult();
@@ -51637,6 +51705,7 @@ function emitDestructureProps(env, propsObj, oldToNewProps) {
                 pattern: {
                     kind: 'ObjectPattern',
                     properties,
+                    loc: GeneratedSource,
                 },
                 kind: InstructionKind.Let,
             },
@@ -54183,16 +54252,17 @@ function runWithEnvironment(func, env) {
         if (env.config.validateNoSetStateInRender) {
             validateNoSetStateInRender(hir).unwrap();
         }
-        if (env.config.validateNoDerivedComputationsInEffects_exp) {
+        if (env.config.validateNoDerivedComputationsInEffects_exp &&
+            env.outputMode === 'lint') {
             env.logErrors(validateNoDerivedComputationsInEffects_exp(hir));
         }
         else if (env.config.validateNoDerivedComputationsInEffects) {
             validateNoDerivedComputationsInEffects(hir);
         }
-        if (env.config.validateNoSetStateInEffects) {
+        if (env.config.validateNoSetStateInEffects && env.outputMode === 'lint') {
             env.logErrors(validateNoSetStateInEffects(hir, env));
         }
-        if (env.config.validateNoJSXInTryStatements) {
+        if (env.config.validateNoJSXInTryStatements && env.outputMode === 'lint') {
             env.logErrors(validateNoJSXInTryStatement(hir));
         }
         if (env.config.validateNoImpureFunctionsInRender) {
@@ -54214,7 +54284,9 @@ function runWithEnvironment(func, env) {
         name: 'RewriteInstructionKindsBasedOnReassignment',
         value: hir,
     });
-    if (env.enableValidations && env.config.validateStaticComponents) {
+    if (env.enableValidations &&
+        env.config.validateStaticComponents &&
+        env.outputMode === 'lint') {
         env.logErrors(validateStaticComponents(hir));
     }
     if (env.enableMemoization) {

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "eslint-plugin-react-hooks",
   "description": "ESLint rules for React Hooks",
-  "version": "7.1.0-canary-80cb7a99-20251211",
+  "version": "7.1.0-canary-b061b597-20251212",
   "repository": {
     "type": "git",
     "url": "https://github.com/facebook/react.git",