eslint 9.38.0 → 9.39.1

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 {