eslint 9.38.0 → 9.39.0

package/README.md

@@ -342,8 +342,8 @@ to get your logo on our READMEs and [website](https://eslint.org/sponsors).
 <h3>Platinum Sponsors</h3>
 <p><a href="https://automattic.com"><img src="https://images.opencollective.com/automattic/d0ef3e1/logo.png" alt="Automattic" height="128"></a> <a href="https://www.airbnb.com/"><img src="https://images.opencollective.com/airbnb/d327d66/logo.png" alt="Airbnb" height="128"></a></p><h3>Gold Sponsors</h3>
 <p><a href="https://qlty.sh/"><img src="https://images.opencollective.com/qltysh/33d157d/logo.png" alt="Qlty Software" height="96"></a> <a href="https://trunk.io/"><img src="https://images.opencollective.com/trunkio/fb92d60/avatar.png" alt="trunk.io" height="96"></a> <a href="https://shopify.engineering/"><img src="https://avatars.githubusercontent.com/u/8085" alt="Shopify" height="96"></a></p><h3>Silver Sponsors</h3>
-<p><a href="https://vite.dev/"><img src="https://images.opencollective.com/vite/e6d15e1/logo.png" alt="Vite" height="64"></a> <a href="https://liftoff.io/"><img src="https://images.opencollective.com/liftoff/5c4fa84/logo.png" alt="Liftoff" height="64"></a> <a href="https://americanexpress.io"><img src="https://avatars.githubusercontent.com/u/3853301" alt="American Express" height="64"></a> <a href="https://stackblitz.com"><img src="https://avatars.githubusercontent.com/u/28635252" alt="StackBlitz" height="64"></a></p><h3>Bronze Sponsors</h3>
-<p><a href="https://syntax.fm"><img src="https://github.com/syntaxfm.png" alt="Syntax" height="32"></a> <a href="https://cybozu.co.jp/"><img src="https://images.opencollective.com/cybozu/933e46d/logo.png" alt="Cybozu" height="32"></a> <a href="https://sentry.io"><img src="https://github.com/getsentry.png" alt="Sentry" height="32"></a> <a href="https://discord.com"><img src="https://images.opencollective.com/discordapp/f9645d9/logo.png" alt="Discord" height="32"></a> <a href="https://www.gitbook.com"><img src="https://avatars.githubusercontent.com/u/7111340" alt="GitBook" height="32"></a> <a href="https://nx.dev"><img src="https://avatars.githubusercontent.com/u/23692104" alt="Nx" height="32"></a> <a href="https://opensource.mercedes-benz.com/"><img src="https://avatars.githubusercontent.com/u/34240465" alt="Mercedes-Benz Group" height="32"></a> <a href="https://herocoders.com"><img src="https://avatars.githubusercontent.com/u/37549774" alt="HeroCoders" height="32"></a> <a href="https://www.lambdatest.com"><img src="https://avatars.githubusercontent.com/u/171592363" alt="LambdaTest" height="32"></a></p>
+<p><a href="https://vite.dev/"><img src="https://images.opencollective.com/vite/e6d15e1/logo.png" alt="Vite" height="64"></a> <a href="https://liftoff.io/"><img src="https://images.opencollective.com/liftoff/2d6c3b6/logo.png" alt="Liftoff" height="64"></a> <a href="https://americanexpress.io"><img src="https://avatars.githubusercontent.com/u/3853301" alt="American Express" height="64"></a> <a href="https://stackblitz.com"><img src="https://avatars.githubusercontent.com/u/28635252" alt="StackBlitz" height="64"></a></p><h3>Bronze Sponsors</h3>
+<p><a href="https://syntax.fm"><img src="https://github.com/syntaxfm.png" alt="Syntax" height="32"></a> <a href="https://cybozu.co.jp/"><img src="https://images.opencollective.com/cybozu/933e46d/logo.png" alt="Cybozu" height="32"></a> <a href="https://sentry.io"><img src="https://github.com/getsentry.png" alt="Sentry" height="32"></a> <a href="https://icons8.com/"><img src="https://images.opencollective.com/icons8/7fa1641/logo.png" alt="Icons8" height="32"></a> <a href="https://discord.com"><img src="https://images.opencollective.com/discordapp/f9645d9/logo.png" alt="Discord" height="32"></a> <a href="https://www.gitbook.com"><img src="https://avatars.githubusercontent.com/u/7111340" alt="GitBook" height="32"></a> <a href="https://nx.dev"><img src="https://avatars.githubusercontent.com/u/23692104" alt="Nx" height="32"></a> <a href="https://opensource.mercedes-benz.com/"><img src="https://avatars.githubusercontent.com/u/34240465" alt="Mercedes-Benz Group" height="32"></a> <a href="https://herocoders.com"><img src="https://avatars.githubusercontent.com/u/37549774" alt="HeroCoders" height="32"></a> <a href="https://www.lambdatest.com"><img src="https://avatars.githubusercontent.com/u/171592363" alt="LambdaTest" height="32"></a></p>
 <h3>Technology Sponsors</h3>
 Technology sponsors allow us to use their products and services for free as part of a contribution to the open source ecosystem and our work.
 <p><a href="https://netlify.com"><img src="https://raw.githubusercontent.com/eslint/eslint.org/main/src/assets/images/techsponsors/netlify-icon.svg" alt="Netlify" height="32"></a> <a href="https://algolia.com"><img src="https://raw.githubusercontent.com/eslint/eslint.org/main/src/assets/images/techsponsors/algolia-icon.svg" alt="Algolia" height="32"></a> <a href="https://1password.com"><img src="https://raw.githubusercontent.com/eslint/eslint.org/main/src/assets/images/techsponsors/1password-icon.svg" alt="1Password" height="32"></a></p>

package/lib/eslint/eslint.js

@@ -17,6 +17,7 @@ const { pathToFileURL } = require("node:url");
 const { SHARE_ENV, Worker } = require("node:worker_threads");
 const { version } = require("../../package.json");
 const { defaultConfig } = require("../config/default-config");
+const timing = require("../linter/timing");
 
 const {
 	createDebug,
@@ -503,6 +504,11 @@ async function runWorkers(
 					worstNetLintingRatio,
 					netLintingRatio,
 				);
+
+				if (timing.enabled && indexedResults.timings) {
+					timing.mergeData(indexedResults.timings);
+				}
+
 				for (const result of indexedResults) {
 					const { index } = result;
 					delete result.index;
@@ -522,7 +528,17 @@ async function runWorkers(
 	for (let index = 0; index < workerCount; ++index) {
 		promises[index] = new Promise(workerExecutor);
 	}
-	await Promise.all(promises);
+
+	try {
+		await Promise.all(promises);
+	} catch (error) {
+		/*
+		 * If any worker fails, suppress timing display in the main thread
+		 * to avoid printing partial or misleading timing output.
+		 */
+		timing.disableDisplay();
+		throw error;
+	}
 
 	if (worstNetLintingRatio < LOW_NET_LINTING_RATIO) {
 		warnOnLowNetLintingRatio();

package/lib/eslint/worker.js

@@ -29,6 +29,7 @@ const {
 	processOptions,
 } = require("./eslint-helpers");
 const { WarningService } = require("../services/warning-service");
+const timing = require("../linter/timing");
 
 const depsLoadedTime = hrtimeBigint();
 
@@ -39,7 +40,7 @@ const depsLoadedTime = hrtimeBigint();
 /** @typedef {import("../types").ESLint.LintResult} LintResult */
 /** @typedef {import("../types").ESLint.Options} ESLintOptions */
 /** @typedef {LintResult & { index?: number; }} IndexedLintResult */
-/** @typedef {IndexedLintResult[] & { netLintingDuration: bigint; }} WorkerLintResults */
+/** @typedef {IndexedLintResult[] & { netLintingDuration: bigint; timings?: Record<string, number>; }} WorkerLintResults */
 /**
  * @typedef {Object} WorkerData - Data passed to the worker thread.
  * @property {ESLintOptions | string} eslintOptionsOrURL - The unprocessed ESLint options or the URL of the options module.
@@ -57,6 +58,12 @@ const debug = createDebug(`eslint:worker:thread-${threadId}`);
 // Main
 //------------------------------------------------------------------------------
 
+/*
+ * Prevent timing module from printing profiling output from worker threads.
+ * The main thread is responsible for displaying any aggregated timings.
+ */
+timing.disableDisplay();
+
 debug("Dependencies loaded in %t", depsLoadedTime - startTime);
 
 (async () => {
@@ -158,5 +165,9 @@ debug("Dependencies loaded in %t", depsLoadedTime - startTime);
 	indexedResults.netLintingDuration =
 		lintingDuration - loadConfigTotalDuration - readFileCounter.duration;
 
+	if (timing.enabled) {
+		indexedResults.timings = timing.getData();
+	}
+
 	parentPort.postMessage(indexedResults);
 })();

package/lib/linter/file-report.js

@@ -426,7 +426,7 @@ function validateSuggestions(suggest, messages) {
 
 			if (typeof suggestion.fix !== "function") {
 				throw new TypeError(
-					`context.report() called with a suggest option without a fix function. See: ${suggestion}`,
+					`context.report() called with a suggest option without a fix function. See: ${JSON.stringify(suggestion, null, 2)}`,
 				);
 			}
 		});

package/lib/linter/source-code-traverser.js

@@ -17,8 +17,9 @@ const vk = require("eslint-visitor-keys");
 //-----------------------------------------------------------------------------
 
 /**
- * @import { ESQueryParsedSelector } from "./esquery.js";
  * @import { Language, SourceCode } from "@eslint/core";
+ * @import { ESQueryOptions } from "esquery";
+ * @import { ESQueryParsedSelector } from "./esquery.js";
  * @import { SourceCodeVisitor } from "./source-code-visitor.js";
  */
 
@@ -47,11 +48,10 @@ class ESQueryHelper {
 	 * Creates a new instance.
 	 * @param {SourceCodeVisitor} visitor The visitor containing the functions to call.
 	 * @param {ESQueryOptions} esqueryOptions `esquery` options for traversing custom nodes.
-	 * @returns {NodeEventGenerator} new instance
 	 */
 	constructor(visitor, esqueryOptions) {
 		/**
-		 * The emitter to use during traversal.
+		 * The visitor to use during traversal.
 		 * @type {SourceCodeVisitor}
 		 */
 		this.visitor = visitor;
@@ -288,7 +288,10 @@ class SourceCodeTraverser {
 									false,
 								)
 								.forEach(selector => {
-									visitor.callSync(selector, step.target);
+									visitor.callSync(
+										selector,
+										...(step.args ?? [step.target]),
+									);
 								});
 							currentAncestry.unshift(step.target);
 						} else {
@@ -300,7 +303,10 @@ class SourceCodeTraverser {
 									true,
 								)
 								.forEach(selector => {
-									visitor.callSync(selector, step.target);
+									visitor.callSync(
+										selector,
+										...(step.args ?? [step.target]),
+									);
 								});
 						}
 					} catch (err) {

package/lib/linter/timing.js

@@ -131,6 +131,7 @@ function display(data) {
 /* c8 ignore next */
 module.exports = (function () {
 	const data = Object.create(null);
+	let displayEnabled = true;
 
 	/**
 	 * Time the run
@@ -158,9 +159,42 @@ module.exports = (function () {
 		};
 	}
 
+	/**
+	 * Returns a shallow copy of the collected timings data.
+	 * @returns {Record<string, number>} mapping of ruleId to total time in ms
+	 */
+	function getData() {
+		return { ...data };
+	}
+
+	/**
+	 * Merges rule timing totals collected elsewhere into this process' totals.
+	 * @param {Record<string, number>} dataToMerge mapping of ruleId to total time in ms
+	 * @returns {void}
+	 */
+	function mergeData(dataToMerge) {
+		for (const [key, value] of Object.entries(dataToMerge)) {
+			if (typeof data[key] === "undefined") {
+				data[key] = 0;
+			}
+			data[key] += value;
+		}
+	}
+
+	/**
+	 * Disables printing of timing data on process exit.
+	 * Intended for worker threads or non-main contexts.
+	 * @returns {void}
+	 */
+	function disableDisplay() {
+		displayEnabled = false;
+	}
+
 	if (enabled) {
 		process.on("exit", () => {
-			display(data);
+			if (displayEnabled && Object.keys(data).length > 0) {
+				display(data);
+			}
 		});
 	}
 
@@ -168,5 +202,8 @@ module.exports = (function () {
 		time,
 		enabled,
 		getListSize,
+		getData,
+		mergeData,
+		disableDisplay,
 	};
 })();

package/lib/rules/complexity.js

@@ -68,6 +68,7 @@ module.exports = {
 	},
 
 	create(context) {
+		const sourceCode = context.sourceCode;
 		const option = context.options[0];
 		let threshold = THRESHOLD_DEFAULT;
 		let VARIANT = "classic";
@@ -177,12 +178,10 @@ module.exports = {
 						name = "class field initializer";
 					} else if (codePath.origin === "class-static-block") {
 						name = "class static block";
+						loc = sourceCode.getFirstToken(node).loc;
 					} else {
 						name = astUtils.getFunctionNameWithKind(node);
-						loc = astUtils.getFunctionHeadLoc(
-							node,
-							context.sourceCode,
-						);
+						loc = astUtils.getFunctionHeadLoc(node, sourceCode);
 					}
 
 					context.report({

package/lib/rules/for-direction.js

@@ -46,7 +46,10 @@ module.exports = {
 		 */
 		function report(node) {
 			context.report({
-				node,
+				loc: {
+					start: node.loc.start,
+					end: sourceCode.getTokenBefore(node.body).loc.end,
+				},
 				messageId: "incorrectDirection",
 			});
 		}

package/lib/rules/no-dupe-args.js

@@ -5,6 +5,12 @@
 
 "use strict";
 
+//------------------------------------------------------------------------------
+// Requirements
+//------------------------------------------------------------------------------
+
+const astUtils = require("./utils/ast-utils");
+
 //------------------------------------------------------------------------------
 // Rule Definition
 //------------------------------------------------------------------------------
@@ -58,10 +64,15 @@ module.exports = {
 
 				// Checks and reports duplications.
 				const defs = variable.defs.filter(isParameter);
+				const loc = {
+					start: astUtils.getOpeningParenOfParams(node, sourceCode)
+						.loc.start,
+					end: sourceCode.getTokenBefore(node.body).loc.end,
+				};
 
 				if (defs.length >= 2) {
 					context.report({
-						node,
+						loc,
 						messageId: "unexpected",
 						data: { name: variable.name },
 					});

package/lib/rules/no-dupe-class-members.js

@@ -106,7 +106,7 @@ module.exports = {
 
 				if (isDuplicate) {
 					context.report({
-						node,
+						loc: node.key.loc,
 						messageId: "unexpected",
 						data: { name },
 					});

package/lib/rules/object-shorthand.js

@@ -19,6 +19,86 @@ const OPTIONS = {
 //------------------------------------------------------------------------------
 const astUtils = require("./utils/ast-utils");
 
+//--------------------------------------------------------------------------
+// Helpers
+//--------------------------------------------------------------------------
+const CTOR_PREFIX_REGEX = /[^_$0-9]/u;
+const JSDOC_COMMENT_REGEX = /^\s*\*/u;
+
+/**
+ * Determines if the first character of the name is a capital letter.
+ * @param {string} name The name of the node to evaluate.
+ * @returns {boolean} True if the first character of the property name is a capital letter, false if not.
+ * @private
+ */
+function isConstructor(name) {
+	const match = CTOR_PREFIX_REGEX.exec(name);
+
+	// Not a constructor if name has no characters apart from '_', '$' and digits e.g. '_', '$$', '_8'
+	if (!match) {
+		return false;
+	}
+
+	const firstChar = name.charAt(match.index);
+
+	return firstChar === firstChar.toUpperCase();
+}
+
+/**
+ * Determines if the property can have a shorthand form.
+ * @param {ASTNode} property Property AST node
+ * @returns {boolean} True if the property can have a shorthand form
+ * @private
+ */
+function canHaveShorthand(property) {
+	return (
+		property.kind !== "set" &&
+		property.kind !== "get" &&
+		property.type !== "SpreadElement" &&
+		property.type !== "SpreadProperty" &&
+		property.type !== "ExperimentalSpreadProperty"
+	);
+}
+
+/**
+ * Checks whether a node is a string literal.
+ * @param {ASTNode} node Any AST node.
+ * @returns {boolean} `true` if it is a string literal.
+ */
+function isStringLiteral(node) {
+	return node.type === "Literal" && typeof node.value === "string";
+}
+
+/**
+ * Determines if the property is a shorthand or not.
+ * @param {ASTNode} property Property AST node
+ * @returns {boolean} True if the property is considered shorthand, false if not.
+ * @private
+ */
+function isShorthand(property) {
+	// property.method is true when `{a(){}}`.
+	return property.shorthand || property.method;
+}
+
+/**
+ * Determines if the property's key and method or value are named equally.
+ * @param {ASTNode} property Property AST node
+ * @returns {boolean} True if the key and value are named equally, false if not.
+ * @private
+ */
+function isRedundant(property) {
+	const value = property.value;
+
+	if (value.type === "FunctionExpression") {
+		return !value.id; // Only anonymous should be shorthand method.
+	}
+	if (value.type === "Identifier") {
+		return astUtils.getStaticPropertyName(property) === value.name;
+	}
+
+	return false;
+}
+
 //------------------------------------------------------------------------------
 // Rule Definition
 //------------------------------------------------------------------------------
@@ -139,86 +219,6 @@ module.exports = {
 		const AVOID_EXPLICIT_RETURN_ARROWS = !!PARAMS.avoidExplicitReturnArrows;
 		const sourceCode = context.sourceCode;
 
-		//--------------------------------------------------------------------------
-		// Helpers
-		//--------------------------------------------------------------------------
-
-		const CTOR_PREFIX_REGEX = /[^_$0-9]/u;
-
-		/**
-		 * Determines if the first character of the name is a capital letter.
-		 * @param {string} name The name of the node to evaluate.
-		 * @returns {boolean} True if the first character of the property name is a capital letter, false if not.
-		 * @private
-		 */
-		function isConstructor(name) {
-			const match = CTOR_PREFIX_REGEX.exec(name);
-
-			// Not a constructor if name has no characters apart from '_', '$' and digits e.g. '_', '$$', '_8'
-			if (!match) {
-				return false;
-			}
-
-			const firstChar = name.charAt(match.index);
-
-			return firstChar === firstChar.toUpperCase();
-		}
-
-		/**
-		 * Determines if the property can have a shorthand form.
-		 * @param {ASTNode} property Property AST node
-		 * @returns {boolean} True if the property can have a shorthand form
-		 * @private
-		 */
-		function canHaveShorthand(property) {
-			return (
-				property.kind !== "set" &&
-				property.kind !== "get" &&
-				property.type !== "SpreadElement" &&
-				property.type !== "SpreadProperty" &&
-				property.type !== "ExperimentalSpreadProperty"
-			);
-		}
-
-		/**
-		 * Checks whether a node is a string literal.
-		 * @param {ASTNode} node Any AST node.
-		 * @returns {boolean} `true` if it is a string literal.
-		 */
-		function isStringLiteral(node) {
-			return node.type === "Literal" && typeof node.value === "string";
-		}
-
-		/**
-		 * Determines if the property is a shorthand or not.
-		 * @param {ASTNode} property Property AST node
-		 * @returns {boolean} True if the property is considered shorthand, false if not.
-		 * @private
-		 */
-		function isShorthand(property) {
-			// property.method is true when `{a(){}}`.
-			return property.shorthand || property.method;
-		}
-
-		/**
-		 * Determines if the property's key and method or value are named equally.
-		 * @param {ASTNode} property Property AST node
-		 * @returns {boolean} True if the key and value are named equally, false if not.
-		 * @private
-		 */
-		function isRedundant(property) {
-			const value = property.value;
-
-			if (value.type === "FunctionExpression") {
-				return !value.id; // Only anonymous should be shorthand method.
-			}
-			if (value.type === "Identifier") {
-				return astUtils.getStaticPropertyName(property) === value.name;
-			}
-
-			return false;
-		}
-
 		/**
 		 * Ensures that an object's properties are consistently shorthand, or not shorthand at all.
 		 * @param {ASTNode} node Property AST node
@@ -582,6 +582,19 @@ module.exports = {
 					node.key.name === node.value.name &&
 					APPLY_TO_PROPS
 				) {
+					// Skip if there are JSDoc comments inside the property (e.g., JSDoc type annotations)
+					const comments = sourceCode.getCommentsInside(node);
+					if (
+						comments.some(
+							comment =>
+								comment.type === "Block" &&
+								JSDOC_COMMENT_REGEX.test(comment.value) &&
+								comment.value.includes("@type"),
+						)
+					) {
+						return;
+					}
+
 					// {x: x} should be written as {x}
 					context.report({
 						node,
@@ -606,6 +619,18 @@ module.exports = {
 						return;
 					}
 
+					const comments = sourceCode.getCommentsInside(node);
+					if (
+						comments.some(
+							comment =>
+								comment.type === "Block" &&
+								comment.value.startsWith("*") &&
+								comment.value.includes("@type"),
+						)
+					) {
+						return;
+					}
+
 					// {"x": x} should be written as {x}
 					context.report({
 						node,

package/lib/rules/utils/ast-utils.js

@@ -2729,4 +2729,5 @@ module.exports = {
 	isStartOfExpressionStatement,
 	needsPrecedingSemicolon,
 	isImportAttributeKey,
+	getOpeningParenOfParams,
 };

package/lib/types/index.d.ts

@@ -33,7 +33,6 @@ import type {
 	LanguageOptions as GenericLanguageOptions,
 	RuleContext as CoreRuleContext,
 	RuleDefinition,
-	RuleVisitor,
 	SourceRange,
 	TextSourceCode,
 	TraversalStep,
@@ -56,11 +55,40 @@ import type {
 	ProcessorFile as CoreProcessorFile,
 	JavaScriptParserOptionsConfig,
 	RulesMeta,
+	RuleConfig,
 	RuleTextEditor,
 	RuleTextEdit,
+	RuleVisitor,
+	BaseConfig as CoreBaseConfig,
+	RuleFixer as CoreRuleFixer,
+	ViolationReportBase,
+	ViolationMessage,
+	ViolationLocation,
+	SuggestionMessage,
+	LintSuggestion as CoreLintSuggestion,
+	JavaScriptSourceType,
+	HasRules as CoreHasRules,
+	SuggestedEditBase,
+	SuggestedEdit,
+	ViolationReport,
 } from "@eslint/core";
 import { LegacyESLint } from "./use-at-your-own-risk.js";
 
+//------------------------------------------------------------------------------
+// Helpers
+//------------------------------------------------------------------------------
+
+/** Adds matching `:exit` selectors for all properties of a `RuleVisitor`. */
+type WithExit<RuleVisitorType extends RuleVisitor> = {
+	[Key in keyof RuleVisitorType as
+		| Key
+		| `${Key & string}:exit`]: RuleVisitorType[Key];
+};
+
+//------------------------------------------------------------------------------
+// Exports
+//------------------------------------------------------------------------------
+
 export namespace AST {
 	type TokenType =
 		| "Boolean"
@@ -133,6 +161,10 @@ export namespace Scope {
 		references: Reference[];
 		through: Reference[];
 		functionExpressionScope: boolean;
+		implicit?: {
+			variables: Variable[];
+			set: Map<string, Variable>;
+		};
 	}
 
 	interface Variable {
@@ -173,7 +205,14 @@ export namespace Scope {
 				node: ESTree.FunctionDeclaration | ESTree.FunctionExpression;
 				parent: null;
 		  }
-		| { type: "ImplicitGlobalVariable"; node: ESTree.Program; parent: null }
+		| {
+				type: "ImplicitGlobalVariable";
+				node:
+					| ESTree.AssignmentExpression
+					| ESTree.ForInStatement
+					| ESTree.ForOfStatement;
+				parent: null;
+		  }
 		| {
 				type: "ImportBinding";
 				node:
@@ -640,480 +679,35 @@ export namespace Rule {
 			LangOptions: Linter.LanguageOptions;
 			Code: SourceCode;
 			RuleOptions: any[];
-			Visitor: NodeListener;
+			Visitor: RuleListener;
 			Node: JSSyntaxElement;
 			MessageIds: string;
 			ExtRuleDocs: {};
 		}> {
-		create(context: RuleContext): NodeListener;
+		create(context: RuleContext): RuleListener;
 	}
 
 	type NodeTypes = ESTree.Node["type"];
-	interface NodeListener extends RuleVisitor {
-		ArrayExpression?:
-			| ((node: ESTree.ArrayExpression & NodeParentExtension) => void)
-			| undefined;
-		"ArrayExpression:exit"?:
-			| ((node: ESTree.ArrayExpression & NodeParentExtension) => void)
-			| undefined;
-		ArrayPattern?:
-			| ((node: ESTree.ArrayPattern & NodeParentExtension) => void)
-			| undefined;
-		"ArrayPattern:exit"?:
-			| ((node: ESTree.ArrayPattern & NodeParentExtension) => void)
-			| undefined;
-		ArrowFunctionExpression?:
-			| ((
-					node: ESTree.ArrowFunctionExpression & NodeParentExtension,
-			  ) => void)
-			| undefined;
-		"ArrowFunctionExpression:exit"?:
-			| ((
-					node: ESTree.ArrowFunctionExpression & NodeParentExtension,
-			  ) => void)
-			| undefined;
-		AssignmentExpression?:
-			| ((
-					node: ESTree.AssignmentExpression & NodeParentExtension,
-			  ) => void)
-			| undefined;
-		"AssignmentExpression:exit"?:
-			| ((
-					node: ESTree.AssignmentExpression & NodeParentExtension,
-			  ) => void)
-			| undefined;
-		AssignmentPattern?:
-			| ((node: ESTree.AssignmentPattern & NodeParentExtension) => void)
-			| undefined;
-		"AssignmentPattern:exit"?:
-			| ((node: ESTree.AssignmentPattern & NodeParentExtension) => void)
-			| undefined;
-		AwaitExpression?:
-			| ((node: ESTree.AwaitExpression & NodeParentExtension) => void)
-			| undefined;
-		"AwaitExpression:exit"?:
-			| ((node: ESTree.AwaitExpression & NodeParentExtension) => void)
-			| undefined;
-		BinaryExpression?:
-			| ((node: ESTree.BinaryExpression & NodeParentExtension) => void)
-			| undefined;
-		"BinaryExpression:exit"?:
-			| ((node: ESTree.BinaryExpression & NodeParentExtension) => void)
-			| undefined;
-		BlockStatement?:
-			| ((node: ESTree.BlockStatement & NodeParentExtension) => void)
-			| undefined;
-		"BlockStatement:exit"?:
-			| ((node: ESTree.BlockStatement & NodeParentExtension) => void)
-			| undefined;
-		BreakStatement?:
-			| ((node: ESTree.BreakStatement & NodeParentExtension) => void)
-			| undefined;
-		"BreakStatement:exit"?:
-			| ((node: ESTree.BreakStatement & NodeParentExtension) => void)
-			| undefined;
-		CallExpression?:
-			| ((node: ESTree.CallExpression & NodeParentExtension) => void)
-			| undefined;
-		"CallExpression:exit"?:
-			| ((node: ESTree.CallExpression & NodeParentExtension) => void)
-			| undefined;
-		CatchClause?:
-			| ((node: ESTree.CatchClause & NodeParentExtension) => void)
-			| undefined;
-		"CatchClause:exit"?:
-			| ((node: ESTree.CatchClause & NodeParentExtension) => void)
-			| undefined;
-		ChainExpression?:
-			| ((node: ESTree.ChainExpression & NodeParentExtension) => void)
-			| undefined;
-		"ChainExpression:exit"?:
-			| ((node: ESTree.ChainExpression & NodeParentExtension) => void)
-			| undefined;
-		ClassBody?:
-			| ((node: ESTree.ClassBody & NodeParentExtension) => void)
-			| undefined;
-		"ClassBody:exit"?:
-			| ((node: ESTree.ClassBody & NodeParentExtension) => void)
-			| undefined;
-		ClassDeclaration?:
-			| ((node: ESTree.ClassDeclaration & NodeParentExtension) => void)
-			| undefined;
-		"ClassDeclaration:exit"?:
-			| ((node: ESTree.ClassDeclaration & NodeParentExtension) => void)
-			| undefined;
-		ClassExpression?:
-			| ((node: ESTree.ClassExpression & NodeParentExtension) => void)
-			| undefined;
-		"ClassExpression:exit"?:
-			| ((node: ESTree.ClassExpression & NodeParentExtension) => void)
-			| undefined;
-		ConditionalExpression?:
-			| ((
-					node: ESTree.ConditionalExpression & NodeParentExtension,
-			  ) => void)
-			| undefined;
-		"ConditionalExpression:exit"?:
-			| ((
-					node: ESTree.ConditionalExpression & NodeParentExtension,
-			  ) => void)
-			| undefined;
-		ContinueStatement?:
-			| ((node: ESTree.ContinueStatement & NodeParentExtension) => void)
-			| undefined;
-		"ContinueStatement:exit"?:
-			| ((node: ESTree.ContinueStatement & NodeParentExtension) => void)
-			| undefined;
-		DebuggerStatement?:
-			| ((node: ESTree.DebuggerStatement & NodeParentExtension) => void)
-			| undefined;
-		"DebuggerStatement:exit"?:
-			| ((node: ESTree.DebuggerStatement & NodeParentExtension) => void)
-			| undefined;
-		DoWhileStatement?:
-			| ((node: ESTree.DoWhileStatement & NodeParentExtension) => void)
-			| undefined;
-		"DoWhileStatement:exit"?:
-			| ((node: ESTree.DoWhileStatement & NodeParentExtension) => void)
-			| undefined;
-		EmptyStatement?:
-			| ((node: ESTree.EmptyStatement & NodeParentExtension) => void)
-			| undefined;
-		"EmptyStatement:exit"?:
-			| ((node: ESTree.EmptyStatement & NodeParentExtension) => void)
-			| undefined;
-		ExportAllDeclaration?:
-			| ((
-					node: ESTree.ExportAllDeclaration & NodeParentExtension,
-			  ) => void)
-			| undefined;
-		"ExportAllDeclaration:exit"?:
-			| ((
-					node: ESTree.ExportAllDeclaration & NodeParentExtension,
-			  ) => void)
-			| undefined;
-		ExportDefaultDeclaration?:
-			| ((
-					node: ESTree.ExportDefaultDeclaration & NodeParentExtension,
-			  ) => void)
-			| undefined;
-		"ExportDefaultDeclaration:exit"?:
-			| ((
-					node: ESTree.ExportDefaultDeclaration & NodeParentExtension,
-			  ) => void)
-			| undefined;
-		ExportNamedDeclaration?:
-			| ((
-					node: ESTree.ExportNamedDeclaration & NodeParentExtension,
-			  ) => void)
-			| undefined;
-		"ExportNamedDeclaration:exit"?:
-			| ((
-					node: ESTree.ExportNamedDeclaration & NodeParentExtension,
-			  ) => void)
-			| undefined;
-		ExportSpecifier?:
-			| ((node: ESTree.ExportSpecifier & NodeParentExtension) => void)
-			| undefined;
-		"ExportSpecifier:exit"?:
-			| ((node: ESTree.ExportSpecifier & NodeParentExtension) => void)
-			| undefined;
-		ExpressionStatement?:
-			| ((node: ESTree.ExpressionStatement & NodeParentExtension) => void)
-			| undefined;
-		"ExpressionStatement:exit"?:
-			| ((node: ESTree.ExpressionStatement & NodeParentExtension) => void)
-			| undefined;
-		ForInStatement?:
-			| ((node: ESTree.ForInStatement & NodeParentExtension) => void)
-			| undefined;
-		"ForInStatement:exit"?:
-			| ((node: ESTree.ForInStatement & NodeParentExtension) => void)
-			| undefined;
-		ForOfStatement?:
-			| ((node: ESTree.ForOfStatement & NodeParentExtension) => void)
-			| undefined;
-		"ForOfStatement:exit"?:
-			| ((node: ESTree.ForOfStatement & NodeParentExtension) => void)
-			| undefined;
-		ForStatement?:
-			| ((node: ESTree.ForStatement & NodeParentExtension) => void)
-			| undefined;
-		"ForStatement:exit"?:
-			| ((node: ESTree.ForStatement & NodeParentExtension) => void)
-			| undefined;
-		FunctionDeclaration?:
-			| ((node: ESTree.FunctionDeclaration & NodeParentExtension) => void)
-			| undefined;
-		"FunctionDeclaration:exit"?:
-			| ((node: ESTree.FunctionDeclaration & NodeParentExtension) => void)
-			| undefined;
-		FunctionExpression?:
-			| ((node: ESTree.FunctionExpression & NodeParentExtension) => void)
-			| undefined;
-		"FunctionExpression:exit"?:
-			| ((node: ESTree.FunctionExpression & NodeParentExtension) => void)
-			| undefined;
-		Identifier?:
-			| ((node: ESTree.Identifier & NodeParentExtension) => void)
-			| undefined;
-		"Identifier:exit"?:
-			| ((node: ESTree.Identifier & NodeParentExtension) => void)
-			| undefined;
-		IfStatement?:
-			| ((node: ESTree.IfStatement & NodeParentExtension) => void)
-			| undefined;
-		"IfStatement:exit"?:
-			| ((node: ESTree.IfStatement & NodeParentExtension) => void)
-			| undefined;
-		ImportDeclaration?:
-			| ((node: ESTree.ImportDeclaration & NodeParentExtension) => void)
-			| undefined;
-		"ImportDeclaration:exit"?:
-			| ((node: ESTree.ImportDeclaration & NodeParentExtension) => void)
-			| undefined;
-		ImportDefaultSpecifier?:
-			| ((
-					node: ESTree.ImportDefaultSpecifier & NodeParentExtension,
-			  ) => void)
-			| undefined;
-		"ImportDefaultSpecifier:exit"?:
-			| ((
-					node: ESTree.ImportDefaultSpecifier & NodeParentExtension,
-			  ) => void)
-			| undefined;
-		ImportExpression?:
-			| ((node: ESTree.ImportExpression & NodeParentExtension) => void)
-			| undefined;
-		"ImportExpression:exit"?:
-			| ((node: ESTree.ImportExpression & NodeParentExtension) => void)
-			| undefined;
-		ImportNamespaceSpecifier?:
-			| ((
-					node: ESTree.ImportNamespaceSpecifier & NodeParentExtension,
-			  ) => void)
-			| undefined;
-		"ImportNamespaceSpecifier:exit"?:
-			| ((
-					node: ESTree.ImportNamespaceSpecifier & NodeParentExtension,
-			  ) => void)
-			| undefined;
-		ImportSpecifier?:
-			| ((node: ESTree.ImportSpecifier & NodeParentExtension) => void)
-			| undefined;
-		"ImportSpecifier:exit"?:
-			| ((node: ESTree.ImportSpecifier & NodeParentExtension) => void)
-			| undefined;
-		LabeledStatement?:
-			| ((node: ESTree.LabeledStatement & NodeParentExtension) => void)
-			| undefined;
-		"LabeledStatement:exit"?:
-			| ((node: ESTree.LabeledStatement & NodeParentExtension) => void)
-			| undefined;
-		Literal?:
-			| ((node: ESTree.Literal & NodeParentExtension) => void)
-			| undefined;
-		"Literal:exit"?:
-			| ((node: ESTree.Literal & NodeParentExtension) => void)
-			| undefined;
-		LogicalExpression?:
-			| ((node: ESTree.LogicalExpression & NodeParentExtension) => void)
-			| undefined;
-		"LogicalExpression:exit"?:
-			| ((node: ESTree.LogicalExpression & NodeParentExtension) => void)
-			| undefined;
-		MemberExpression?:
-			| ((node: ESTree.MemberExpression & NodeParentExtension) => void)
-			| undefined;
-		"MemberExpression:exit"?:
-			| ((node: ESTree.MemberExpression & NodeParentExtension) => void)
-			| undefined;
-		MetaProperty?:
-			| ((node: ESTree.MetaProperty & NodeParentExtension) => void)
-			| undefined;
-		"MetaProperty:exit"?:
-			| ((node: ESTree.MetaProperty & NodeParentExtension) => void)
-			| undefined;
-		MethodDefinition?:
-			| ((node: ESTree.MethodDefinition & NodeParentExtension) => void)
-			| undefined;
-		"MethodDefinition:exit"?:
-			| ((node: ESTree.MethodDefinition & NodeParentExtension) => void)
-			| undefined;
-		NewExpression?:
-			| ((node: ESTree.NewExpression & NodeParentExtension) => void)
-			| undefined;
-		"NewExpression:exit"?:
-			| ((node: ESTree.NewExpression & NodeParentExtension) => void)
-			| undefined;
-		ObjectExpression?:
-			| ((node: ESTree.ObjectExpression & NodeParentExtension) => void)
-			| undefined;
-		"ObjectExpression:exit"?:
-			| ((node: ESTree.ObjectExpression & NodeParentExtension) => void)
-			| undefined;
-		ObjectPattern?:
-			| ((node: ESTree.ObjectPattern & NodeParentExtension) => void)
-			| undefined;
-		"ObjectPattern:exit"?:
-			| ((node: ESTree.ObjectPattern & NodeParentExtension) => void)
-			| undefined;
-		PrivateIdentifier?:
-			| ((node: ESTree.PrivateIdentifier & NodeParentExtension) => void)
-			| undefined;
-		"PrivateIdentifier:exit"?:
-			| ((node: ESTree.PrivateIdentifier & NodeParentExtension) => void)
-			| undefined;
-		Program?: ((node: ESTree.Program) => void) | undefined;
-		"Program:exit"?: ((node: ESTree.Program) => void) | undefined;
-		Property?:
-			| ((node: ESTree.Property & NodeParentExtension) => void)
-			| undefined;
-		"Property:exit"?:
-			| ((node: ESTree.Property & NodeParentExtension) => void)
-			| undefined;
-		PropertyDefinition?:
-			| ((node: ESTree.PropertyDefinition & NodeParentExtension) => void)
-			| undefined;
-		"PropertyDefinition:exit"?:
-			| ((node: ESTree.PropertyDefinition & NodeParentExtension) => void)
-			| undefined;
-		RestElement?:
-			| ((node: ESTree.RestElement & NodeParentExtension) => void)
-			| undefined;
-		"RestElement:exit"?:
-			| ((node: ESTree.RestElement & NodeParentExtension) => void)
-			| undefined;
-		ReturnStatement?:
-			| ((node: ESTree.ReturnStatement & NodeParentExtension) => void)
-			| undefined;
-		"ReturnStatement:exit"?:
-			| ((node: ESTree.ReturnStatement & NodeParentExtension) => void)
-			| undefined;
-		SequenceExpression?:
-			| ((node: ESTree.SequenceExpression & NodeParentExtension) => void)
-			| undefined;
-		"SequenceExpression:exit"?:
-			| ((node: ESTree.SequenceExpression & NodeParentExtension) => void)
-			| undefined;
-		SpreadElement?:
-			| ((node: ESTree.SpreadElement & NodeParentExtension) => void)
-			| undefined;
-		"SpreadElement:exit"?:
-			| ((node: ESTree.SpreadElement & NodeParentExtension) => void)
-			| undefined;
-		StaticBlock?:
-			| ((node: ESTree.StaticBlock & NodeParentExtension) => void)
-			| undefined;
-		"StaticBlock:exit"?:
-			| ((node: ESTree.StaticBlock & NodeParentExtension) => void)
-			| undefined;
-		Super?:
-			| ((node: ESTree.Super & NodeParentExtension) => void)
-			| undefined;
-		"Super:exit"?:
-			| ((node: ESTree.Super & NodeParentExtension) => void)
-			| undefined;
-		SwitchCase?:
-			| ((node: ESTree.SwitchCase & NodeParentExtension) => void)
-			| undefined;
-		"SwitchCase:exit"?:
-			| ((node: ESTree.SwitchCase & NodeParentExtension) => void)
-			| undefined;
-		SwitchStatement?:
-			| ((node: ESTree.SwitchStatement & NodeParentExtension) => void)
-			| undefined;
-		"SwitchStatement:exit"?:
-			| ((node: ESTree.SwitchStatement & NodeParentExtension) => void)
-			| undefined;
-		TaggedTemplateExpression?:
-			| ((
-					node: ESTree.TaggedTemplateExpression & NodeParentExtension,
-			  ) => void)
-			| undefined;
-		"TaggedTemplateExpression:exit"?:
-			| ((
-					node: ESTree.TaggedTemplateExpression & NodeParentExtension,
-			  ) => void)
-			| undefined;
-		TemplateElement?:
-			| ((node: ESTree.TemplateElement & NodeParentExtension) => void)
-			| undefined;
-		"TemplateElement:exit"?:
-			| ((node: ESTree.TemplateElement & NodeParentExtension) => void)
-			| undefined;
-		TemplateLiteral?:
-			| ((node: ESTree.TemplateLiteral & NodeParentExtension) => void)
-			| undefined;
-		"TemplateLiteral:exit"?:
-			| ((node: ESTree.TemplateLiteral & NodeParentExtension) => void)
-			| undefined;
-		ThisExpression?:
-			| ((node: ESTree.ThisExpression & NodeParentExtension) => void)
-			| undefined;
-		"ThisExpression:exit"?:
-			| ((node: ESTree.ThisExpression & NodeParentExtension) => void)
-			| undefined;
-		ThrowStatement?:
-			| ((node: ESTree.ThrowStatement & NodeParentExtension) => void)
-			| undefined;
-		"ThrowStatement:exit"?:
-			| ((node: ESTree.ThrowStatement & NodeParentExtension) => void)
-			| undefined;
-		TryStatement?:
-			| ((node: ESTree.TryStatement & NodeParentExtension) => void)
-			| undefined;
-		"TryStatement:exit"?:
-			| ((node: ESTree.TryStatement & NodeParentExtension) => void)
-			| undefined;
-		UnaryExpression?:
-			| ((node: ESTree.UnaryExpression & NodeParentExtension) => void)
-			| undefined;
-		"UnaryExpression:exit"?:
-			| ((node: ESTree.UnaryExpression & NodeParentExtension) => void)
-			| undefined;
-		UpdateExpression?:
-			| ((node: ESTree.UpdateExpression & NodeParentExtension) => void)
-			| undefined;
-		"UpdateExpression:exit"?:
-			| ((node: ESTree.UpdateExpression & NodeParentExtension) => void)
-			| undefined;
-		VariableDeclaration?:
-			| ((node: ESTree.VariableDeclaration & NodeParentExtension) => void)
-			| undefined;
-		"VariableDeclaration:exit"?:
-			| ((node: ESTree.VariableDeclaration & NodeParentExtension) => void)
-			| undefined;
-		VariableDeclarator?:
-			| ((node: ESTree.VariableDeclarator & NodeParentExtension) => void)
-			| undefined;
-		"VariableDeclarator:exit"?:
-			| ((node: ESTree.VariableDeclarator & NodeParentExtension) => void)
-			| undefined;
-		WhileStatement?:
-			| ((node: ESTree.WhileStatement & NodeParentExtension) => void)
-			| undefined;
-		"WhileStatement:exit"?:
-			| ((node: ESTree.WhileStatement & NodeParentExtension) => void)
-			| undefined;
-		WithStatement?:
-			| ((node: ESTree.WithStatement & NodeParentExtension) => void)
-			| undefined;
-		"WithStatement:exit"?:
-			| ((node: ESTree.WithStatement & NodeParentExtension) => void)
-			| undefined;
-		YieldExpression?:
-			| ((node: ESTree.YieldExpression & NodeParentExtension) => void)
-			| undefined;
-		"YieldExpression:exit"?:
-			| ((node: ESTree.YieldExpression & NodeParentExtension) => void)
-			| undefined;
-	}
+
+	interface NodeListener
+		extends WithExit<
+			{
+				[Node in Rule.Node as Node["type"]]?:
+					| ((node: Node) => void)
+					| undefined;
+			} & {
+				// A `Program` visitor's node type has no `parent` property.
+				Program?: ((node: AST.Program) => void) | undefined;
+			}
+		> {}
 
 	interface NodeParentExtension {
 		parent: Node;
 	}
-	type Node = ESTree.Node & NodeParentExtension;
+
+	type Node =
+		| (AST.Program & { parent: null })
+		| (Exclude<ESTree.Node, ESTree.Program> & NodeParentExtension);
 
 	interface RuleListener extends NodeListener {
 		onCodePathStart?(codePath: CodePath, node: Node): void;
@@ -1124,6 +718,16 @@ export namespace Rule {
 
 		onCodePathSegmentEnd?(segment: CodePathSegment, node: Node): void;
 
+		onUnreachableCodePathSegmentStart?(
+			segment: CodePathSegment,
+			node: Node,
+		): void;
+
+		onUnreachableCodePathSegmentEnd?(
+			segment: CodePathSegment,
+			node: Node,
+		): void;
+
 		onCodePathSegmentLoop?(
 			fromSegment: CodePathSegment,
 			toSegment: CodePathSegment,
@@ -1178,37 +782,21 @@ export namespace Rule {
 			MessageIds: string;
 		}> {}
 
-	type ReportFixer = (
-		fixer: RuleFixer,
-	) => null | Fix | IterableIterator<Fix> | Fix[];
+	type ReportFixer = CoreRuleFixer;
 
-	interface ReportDescriptorOptionsBase {
-		data?: { [key: string]: string };
+	/** @deprecated Use `ReportDescriptorOptions` instead. */
+	type ReportDescriptorOptionsBase = ViolationReportBase;
 
-		fix?: null | ReportFixer;
-	}
+	type SuggestionReportOptions = SuggestedEditBase;
+	type SuggestionDescriptorMessage = SuggestionMessage;
+	type SuggestionReportDescriptor = SuggestedEdit;
 
-	interface SuggestionReportOptions {
-		data?: { [key: string]: string };
+	// redundant with ReportDescriptorOptionsBase but kept for clarity
+	type ReportDescriptorOptions = ViolationReportBase;
 
-		fix: ReportFixer;
-	}
-
-	type SuggestionDescriptorMessage = { desc: string } | { messageId: string };
-	type SuggestionReportDescriptor = SuggestionDescriptorMessage &
-		SuggestionReportOptions;
-
-	interface ReportDescriptorOptions extends ReportDescriptorOptionsBase {
-		suggest?: SuggestionReportDescriptor[] | null | undefined;
-	}
-
-	type ReportDescriptor = ReportDescriptorMessage &
-		ReportDescriptorLocation &
-		ReportDescriptorOptions;
-	type ReportDescriptorMessage = { message: string } | { messageId: string };
-	type ReportDescriptorLocation =
-		| { node: ESTree.Node }
-		| { loc: AST.SourceLocation | { line: number; column: number } };
+	type ReportDescriptor = ViolationReport<ESTree.Node>;
+	type ReportDescriptorMessage = ViolationMessage;
+	type ReportDescriptorLocation = ViolationLocation<ESTree.Node>;
 
 	type RuleFixer = RuleTextEditor<ESTree.Node | AST.Token>;
 	type Fix = RuleTextEdit;
@@ -1222,7 +810,7 @@ export type JSRuleDefinition<
 	{
 		LangOptions: Linter.LanguageOptions;
 		Code: SourceCode;
-		Visitor: Rule.NodeListener;
+		Visitor: Rule.RuleListener;
 		Node: JSSyntaxElement;
 	},
 	Options
@@ -1318,9 +906,7 @@ export namespace Linter {
 	 *
 	 * @see [Rules](https://eslint.org/docs/latest/use/configure/rules)
 	 */
-	type RuleEntry<Options extends any[] = any[]> =
-		| RuleSeverity
-		| RuleSeverityAndOptions<Options>;
+	type RuleEntry<Options extends any[] = any[]> = RuleConfig<Options>;
 
 	/**
 	 * The rules config object is a key/value map of rule names and their severity and options.
@@ -1330,9 +916,8 @@ export namespace Linter {
 	/**
 	 * A configuration object that may have a `rules` block.
 	 */
-	interface HasRules<Rules extends RulesConfig = RulesConfig> {
-		rules?: Partial<Rules> | undefined;
-	}
+	type HasRules<Rules extends RulesConfig = RulesConfig> =
+		CoreHasRules<Rules>;
 
 	/**
 	 * The ECMAScript version of the code being linted.
@@ -1342,99 +927,17 @@ export namespace Linter {
 	/**
 	 * The type of JavaScript source code.
 	 */
-	// TODO: Refactor to JavaScriptSourceType when exported from @eslint/core.
-	type SourceType = "script" | "module" | "commonjs";
+	type SourceType = JavaScriptSourceType;
 
 	/**
 	 * ESLint legacy configuration.
 	 *
 	 * @see [ESLint Legacy Configuration](https://eslint.org/docs/latest/use/configure/)
 	 */
-	interface BaseConfig<
+	type BaseConfig<
 		Rules extends RulesConfig = RulesConfig,
 		OverrideRules extends RulesConfig = Rules,
-	> extends HasRules<Rules> {
-		$schema?: string | undefined;
-
-		/**
-		 * An environment provides predefined global variables.
-		 *
-		 * @see [Environments](https://eslint.org/docs/latest/use/configure/language-options-deprecated#specifying-environments)
-		 */
-		env?: { [name: string]: boolean } | undefined;
-
-		/**
-		 * Extending configuration files.
-		 *
-		 * @see [Extends](https://eslint.org/docs/latest/use/configure/configuration-files-deprecated#extending-configuration-files)
-		 */
-		extends?: string | string[] | undefined;
-
-		/**
-		 * Specifying globals.
-		 *
-		 * @see [Globals](https://eslint.org/docs/latest/use/configure/language-options-deprecated#specifying-globals)
-		 */
-		globals?: Linter.Globals | undefined;
-
-		/**
-		 * Disable processing of inline comments.
-		 *
-		 * @see [Disabling Inline Comments](https://eslint.org/docs/latest/use/configure/rules-deprecated#disabling-inline-comments)
-		 */
-		noInlineConfig?: boolean | undefined;
-
-		/**
-		 * Overrides can be used to use a differing configuration for matching sub-directories and files.
-		 *
-		 * @see [How do overrides work](https://eslint.org/docs/latest/use/configure/configuration-files-deprecated#how-do-overrides-work)
-		 */
-		overrides?: Array<ConfigOverride<OverrideRules>> | undefined;
-
-		/**
-		 * Parser.
-		 *
-		 * @see [Working with Custom Parsers](https://eslint.org/docs/latest/extend/custom-parsers)
-		 * @see [Specifying Parser](https://eslint.org/docs/latest/use/configure/parser-deprecated)
-		 */
-		parser?: string | undefined;
-
-		/**
-		 * Parser options.
-		 *
-		 * @see [Working with Custom Parsers](https://eslint.org/docs/latest/extend/custom-parsers)
-		 * @see [Specifying Parser Options](https://eslint.org/docs/latest/use/configure/language-options-deprecated#specifying-parser-options)
-		 */
-		parserOptions?: JavaScriptParserOptionsConfig | undefined;
-
-		/**
-		 * Which third-party plugins define additional rules, environments, configs, etc. for ESLint to use.
-		 *
-		 * @see [Configuring Plugins](https://eslint.org/docs/latest/use/configure/plugins-deprecated#configure-plugins)
-		 */
-		plugins?: string[] | undefined;
-
-		/**
-		 * Specifying processor.
-		 *
-		 * @see [processor](https://eslint.org/docs/latest/use/configure/plugins-deprecated#specify-a-processor)
-		 */
-		processor?: string | undefined;
-
-		/**
-		 * Report unused eslint-disable comments as warning.
-		 *
-		 * @see [Report unused eslint-disable comments](https://eslint.org/docs/latest/use/configure/rules-deprecated#report-unused-eslint-disable-comments)
-		 */
-		reportUnusedDisableDirectives?: boolean | undefined;
-
-		/**
-		 * Settings.
-		 *
-		 * @see [Settings](https://eslint.org/docs/latest/use/configure/configuration-files-deprecated#adding-shared-settings)
-		 */
-		settings?: { [name: string]: any } | undefined;
-	}
+	> = CoreBaseConfig<Rules, OverrideRules>;
 
 	/**
 	 * The overwrites that apply more differing configuration to specific files or directories.
@@ -1477,18 +980,7 @@ export namespace Linter {
 		reportUnusedDisableDirectives?: boolean | undefined;
 	}
 
-	// TODO: Once exported from @eslint/core, remove this and use that instead
-	interface LintSuggestion {
-		/** A short description. */
-		desc: string;
-
-		/** Fix result info. */
-		fix: Rule.Fix;
-
-		/** Id referencing a message for the description. */
-		messageId?: string | undefined;
-	}
-
+	type LintSuggestion = CoreLintSuggestion;
 	type LintMessage = CoreLintMessage;
 
 	interface LintSuppression {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "eslint",
-  "version": "9.38.0",
+  "version": "9.39.0",
   "author": "Nicholas C. Zakas <nicholas+npm@nczconsulting.com>",
   "description": "An AST-based pattern checker for JavaScript.",
   "type": "commonjs",
@@ -83,8 +83,9 @@
     "*": "trunk check --fix",
     "lib/rules/*.js": [
       "node tools/update-eslint-all.js",
+      "node tools/update-eslint-recommended.js",
       "node tools/update-rule-type-headers.js",
-      "git add packages/js/src/configs/eslint-all.js lib/types/rules.d.ts"
+      "git add packages/js/src/configs/*.js lib/types/rules.d.ts"
     ],
     "docs/src/rules/*.md": [
       "node tools/check-rule-examples.js",
@@ -108,11 +109,11 @@
     "@eslint-community/eslint-utils": "^4.8.0",
     "@eslint-community/regexpp": "^4.12.1",
     "@eslint/config-array": "^0.21.1",
-    "@eslint/config-helpers": "^0.4.1",
-    "@eslint/core": "^0.16.0",
+    "@eslint/config-helpers": "^0.4.2",
+    "@eslint/core": "^0.17.0",
     "@eslint/eslintrc": "^3.3.1",
-    "@eslint/js": "9.38.0",
-    "@eslint/plugin-kit": "^0.4.0",
+    "@eslint/js": "9.39.0",
+    "@eslint/plugin-kit": "^0.4.1",
     "@humanfs/node": "^0.16.6",
     "@humanwhocodes/module-importer": "^1.0.1",
     "@humanwhocodes/retry": "^0.4.2",
@@ -145,7 +146,7 @@
     "@babel/core": "^7.4.3",
     "@babel/preset-env": "^7.4.3",
     "@cypress/webpack-preprocessor": "^6.0.2",
-    "@eslint/json": "^0.13.0",
+    "@eslint/json": "^0.13.2",
     "@trunkio/launcher": "^1.3.4",
     "@types/esquery": "^1.5.4",
     "@types/node": "^22.13.14",