atom.io 0.44.9 → 0.44.10

package/dist/eslint-plugin/index.d.ts

@@ -1,13 +1,16 @@
 import { ESLintUtils } from "@typescript-eslint/utils";
 import { ESLint } from "eslint";
 
+//#region src/eslint-plugin/rules/exact-catch-types.d.ts
+declare const exactCatchTypes: ESLintUtils.RuleModule<`extraneousErrorTypes` | `invalidCatchProperty` | `missingCatchProperty`, [], unknown, ESLintUtils.RuleListener>;
+//#endregion
 //#region src/eslint-plugin/rules/explicit-state-types.d.ts
 type Options = [{
   permitAnnotation?: boolean;
 }];
 declare const explicitStateTypes: ESLintUtils.RuleModule<`noTypeArgument` | `noTypeArgumentOrAnnotation`, Options, unknown, ESLintUtils.RuleListener>;
 declare namespace index_d_exports {
-  export { explicitStateTypes };
+  export { exactCatchTypes, explicitStateTypes };
 }
 //#endregion
 //#region src/eslint-plugin/index.d.ts

package/dist/eslint-plugin/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","names":["explicitStateTypes: ESLintUtils.RuleModule<\n\t`noTypeArgument` | `noTypeArgumentOrAnnotation`,\n\tOptions,\n\tunknown,\n\tESLintUtils.RuleListener\n>","plugin: ESLint.Plugin"],"sources":["../../src/eslint-plugin/rules/explicit-state-types.ts","../../src/eslint-plugin/rules/index.ts","../../src/eslint-plugin/index.ts"],"sourcesContent":[],"mappings":";;;;KAiBK,OAAA;;;cAMQA,oBAAoB,WAAA,CAAY,4DAE5C,kBAEA,WAAA,CAAY;;;;;;cErBPC,QAAQ,MAAA,CAAO"}
+{"version":3,"file":"index.d.ts","names":["exactCatchTypes: ESLintUtils.RuleModule<\n\t`extraneousErrorTypes` | `invalidCatchProperty` | `missingCatchProperty`,\n\t[],\n\tunknown,\n\tESLintUtils.RuleListener\n>","explicitStateTypes: ESLintUtils.RuleModule<\n\t`noTypeArgument` | `noTypeArgumentOrAnnotation`,\n\tOptions,\n\tunknown,\n\tESLintUtils.RuleListener\n>","plugin: ESLint.Plugin"],"sources":["../../src/eslint-plugin/rules/exact-catch-types.ts","../../src/eslint-plugin/rules/explicit-state-types.ts","../../src/eslint-plugin/rules/index.ts","../../src/eslint-plugin/index.ts"],"sourcesContent":[],"mappings":";;;;cAqBaA,iBAAiB,WAAA,CAAY,kGAIzC,WAAA,CAAY;;;KCTR,OAAA;;;cAMQC,oBAAoB,WAAA,CAAY,4DAE5C,kBAEA,WAAA,CAAY;;;;;;cEpBPC,QAAQ,MAAA,CAAO"}

package/dist/eslint-plugin/index.js

@@ -1,6 +1,133 @@
 import { t as __export } from "../chunk-D8lmAICg.js";
 import { AST_NODE_TYPES, ESLintUtils } from "@typescript-eslint/utils";
 
+//#region src/eslint-plugin/rules/exact-catch-types.ts
+const createRule$1 = ESLintUtils.RuleCreator((name) => `https://atom.io.fyi/docs/eslint-plugin#${name}`);
+const STATE_FUNCTIONS_WITH_CATCH = [
+	`atom`,
+	`atomFamily`,
+	`selector`,
+	`selectorFamily`
+];
+const STANDALONE_FUNCTIONS = [`atom`, `selector`];
+const exactCatchTypes = createRule$1({
+	name: `catch-constructor-type`,
+	meta: {
+		type: `problem`,
+		docs: { description: `Ensures that when an error type (E) is provided to an atom, the 'catch' property is set and all constructors in it are assignable to E.` },
+		messages: {
+			missingCatchProperty: "This {{functionName}} was provided the error type `{{errorTypeName}}` but the required 'catch' property is missing from its options. Either remove `{{errorTypeName}}`, or add `catch: [{{errorTypeName}}]` to the options object.",
+			invalidCatchProperty: "This {{functionName}} was provided a catch array containing the class `{{constructorName}}`. However, that class is not represented in the {{functionName}}'s error type, `{{errorTypeName}}`. As a result, it might catch errors that the {{functionName}} is not designed to handle. Either include `{{constructorName}}` in the {{functionName}}'s error type, or remove it from the 'catch' array.",
+			extraneousErrorTypes: "This {{functionName}} was provided an error type including the class {{errorTypeName}}, but its 'catch' property doesn't include a constructor for that class. Either include a constructor for {{errorTypeName}} in the 'catch' array, or remove {{errorTypeName}} from the error type."
+		},
+		schema: []
+	},
+	defaultOptions: [],
+	create(context) {
+		const parserServices = ESLintUtils.getParserServices(context);
+		const checker = parserServices.program.getTypeChecker();
+		return { CallExpression(node) {
+			const { callee, typeArguments: directTypeArguments, arguments: callArguments } = node;
+			let functionName = null;
+			if (callee.type === AST_NODE_TYPES.Identifier) {
+				if (STATE_FUNCTIONS_WITH_CATCH.includes(callee.name)) functionName = callee.name;
+			} else if (callee.type === AST_NODE_TYPES.MemberExpression) {
+				if (callee.property.type === AST_NODE_TYPES.Identifier && STATE_FUNCTIONS_WITH_CATCH.includes(callee.property.name)) functionName = callee.property.name;
+			}
+			if (!functionName) return;
+			let typeArguments;
+			if (directTypeArguments) typeArguments = directTypeArguments;
+			else {
+				const parent = node.parent;
+				if (parent?.type === AST_NODE_TYPES.VariableDeclarator && parent.init === node) {
+					const declaratorId = parent.id;
+					if (declaratorId.type === AST_NODE_TYPES.Identifier) {
+						const typeAnnotation = declaratorId.typeAnnotation?.typeAnnotation;
+						if (typeAnnotation && `typeArguments` in typeAnnotation && typeAnnotation.typeArguments) typeArguments = typeAnnotation.typeArguments;
+					}
+				}
+			}
+			const optionsObject = callArguments[0];
+			if (optionsObject?.type !== AST_NODE_TYPES.ObjectExpression) return;
+			const isStandalone = STANDALONE_FUNCTIONS.includes(functionName);
+			const errorTypeNode = typeArguments ? isStandalone ? typeArguments.params[1] : typeArguments.params[2] : void 0;
+			let catchProperty;
+			optionsObject.properties.forEach((property) => {
+				if (property.type === AST_NODE_TYPES.Property) {
+					if (property.key.type === AST_NODE_TYPES.Identifier && property.key.name === `catch` || property.key.type === AST_NODE_TYPES.Literal && property.key.value === `catch`) catchProperty = property;
+				}
+			});
+			if (!errorTypeNode) return;
+			const typeNode = parserServices.esTreeNodeToTSNodeMap.get(errorTypeNode);
+			const errorTypeTs = checker.getTypeFromTypeNode(typeNode);
+			const errorTypeName = checker.typeToString(errorTypeTs);
+			if (!catchProperty) {
+				context.report({
+					node: optionsObject,
+					messageId: `missingCatchProperty`,
+					data: {
+						functionName,
+						errorTypeName
+					}
+				});
+				return;
+			}
+			const catchArray = catchProperty.value;
+			if (catchArray.type !== AST_NODE_TYPES.ArrayExpression) return;
+			const acceptableErrorSymbols = [];
+			if (errorTypeTs.isUnion()) for (const memberType of errorTypeTs.types) {
+				const symbol = memberType.getSymbol();
+				if (symbol) acceptableErrorSymbols.push(symbol);
+			}
+			else {
+				const symbol = errorTypeTs.getSymbol();
+				if (symbol) acceptableErrorSymbols.push(symbol);
+			}
+			if (catchArray.elements.length === 0) {
+				context.report({
+					node: catchProperty,
+					messageId: `missingCatchProperty`,
+					data: {
+						functionName,
+						errorTypeName
+					}
+				});
+				return;
+			}
+			const errorSymbolsToRepresent = new Set(acceptableErrorSymbols);
+			for (const element of catchArray.elements) {
+				if (!element || element.type !== AST_NODE_TYPES.Identifier) continue;
+				const constructorTsNode = parserServices.esTreeNodeToTSNodeMap.get(element);
+				const constructorType = checker.getTypeAtLocation(constructorTsNode);
+				const constructorName = element.name;
+				let instanceType;
+				if (constructorType.getConstructSignatures().length > 0) instanceType = constructorType.getConstructSignatures()[0].getReturnType();
+				const constructorInstanceSymbol = instanceType?.getSymbol();
+				if (!constructorInstanceSymbol) continue;
+				if (acceptableErrorSymbols.includes(constructorInstanceSymbol)) errorSymbolsToRepresent.delete(constructorInstanceSymbol);
+				else context.report({
+					node: element,
+					messageId: `invalidCatchProperty`,
+					data: {
+						functionName,
+						constructorName,
+						errorTypeName
+					}
+				});
+			}
+			for (const errorSymbol of errorSymbolsToRepresent) context.report({
+				node: catchProperty,
+				messageId: `extraneousErrorTypes`,
+				data: {
+					errorTypeName: checker.symbolToString(errorSymbol),
+					functionName
+				}
+			});
+		} };
+	}
+});
+
+//#endregion
 //#region src/eslint-plugin/rules/explicit-state-types.ts
 const createRule = ESLintUtils.RuleCreator((name) => `https://atom.io.fyi/docs/eslint-plugin#${name}`);
 const STATE_FUNCTIONS = [
@@ -68,11 +195,17 @@ const explicitStateTypes = createRule({
 
 //#endregion
 //#region src/eslint-plugin/rules/index.ts
-var rules_exports = /* @__PURE__ */ __export({ explicitStateTypes: () => explicitStateTypes });
+var rules_exports = /* @__PURE__ */ __export({
+	exactCatchTypes: () => exactCatchTypes,
+	explicitStateTypes: () => explicitStateTypes
+});
 
 //#endregion
 //#region src/eslint-plugin/index.ts
-const plugin = { rules: { "explicit-state-types": explicitStateTypes } };
+const plugin = { rules: {
+	"exact-catch-types": exactCatchTypes,
+	"explicit-state-types": explicitStateTypes
+} };
 var eslint_plugin_default = plugin;
 
 //#endregion

package/dist/eslint-plugin/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","names":["explicitStateTypes: ESLintUtils.RuleModule<\n\t`noTypeArgument` | `noTypeArgumentOrAnnotation`,\n\tOptions,\n\tunknown,\n\tESLintUtils.RuleListener\n>","plugin: ESLint.Plugin","Rules.explicitStateTypes"],"sources":["../../src/eslint-plugin/rules/explicit-state-types.ts","../../src/eslint-plugin/rules/index.ts","../../src/eslint-plugin/index.ts"],"sourcesContent":["/* eslint-disable @typescript-eslint/switch-exhaustiveness-check */\nimport type { TSESTree } from \"@typescript-eslint/utils\"\nimport { AST_NODE_TYPES, ESLintUtils } from \"@typescript-eslint/utils\"\n\nconst createRule = ESLintUtils.RuleCreator(\n\t(name) => `https://atom.io.fyi/docs/eslint-plugin#${name}`,\n)\n\nconst STATE_FUNCTIONS = [\n\t`atom`,\n\t`atomFamily`,\n\t`mutableAtom`,\n\t`mutableAtomFamily`,\n\t`selector`,\n\t`selectorFamily`,\n]\n\ntype Options = [\n\t{\n\t\tpermitAnnotation?: boolean\n\t},\n]\n\nexport const explicitStateTypes: ESLintUtils.RuleModule<\n\t`noTypeArgument` | `noTypeArgumentOrAnnotation`,\n\tOptions,\n\tunknown,\n\tESLintUtils.RuleListener\n> = createRule({\n\tname: `explicit-state-types`,\n\tmeta: {\n\t\ttype: `problem`,\n\t\tdocs: {\n\t\t\tdescription: `State declarations must have generic type arguments directly passed to them`,\n\t\t},\n\t\tmessages: {\n\t\t\tnoTypeArgument: `State declarations must have generic type arguments directly passed to them.`,\n\t\t\tnoTypeArgumentOrAnnotation: `State declarations must have generic type arguments directly passed to them, or a top-level type annotation.`,\n\t\t},\n\t\tschema: [\n\t\t\t{\n\t\t\t\ttype: `object`,\n\t\t\t\tproperties: {\n\t\t\t\t\tpermitAnnotation: {\n\t\t\t\t\t\ttype: `boolean`,\n\t\t\t\t\t\tdefault: false,\n\t\t\t\t\t},\n\t\t\t\t},\n\t\t\t\tadditionalProperties: false,\n\t\t\t},\n\t\t],\n\t},\n\tdefaultOptions: [\n\t\t{\n\t\t\tpermitAnnotation: false,\n\t\t},\n\t],\n\tcreate(context) {\n\t\tconst options = context.options[0]\n\t\tconst permitAnnotation = options?.permitAnnotation ?? false\n\n\t\treturn {\n\t\t\tCallExpression(node) {\n\t\t\t\tconst callee = node.callee\n\n\t\t\t\tswitch (callee.type) {\n\t\t\t\t\tcase `Identifier`:\n\t\t\t\t\t\tif (STATE_FUNCTIONS.includes(callee.name) === false) {\n\t\t\t\t\t\t\treturn\n\t\t\t\t\t\t}\n\t\t\t\t\t\tbreak\n\t\t\t\t\tcase `MemberExpression`:\n\t\t\t\t\t\tif (\n\t\t\t\t\t\t\t(callee.property.type === `Identifier` &&\n\t\t\t\t\t\t\t\tSTATE_FUNCTIONS.includes(callee.property.name)) === false\n\t\t\t\t\t\t) {\n\t\t\t\t\t\t\treturn\n\t\t\t\t\t\t}\n\t\t\t\t\t\tbreak\n\t\t\t\t\tdefault:\n\t\t\t\t\t\treturn\n\t\t\t\t}\n\n\t\t\t\t// Check for the *required* generic type argument first\n\t\t\t\tif (node.typeArguments) {\n\t\t\t\t\treturn // Generic type argument is present, no error\n\t\t\t\t}\n\n\t\t\t\t// If generic arguments are missing, check if the top-level annotation exception is enabled AND present\n\t\t\t\tif (permitAnnotation) {\n\t\t\t\t\tlet hasAnnotation = false\n\t\t\t\t\t// Check if the CallExpression is the initializer of a variable declarator\n\t\t\t\t\tconst parent = node.parent\n\t\t\t\t\tif (\n\t\t\t\t\t\tparent?.type === AST_NODE_TYPES.VariableDeclarator &&\n\t\t\t\t\t\tparent.init === node\n\t\t\t\t\t) {\n\t\t\t\t\t\t// Check if the VariableDeclarator has an id with a TypeAnnotation\n\t\t\t\t\t\tconst declaratorId = parent.id\n\t\t\t\t\t\tif (declaratorId.type === AST_NODE_TYPES.Identifier) {\n\t\t\t\t\t\t\t// Check for 'const myAtom: AtomToken<string> = ...'\n\t\t\t\t\t\t\thasAnnotation = Boolean(declaratorId.typeAnnotation)\n\t\t\t\t\t\t}\n\t\t\t\t\t}\n\t\t\t\t\tif (hasAnnotation) {\n\t\t\t\t\t\treturn // Exception met: type annotation is on the variable declaration\n\t\t\t\t\t}\n\t\t\t\t\tcontext.report({\n\t\t\t\t\t\tnode,\n\t\t\t\t\t\tmessageId: `noTypeArgumentOrAnnotation`,\n\t\t\t\t\t})\n\t\t\t\t\treturn\n\t\t\t\t}\n\n\t\t\t\tcontext.report({\n\t\t\t\t\tnode,\n\t\t\t\t\tmessageId: `noTypeArgument`,\n\t\t\t\t})\n\t\t\t},\n\t\t}\n\t},\n})\n","export * from \"./explicit-state-types\"\n","import type { ESLint } from \"eslint\"\n\nimport * as Rules from \"./rules\"\n\nexport { Rules }\n\nconst plugin: ESLint.Plugin = {\n\trules: {\n\t\t\"explicit-state-types\": Rules.explicitStateTypes as any,\n\t},\n} satisfies ESLint.Plugin\n\nexport default plugin\n"],"mappings":";;;;AAIA,MAAM,aAAa,YAAY,aAC7B,SAAS,0CAA0C,OACpD;AAED,MAAM,kBAAkB;CACvB;CACA;CACA;CACA;CACA;CACA;CACA;AAQD,MAAaA,qBAKT,WAAW;CACd,MAAM;CACN,MAAM;EACL,MAAM;EACN,MAAM,EACL,aAAa,+EACb;EACD,UAAU;GACT,gBAAgB;GAChB,4BAA4B;GAC5B;EACD,QAAQ,CACP;GACC,MAAM;GACN,YAAY,EACX,kBAAkB;IACjB,MAAM;IACN,SAAS;IACT,EACD;GACD,sBAAsB;GACtB,CACD;EACD;CACD,gBAAgB,CACf,EACC,kBAAkB,OAClB,CACD;CACD,OAAO,SAAS;EAEf,MAAM,mBADU,QAAQ,QAAQ,IACE,oBAAoB;AAEtD,SAAO,EACN,eAAe,MAAM;GACpB,MAAM,SAAS,KAAK;AAEpB,WAAQ,OAAO,MAAf;IACC,KAAK;AACJ,SAAI,gBAAgB,SAAS,OAAO,KAAK,KAAK,MAC7C;AAED;IACD,KAAK;AACJ,UACE,OAAO,SAAS,SAAS,gBACzB,gBAAgB,SAAS,OAAO,SAAS,KAAK,MAAM,MAErD;AAED;IACD,QACC;;AAIF,OAAI,KAAK,cACR;AAID,OAAI,kBAAkB;IACrB,IAAI,gBAAgB;IAEpB,MAAM,SAAS,KAAK;AACpB,QACC,QAAQ,SAAS,eAAe,sBAChC,OAAO,SAAS,MACf;KAED,MAAM,eAAe,OAAO;AAC5B,SAAI,aAAa,SAAS,eAAe,WAExC,iBAAgB,QAAQ,aAAa,eAAe;;AAGtD,QAAI,cACH;AAED,YAAQ,OAAO;KACd;KACA,WAAW;KACX,CAAC;AACF;;AAGD,WAAQ,OAAO;IACd;IACA,WAAW;IACX,CAAC;KAEH;;CAEF,CAAC;;;;;;;;AEnHF,MAAMC,SAAwB,EAC7B,OAAO,EACN,wBAAwBC,oBACxB,EACD;AAED,4BAAe"}
+{"version":3,"file":"index.js","names":["createRule","exactCatchTypes: ESLintUtils.RuleModule<\n\t`extraneousErrorTypes` | `invalidCatchProperty` | `missingCatchProperty`,\n\t[],\n\tunknown,\n\tESLintUtils.RuleListener\n>","functionName: string | null","typeArguments: TSESTree.TSTypeParameterInstantiation | undefined","catchProperty: TSESTree.Property | undefined","acceptableErrorSymbols: TsSymbol[]","instanceType: Type | undefined","explicitStateTypes: ESLintUtils.RuleModule<\n\t`noTypeArgument` | `noTypeArgumentOrAnnotation`,\n\tOptions,\n\tunknown,\n\tESLintUtils.RuleListener\n>","plugin: ESLint.Plugin","Rules.exactCatchTypes","Rules.explicitStateTypes"],"sources":["../../src/eslint-plugin/rules/exact-catch-types.ts","../../src/eslint-plugin/rules/explicit-state-types.ts","../../src/eslint-plugin/rules/index.ts","../../src/eslint-plugin/index.ts"],"sourcesContent":["import type { TSESTree } from \"@typescript-eslint/utils\"\nimport { AST_NODE_TYPES, ESLintUtils } from \"@typescript-eslint/utils\"\nimport type {\n\tInterfaceType,\n\tSymbol as TsSymbol,\n\tType,\n\tTypeNode,\n} from \"typescript\"\n\nconst createRule = ESLintUtils.RuleCreator(\n\t(name) => `https://atom.io.fyi/docs/eslint-plugin#${name}`,\n)\n\nconst STATE_FUNCTIONS_WITH_CATCH = [\n\t`atom`,\n\t`atomFamily`,\n\t`selector`,\n\t`selectorFamily`,\n]\nconst STANDALONE_FUNCTIONS = [`atom`, `selector`]\n\nexport const exactCatchTypes: ESLintUtils.RuleModule<\n\t`extraneousErrorTypes` | `invalidCatchProperty` | `missingCatchProperty`,\n\t[],\n\tunknown,\n\tESLintUtils.RuleListener\n> = createRule({\n\tname: `catch-constructor-type`,\n\tmeta: {\n\t\ttype: `problem`,\n\t\tdocs: {\n\t\t\tdescription: `Ensures that when an error type (E) is provided to an atom, the 'catch' property is set and all constructors in it are assignable to E.`,\n\t\t},\n\t\tmessages: {\n\t\t\tmissingCatchProperty:\n\t\t\t\t`This {{functionName}} was provided the error type \\`{{errorTypeName}}\\` ` +\n\t\t\t\t`but the required 'catch' property is missing from its options. ` +\n\t\t\t\t`Either remove \\`{{errorTypeName}}\\`, or add \\`catch: [{{errorTypeName}}]\\` to the options object.`,\n\t\t\tinvalidCatchProperty:\n\t\t\t\t`This {{functionName}} was provided a catch array containing the class \\`{{constructorName}}\\`. ` +\n\t\t\t\t`However, that class is not represented in the {{functionName}}'s error type, \\`{{errorTypeName}}\\`. ` +\n\t\t\t\t`As a result, it might catch errors that the {{functionName}} is not designed to handle. ` +\n\t\t\t\t`Either include \\`{{constructorName}}\\` in the {{functionName}}'s error type, or remove it from the 'catch' array.`,\n\t\t\textraneousErrorTypes:\n\t\t\t\t`This {{functionName}} was provided an error type including the class {{errorTypeName}}, ` +\n\t\t\t\t`but its 'catch' property doesn't include a constructor for that class. ` +\n\t\t\t\t`Either include a constructor for {{errorTypeName}} in the 'catch' array, or remove {{errorTypeName}} from the error type.`,\n\t\t},\n\t\tschema: [],\n\t},\n\tdefaultOptions: [],\n\tcreate(context) {\n\t\tconst parserServices = ESLintUtils.getParserServices(context)\n\t\tconst checker = parserServices.program.getTypeChecker()\n\n\t\treturn {\n\t\t\tCallExpression(node) {\n\t\t\t\tconst {\n\t\t\t\t\tcallee,\n\t\t\t\t\ttypeArguments: directTypeArguments,\n\t\t\t\t\targuments: callArguments,\n\t\t\t\t} = node\n\n\t\t\t\t// Check if the function call is one of the targeted state functions\n\t\t\t\tlet functionName: string | null = null\n\t\t\t\tif (callee.type === AST_NODE_TYPES.Identifier) {\n\t\t\t\t\tif (STATE_FUNCTIONS_WITH_CATCH.includes(callee.name)) {\n\t\t\t\t\t\tfunctionName = callee.name\n\t\t\t\t\t}\n\t\t\t\t} else if (callee.type === AST_NODE_TYPES.MemberExpression) {\n\t\t\t\t\tif (\n\t\t\t\t\t\tcallee.property.type === AST_NODE_TYPES.Identifier &&\n\t\t\t\t\t\tSTATE_FUNCTIONS_WITH_CATCH.includes(callee.property.name)\n\t\t\t\t\t) {\n\t\t\t\t\t\tfunctionName = callee.property.name\n\t\t\t\t\t}\n\t\t\t\t}\n\n\t\t\t\tif (!functionName) return\n\n\t\t\t\t// Where do the type arguments come from?\n\t\t\t\tlet typeArguments: TSESTree.TSTypeParameterInstantiation | undefined\n\t\t\t\tif (directTypeArguments) {\n\t\t\t\t\ttypeArguments = directTypeArguments\n\t\t\t\t} else {\n\t\t\t\t\tconst parent = node.parent\n\t\t\t\t\tif (\n\t\t\t\t\t\tparent?.type === AST_NODE_TYPES.VariableDeclarator &&\n\t\t\t\t\t\tparent.init === node\n\t\t\t\t\t) {\n\t\t\t\t\t\t// Check if the VariableDeclarator has an id with a TypeAnnotation\n\t\t\t\t\t\tconst declaratorId = parent.id\n\t\t\t\t\t\tif (declaratorId.type === AST_NODE_TYPES.Identifier) {\n\t\t\t\t\t\t\t// Check for 'const myAtom: AtomToken<string> = ...'\n\t\t\t\t\t\t\tconst typeAnnotation = declaratorId.typeAnnotation?.typeAnnotation\n\t\t\t\t\t\t\tif (\n\t\t\t\t\t\t\t\ttypeAnnotation &&\n\t\t\t\t\t\t\t\t`typeArguments` in typeAnnotation &&\n\t\t\t\t\t\t\t\ttypeAnnotation.typeArguments\n\t\t\t\t\t\t\t) {\n\t\t\t\t\t\t\t\ttypeArguments = typeAnnotation.typeArguments\n\t\t\t\t\t\t\t}\n\t\t\t\t\t\t}\n\t\t\t\t\t}\n\t\t\t\t}\n\n\t\t\t\tconst optionsObject = callArguments[0]\n\n\t\t\t\tif (optionsObject?.type !== AST_NODE_TYPES.ObjectExpression) return\n\n\t\t\t\tconst isStandalone = STANDALONE_FUNCTIONS.includes(functionName)\n\n\t\t\t\tconst errorTypeNode = typeArguments\n\t\t\t\t\t? isStandalone\n\t\t\t\t\t\t? typeArguments.params[1]\n\t\t\t\t\t\t: typeArguments.params[2]\n\t\t\t\t\t: undefined\n\n\t\t\t\tlet catchProperty: TSESTree.Property | undefined\n\t\t\t\toptionsObject.properties.forEach((property) => {\n\t\t\t\t\tif (property.type === AST_NODE_TYPES.Property) {\n\t\t\t\t\t\tif (\n\t\t\t\t\t\t\t(property.key.type === AST_NODE_TYPES.Identifier &&\n\t\t\t\t\t\t\t\tproperty.key.name === `catch`) ||\n\t\t\t\t\t\t\t(property.key.type === AST_NODE_TYPES.Literal &&\n\t\t\t\t\t\t\t\tproperty.key.value === `catch`)\n\t\t\t\t\t\t) {\n\t\t\t\t\t\t\tcatchProperty = property\n\t\t\t\t\t\t}\n\t\t\t\t\t}\n\t\t\t\t})\n\n\t\t\t\tif (!errorTypeNode) {\n\t\t\t\t\treturn\n\t\t\t\t}\n\n\t\t\t\tconst typeNode = parserServices.esTreeNodeToTSNodeMap.get(\n\t\t\t\t\terrorTypeNode,\n\t\t\t\t) as TypeNode\n\t\t\t\t// Get the TypeScript Type object for E\n\t\t\t\tconst errorTypeTs = checker.getTypeFromTypeNode(typeNode)\n\t\t\t\tconst errorTypeName = checker.typeToString(errorTypeTs)\n\n\t\t\t\tif (!catchProperty) {\n\t\t\t\t\tcontext.report({\n\t\t\t\t\t\tnode: optionsObject,\n\t\t\t\t\t\tmessageId: `missingCatchProperty`,\n\t\t\t\t\t\tdata: { functionName, errorTypeName },\n\t\t\t\t\t})\n\t\t\t\t\treturn\n\t\t\t\t}\n\n\t\t\t\t// --- New Validation: Check Constructor Types ---\n\t\t\t\tconst catchArray = catchProperty.value\n\t\t\t\tif (catchArray.type !== AST_NODE_TYPES.ArrayExpression) {\n\t\t\t\t\t// We only check array literals (e.g., [Ctor1, Ctor2])\n\t\t\t\t\treturn\n\t\t\t\t}\n\n\t\t\t\t// 3. Collect all acceptable nominal symbols from E\n\t\t\t\tconst acceptableErrorSymbols: TsSymbol[] = []\n\n\t\t\t\t// Check if E is a Union Type\n\t\t\t\tif (errorTypeTs.isUnion()) {\n\t\t\t\t\t// Add the symbol of every member of the union (e.g., Symbol(SpecialError), Symbol(FancyError))\n\t\t\t\t\tfor (const memberType of errorTypeTs.types) {\n\t\t\t\t\t\tconst symbol = memberType.getSymbol()\n\t\t\t\t\t\tif (symbol) {\n\t\t\t\t\t\t\tacceptableErrorSymbols.push(symbol)\n\t\t\t\t\t\t}\n\t\t\t\t\t}\n\t\t\t\t} else {\n\t\t\t\t\t// E is a single type, add its symbol\n\t\t\t\t\tconst symbol = errorTypeTs.getSymbol()\n\t\t\t\t\tif (symbol) {\n\t\t\t\t\t\tacceptableErrorSymbols.push(symbol)\n\t\t\t\t\t}\n\t\t\t\t}\n\n\t\t\t\tif (catchArray.elements.length === 0) {\n\t\t\t\t\tcontext.report({\n\t\t\t\t\t\tnode: catchProperty,\n\t\t\t\t\t\tmessageId: `missingCatchProperty`,\n\t\t\t\t\t\tdata: { functionName, errorTypeName },\n\t\t\t\t\t})\n\t\t\t\t\treturn\n\t\t\t\t}\n\t\t\t\tconst errorSymbolsToRepresent = new Set(acceptableErrorSymbols)\n\n\t\t\t\t// Iterate over each constructor reference in the 'catch' array\n\t\t\t\tfor (const element of catchArray.elements) {\n\t\t\t\t\tif (!element || element.type !== AST_NODE_TYPES.Identifier) {\n\t\t\t\t\t\t// Only check simple identifier references (e.g., [ClientError])\n\t\t\t\t\t\tcontinue\n\t\t\t\t\t}\n\n\t\t\t\t\t// Get the type of the constructor identifier (e.g., the Type of 'Error')\n\t\t\t\t\tconst constructorTsNode =\n\t\t\t\t\t\tparserServices.esTreeNodeToTSNodeMap.get(element)\n\t\t\t\t\tconst constructorType = checker.getTypeAtLocation(constructorTsNode)\n\t\t\t\t\tconst constructorName = element.name\n\n\t\t\t\t\t// console.log(`constructorName`, constructorName)\n\n\t\t\t\t\t// Extract the instance type from the constructor type.\n\t\t\t\t\t// e.g., turn 'typeof ClientError' into 'ClientError'\n\t\t\t\t\tlet instanceType: Type | undefined\n\t\t\t\t\tif (\n\t\t\t\t\t\t(constructorType as InterfaceType).getConstructSignatures().length >\n\t\t\t\t\t\t0\n\t\t\t\t\t) {\n\t\t\t\t\t\t// Get the return type of the constructor signature\n\t\t\t\t\t\tconst signature = (\n\t\t\t\t\t\t\tconstructorType as InterfaceType\n\t\t\t\t\t\t).getConstructSignatures()[0]\n\t\t\t\t\t\tinstanceType = signature.getReturnType()\n\t\t\t\t\t}\n\n\t\t\t\t\t// If we couldn't get the instance type, skip the check\n\n\t\t\t\t\tconst constructorInstanceSymbol = instanceType?.getSymbol()\n\t\t\t\t\tif (!constructorInstanceSymbol) continue\n\n\t\t\t\t\t// Check for symbol identity\n\t\t\t\t\tif (acceptableErrorSymbols.includes(constructorInstanceSymbol)) {\n\t\t\t\t\t\terrorSymbolsToRepresent.delete(constructorInstanceSymbol)\n\t\t\t\t\t} else {\n\t\t\t\t\t\tcontext.report({\n\t\t\t\t\t\t\tnode: element,\n\t\t\t\t\t\t\tmessageId: `invalidCatchProperty`,\n\t\t\t\t\t\t\tdata: {\n\t\t\t\t\t\t\t\tfunctionName,\n\t\t\t\t\t\t\t\tconstructorName: constructorName,\n\t\t\t\t\t\t\t\terrorTypeName: errorTypeName,\n\t\t\t\t\t\t\t},\n\t\t\t\t\t\t})\n\t\t\t\t\t}\n\t\t\t\t}\n\n\t\t\t\tfor (const errorSymbol of errorSymbolsToRepresent) {\n\t\t\t\t\tcontext.report({\n\t\t\t\t\t\tnode: catchProperty,\n\t\t\t\t\t\tmessageId: `extraneousErrorTypes`,\n\t\t\t\t\t\tdata: {\n\t\t\t\t\t\t\terrorTypeName: checker.symbolToString(errorSymbol),\n\t\t\t\t\t\t\tfunctionName,\n\t\t\t\t\t\t},\n\t\t\t\t\t})\n\t\t\t\t}\n\t\t\t},\n\t\t}\n\t},\n})\n","/* eslint-disable @typescript-eslint/switch-exhaustiveness-check */\nimport { AST_NODE_TYPES, ESLintUtils } from \"@typescript-eslint/utils\"\n\nconst createRule = ESLintUtils.RuleCreator(\n\t(name) => `https://atom.io.fyi/docs/eslint-plugin#${name}`,\n)\n\nconst STATE_FUNCTIONS = [\n\t`atom`,\n\t`atomFamily`,\n\t`mutableAtom`,\n\t`mutableAtomFamily`,\n\t`selector`,\n\t`selectorFamily`,\n]\n\ntype Options = [\n\t{\n\t\tpermitAnnotation?: boolean\n\t},\n]\n\nexport const explicitStateTypes: ESLintUtils.RuleModule<\n\t`noTypeArgument` | `noTypeArgumentOrAnnotation`,\n\tOptions,\n\tunknown,\n\tESLintUtils.RuleListener\n> = createRule({\n\tname: `explicit-state-types`,\n\tmeta: {\n\t\ttype: `problem`,\n\t\tdocs: {\n\t\t\tdescription: `State declarations must have generic type arguments directly passed to them`,\n\t\t},\n\t\tmessages: {\n\t\t\tnoTypeArgument: `State declarations must have generic type arguments directly passed to them.`,\n\t\t\tnoTypeArgumentOrAnnotation: `State declarations must have generic type arguments directly passed to them, or a top-level type annotation.`,\n\t\t},\n\t\tschema: [\n\t\t\t{\n\t\t\t\ttype: `object`,\n\t\t\t\tproperties: {\n\t\t\t\t\tpermitAnnotation: {\n\t\t\t\t\t\ttype: `boolean`,\n\t\t\t\t\t\tdefault: false,\n\t\t\t\t\t},\n\t\t\t\t},\n\t\t\t\tadditionalProperties: false,\n\t\t\t},\n\t\t],\n\t},\n\tdefaultOptions: [\n\t\t{\n\t\t\tpermitAnnotation: false,\n\t\t},\n\t],\n\tcreate(context) {\n\t\tconst options = context.options[0]\n\t\tconst permitAnnotation = options?.permitAnnotation ?? false\n\n\t\treturn {\n\t\t\tCallExpression(node) {\n\t\t\t\tconst callee = node.callee\n\n\t\t\t\tswitch (callee.type) {\n\t\t\t\t\tcase `Identifier`:\n\t\t\t\t\t\tif (STATE_FUNCTIONS.includes(callee.name) === false) {\n\t\t\t\t\t\t\treturn\n\t\t\t\t\t\t}\n\t\t\t\t\t\tbreak\n\t\t\t\t\tcase `MemberExpression`:\n\t\t\t\t\t\tif (\n\t\t\t\t\t\t\t(callee.property.type === `Identifier` &&\n\t\t\t\t\t\t\t\tSTATE_FUNCTIONS.includes(callee.property.name)) === false\n\t\t\t\t\t\t) {\n\t\t\t\t\t\t\treturn\n\t\t\t\t\t\t}\n\t\t\t\t\t\tbreak\n\t\t\t\t\tdefault:\n\t\t\t\t\t\treturn\n\t\t\t\t}\n\n\t\t\t\t// Check for the *required* generic type argument first\n\t\t\t\tif (node.typeArguments) {\n\t\t\t\t\treturn // Generic type argument is present, no error\n\t\t\t\t}\n\n\t\t\t\t// If generic arguments are missing, check if the top-level annotation exception is enabled AND present\n\t\t\t\tif (permitAnnotation) {\n\t\t\t\t\tlet hasAnnotation = false\n\t\t\t\t\t// Check if the CallExpression is the initializer of a variable declarator\n\t\t\t\t\tconst parent = node.parent\n\t\t\t\t\tif (\n\t\t\t\t\t\tparent?.type === AST_NODE_TYPES.VariableDeclarator &&\n\t\t\t\t\t\tparent.init === node\n\t\t\t\t\t) {\n\t\t\t\t\t\t// Check if the VariableDeclarator has an id with a TypeAnnotation\n\t\t\t\t\t\tconst declaratorId = parent.id\n\t\t\t\t\t\tif (declaratorId.type === AST_NODE_TYPES.Identifier) {\n\t\t\t\t\t\t\t// Check for 'const myAtom: AtomToken<string> = ...'\n\t\t\t\t\t\t\thasAnnotation = Boolean(declaratorId.typeAnnotation)\n\t\t\t\t\t\t}\n\t\t\t\t\t}\n\t\t\t\t\tif (hasAnnotation) {\n\t\t\t\t\t\treturn // Exception met: type annotation is on the variable declaration\n\t\t\t\t\t}\n\t\t\t\t\tcontext.report({\n\t\t\t\t\t\tnode,\n\t\t\t\t\t\tmessageId: `noTypeArgumentOrAnnotation`,\n\t\t\t\t\t})\n\t\t\t\t\treturn\n\t\t\t\t}\n\n\t\t\t\tcontext.report({\n\t\t\t\t\tnode,\n\t\t\t\t\tmessageId: `noTypeArgument`,\n\t\t\t\t})\n\t\t\t},\n\t\t}\n\t},\n})\n","export * from \"./exact-catch-types\"\nexport * from \"./explicit-state-types\"\n","import type { ESLint } from \"eslint\"\n\nimport * as Rules from \"./rules\"\n\nexport { Rules }\n\nconst plugin: ESLint.Plugin = {\n\trules: {\n\t\t\"exact-catch-types\": Rules.exactCatchTypes as any,\n\t\t\"explicit-state-types\": Rules.explicitStateTypes as any,\n\t},\n} satisfies ESLint.Plugin\n\nexport default plugin\n"],"mappings":";;;;AASA,MAAMA,eAAa,YAAY,aAC7B,SAAS,0CAA0C,OACpD;AAED,MAAM,6BAA6B;CAClC;CACA;CACA;CACA;CACA;AACD,MAAM,uBAAuB,CAAC,QAAQ,WAAW;AAEjD,MAAaC,kBAKTD,aAAW;CACd,MAAM;CACN,MAAM;EACL,MAAM;EACN,MAAM,EACL,aAAa,2IACb;EACD,UAAU;GACT,sBACC;GAGD,sBACC;GAID,sBACC;GAGD;EACD,QAAQ,EAAE;EACV;CACD,gBAAgB,EAAE;CAClB,OAAO,SAAS;EACf,MAAM,iBAAiB,YAAY,kBAAkB,QAAQ;EAC7D,MAAM,UAAU,eAAe,QAAQ,gBAAgB;AAEvD,SAAO,EACN,eAAe,MAAM;GACpB,MAAM,EACL,QACA,eAAe,qBACf,WAAW,kBACR;GAGJ,IAAIE,eAA8B;AAClC,OAAI,OAAO,SAAS,eAAe,YAClC;QAAI,2BAA2B,SAAS,OAAO,KAAK,CACnD,gBAAe,OAAO;cAEb,OAAO,SAAS,eAAe,kBACzC;QACC,OAAO,SAAS,SAAS,eAAe,cACxC,2BAA2B,SAAS,OAAO,SAAS,KAAK,CAEzD,gBAAe,OAAO,SAAS;;AAIjC,OAAI,CAAC,aAAc;GAGnB,IAAIC;AACJ,OAAI,oBACH,iBAAgB;QACV;IACN,MAAM,SAAS,KAAK;AACpB,QACC,QAAQ,SAAS,eAAe,sBAChC,OAAO,SAAS,MACf;KAED,MAAM,eAAe,OAAO;AAC5B,SAAI,aAAa,SAAS,eAAe,YAAY;MAEpD,MAAM,iBAAiB,aAAa,gBAAgB;AACpD,UACC,kBACA,mBAAmB,kBACnB,eAAe,cAEf,iBAAgB,eAAe;;;;GAMnC,MAAM,gBAAgB,cAAc;AAEpC,OAAI,eAAe,SAAS,eAAe,iBAAkB;GAE7D,MAAM,eAAe,qBAAqB,SAAS,aAAa;GAEhE,MAAM,gBAAgB,gBACnB,eACC,cAAc,OAAO,KACrB,cAAc,OAAO,KACtB;GAEH,IAAIC;AACJ,iBAAc,WAAW,SAAS,aAAa;AAC9C,QAAI,SAAS,SAAS,eAAe,UACpC;SACE,SAAS,IAAI,SAAS,eAAe,cACrC,SAAS,IAAI,SAAS,WACtB,SAAS,IAAI,SAAS,eAAe,WACrC,SAAS,IAAI,UAAU,QAExB,iBAAgB;;KAGjB;AAEF,OAAI,CAAC,cACJ;GAGD,MAAM,WAAW,eAAe,sBAAsB,IACrD,cACA;GAED,MAAM,cAAc,QAAQ,oBAAoB,SAAS;GACzD,MAAM,gBAAgB,QAAQ,aAAa,YAAY;AAEvD,OAAI,CAAC,eAAe;AACnB,YAAQ,OAAO;KACd,MAAM;KACN,WAAW;KACX,MAAM;MAAE;MAAc;MAAe;KACrC,CAAC;AACF;;GAID,MAAM,aAAa,cAAc;AACjC,OAAI,WAAW,SAAS,eAAe,gBAEtC;GAID,MAAMC,yBAAqC,EAAE;AAG7C,OAAI,YAAY,SAAS,CAExB,MAAK,MAAM,cAAc,YAAY,OAAO;IAC3C,MAAM,SAAS,WAAW,WAAW;AACrC,QAAI,OACH,wBAAuB,KAAK,OAAO;;QAG/B;IAEN,MAAM,SAAS,YAAY,WAAW;AACtC,QAAI,OACH,wBAAuB,KAAK,OAAO;;AAIrC,OAAI,WAAW,SAAS,WAAW,GAAG;AACrC,YAAQ,OAAO;KACd,MAAM;KACN,WAAW;KACX,MAAM;MAAE;MAAc;MAAe;KACrC,CAAC;AACF;;GAED,MAAM,0BAA0B,IAAI,IAAI,uBAAuB;AAG/D,QAAK,MAAM,WAAW,WAAW,UAAU;AAC1C,QAAI,CAAC,WAAW,QAAQ,SAAS,eAAe,WAE/C;IAID,MAAM,oBACL,eAAe,sBAAsB,IAAI,QAAQ;IAClD,MAAM,kBAAkB,QAAQ,kBAAkB,kBAAkB;IACpE,MAAM,kBAAkB,QAAQ;IAMhC,IAAIC;AACJ,QACE,gBAAkC,wBAAwB,CAAC,SAC5D,EAMA,gBAFC,gBACC,wBAAwB,CAAC,GACF,eAAe;IAKzC,MAAM,4BAA4B,cAAc,WAAW;AAC3D,QAAI,CAAC,0BAA2B;AAGhC,QAAI,uBAAuB,SAAS,0BAA0B,CAC7D,yBAAwB,OAAO,0BAA0B;QAEzD,SAAQ,OAAO;KACd,MAAM;KACN,WAAW;KACX,MAAM;MACL;MACiB;MACF;MACf;KACD,CAAC;;AAIJ,QAAK,MAAM,eAAe,wBACzB,SAAQ,OAAO;IACd,MAAM;IACN,WAAW;IACX,MAAM;KACL,eAAe,QAAQ,eAAe,YAAY;KAClD;KACA;IACD,CAAC;KAGJ;;CAEF,CAAC;;;;ACzPF,MAAM,aAAa,YAAY,aAC7B,SAAS,0CAA0C,OACpD;AAED,MAAM,kBAAkB;CACvB;CACA;CACA;CACA;CACA;CACA;CACA;AAQD,MAAaC,qBAKT,WAAW;CACd,MAAM;CACN,MAAM;EACL,MAAM;EACN,MAAM,EACL,aAAa,+EACb;EACD,UAAU;GACT,gBAAgB;GAChB,4BAA4B;GAC5B;EACD,QAAQ,CACP;GACC,MAAM;GACN,YAAY,EACX,kBAAkB;IACjB,MAAM;IACN,SAAS;IACT,EACD;GACD,sBAAsB;GACtB,CACD;EACD;CACD,gBAAgB,CACf,EACC,kBAAkB,OAClB,CACD;CACD,OAAO,SAAS;EAEf,MAAM,mBADU,QAAQ,QAAQ,IACE,oBAAoB;AAEtD,SAAO,EACN,eAAe,MAAM;GACpB,MAAM,SAAS,KAAK;AAEpB,WAAQ,OAAO,MAAf;IACC,KAAK;AACJ,SAAI,gBAAgB,SAAS,OAAO,KAAK,KAAK,MAC7C;AAED;IACD,KAAK;AACJ,UACE,OAAO,SAAS,SAAS,gBACzB,gBAAgB,SAAS,OAAO,SAAS,KAAK,MAAM,MAErD;AAED;IACD,QACC;;AAIF,OAAI,KAAK,cACR;AAID,OAAI,kBAAkB;IACrB,IAAI,gBAAgB;IAEpB,MAAM,SAAS,KAAK;AACpB,QACC,QAAQ,SAAS,eAAe,sBAChC,OAAO,SAAS,MACf;KAED,MAAM,eAAe,OAAO;AAC5B,SAAI,aAAa,SAAS,eAAe,WAExC,iBAAgB,QAAQ,aAAa,eAAe;;AAGtD,QAAI,cACH;AAED,YAAQ,OAAO;KACd;KACA,WAAW;KACX,CAAC;AACF;;AAGD,WAAQ,OAAO;IACd;IACA,WAAW;IACX,CAAC;KAEH;;CAEF,CAAC;;;;;;;;;;;AElHF,MAAMC,SAAwB,EAC7B,OAAO;CACN,qBAAqBC;CACrB,wBAAwBC;CACxB,EACD;AAED,4BAAe"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "atom.io",
-  "version": "0.44.9",
+  "version": "0.44.10",
   "description": "Composable and testable reactive data library.",
   "homepage": "https://atom.io.fyi",
   "sideEffects": false,
@@ -72,7 +72,7 @@
     "@typescript-eslint/parser": "8.47.0",
     "@typescript-eslint/rule-tester": "8.47.0",
     "@typescript-eslint/utils": "8.47.0",
-    "@typescript/native-preview": "7.0.0-dev.20251122.1",
+    "@typescript/native-preview": "7.0.0-dev.20251123.1",
     "@vitest/coverage-v8": "4.0.13",
     "@vitest/ui": "4.0.13",
     "arktype": "2.1.27",

package/src/eslint-plugin/index.ts

@@ -6,6 +6,7 @@ export { Rules }
 
 const plugin: ESLint.Plugin = {
 	rules: {
+		"exact-catch-types": Rules.exactCatchTypes as any,
 		"explicit-state-types": Rules.explicitStateTypes as any,
 	},
 } satisfies ESLint.Plugin

package/src/eslint-plugin/rules/exact-catch-types.ts

@@ -0,0 +1,253 @@
+import type { TSESTree } from "@typescript-eslint/utils"
+import { AST_NODE_TYPES, ESLintUtils } from "@typescript-eslint/utils"
+import type {
+	InterfaceType,
+	Symbol as TsSymbol,
+	Type,
+	TypeNode,
+} from "typescript"
+
+const createRule = ESLintUtils.RuleCreator(
+	(name) => `https://atom.io.fyi/docs/eslint-plugin#${name}`,
+)
+
+const STATE_FUNCTIONS_WITH_CATCH = [
+	`atom`,
+	`atomFamily`,
+	`selector`,
+	`selectorFamily`,
+]
+const STANDALONE_FUNCTIONS = [`atom`, `selector`]
+
+export const exactCatchTypes: ESLintUtils.RuleModule<
+	`extraneousErrorTypes` | `invalidCatchProperty` | `missingCatchProperty`,
+	[],
+	unknown,
+	ESLintUtils.RuleListener
+> = createRule({
+	name: `catch-constructor-type`,
+	meta: {
+		type: `problem`,
+		docs: {
+			description: `Ensures that when an error type (E) is provided to an atom, the 'catch' property is set and all constructors in it are assignable to E.`,
+		},
+		messages: {
+			missingCatchProperty:
+				`This {{functionName}} was provided the error type \`{{errorTypeName}}\` ` +
+				`but the required 'catch' property is missing from its options. ` +
+				`Either remove \`{{errorTypeName}}\`, or add \`catch: [{{errorTypeName}}]\` to the options object.`,
+			invalidCatchProperty:
+				`This {{functionName}} was provided a catch array containing the class \`{{constructorName}}\`. ` +
+				`However, that class is not represented in the {{functionName}}'s error type, \`{{errorTypeName}}\`. ` +
+				`As a result, it might catch errors that the {{functionName}} is not designed to handle. ` +
+				`Either include \`{{constructorName}}\` in the {{functionName}}'s error type, or remove it from the 'catch' array.`,
+			extraneousErrorTypes:
+				`This {{functionName}} was provided an error type including the class {{errorTypeName}}, ` +
+				`but its 'catch' property doesn't include a constructor for that class. ` +
+				`Either include a constructor for {{errorTypeName}} in the 'catch' array, or remove {{errorTypeName}} from the error type.`,
+		},
+		schema: [],
+	},
+	defaultOptions: [],
+	create(context) {
+		const parserServices = ESLintUtils.getParserServices(context)
+		const checker = parserServices.program.getTypeChecker()
+
+		return {
+			CallExpression(node) {
+				const {
+					callee,
+					typeArguments: directTypeArguments,
+					arguments: callArguments,
+				} = node
+
+				// Check if the function call is one of the targeted state functions
+				let functionName: string | null = null
+				if (callee.type === AST_NODE_TYPES.Identifier) {
+					if (STATE_FUNCTIONS_WITH_CATCH.includes(callee.name)) {
+						functionName = callee.name
+					}
+				} else if (callee.type === AST_NODE_TYPES.MemberExpression) {
+					if (
+						callee.property.type === AST_NODE_TYPES.Identifier &&
+						STATE_FUNCTIONS_WITH_CATCH.includes(callee.property.name)
+					) {
+						functionName = callee.property.name
+					}
+				}
+
+				if (!functionName) return
+
+				// Where do the type arguments come from?
+				let typeArguments: TSESTree.TSTypeParameterInstantiation | undefined
+				if (directTypeArguments) {
+					typeArguments = directTypeArguments
+				} else {
+					const parent = node.parent
+					if (
+						parent?.type === AST_NODE_TYPES.VariableDeclarator &&
+						parent.init === node
+					) {
+						// Check if the VariableDeclarator has an id with a TypeAnnotation
+						const declaratorId = parent.id
+						if (declaratorId.type === AST_NODE_TYPES.Identifier) {
+							// Check for 'const myAtom: AtomToken<string> = ...'
+							const typeAnnotation = declaratorId.typeAnnotation?.typeAnnotation
+							if (
+								typeAnnotation &&
+								`typeArguments` in typeAnnotation &&
+								typeAnnotation.typeArguments
+							) {
+								typeArguments = typeAnnotation.typeArguments
+							}
+						}
+					}
+				}
+
+				const optionsObject = callArguments[0]
+
+				if (optionsObject?.type !== AST_NODE_TYPES.ObjectExpression) return
+
+				const isStandalone = STANDALONE_FUNCTIONS.includes(functionName)
+
+				const errorTypeNode = typeArguments
+					? isStandalone
+						? typeArguments.params[1]
+						: typeArguments.params[2]
+					: undefined
+
+				let catchProperty: TSESTree.Property | undefined
+				optionsObject.properties.forEach((property) => {
+					if (property.type === AST_NODE_TYPES.Property) {
+						if (
+							(property.key.type === AST_NODE_TYPES.Identifier &&
+								property.key.name === `catch`) ||
+							(property.key.type === AST_NODE_TYPES.Literal &&
+								property.key.value === `catch`)
+						) {
+							catchProperty = property
+						}
+					}
+				})
+
+				if (!errorTypeNode) {
+					return
+				}
+
+				const typeNode = parserServices.esTreeNodeToTSNodeMap.get(
+					errorTypeNode,
+				) as TypeNode
+				// Get the TypeScript Type object for E
+				const errorTypeTs = checker.getTypeFromTypeNode(typeNode)
+				const errorTypeName = checker.typeToString(errorTypeTs)
+
+				if (!catchProperty) {
+					context.report({
+						node: optionsObject,
+						messageId: `missingCatchProperty`,
+						data: { functionName, errorTypeName },
+					})
+					return
+				}
+
+				// --- New Validation: Check Constructor Types ---
+				const catchArray = catchProperty.value
+				if (catchArray.type !== AST_NODE_TYPES.ArrayExpression) {
+					// We only check array literals (e.g., [Ctor1, Ctor2])
+					return
+				}
+
+				// 3. Collect all acceptable nominal symbols from E
+				const acceptableErrorSymbols: TsSymbol[] = []
+
+				// Check if E is a Union Type
+				if (errorTypeTs.isUnion()) {
+					// Add the symbol of every member of the union (e.g., Symbol(SpecialError), Symbol(FancyError))
+					for (const memberType of errorTypeTs.types) {
+						const symbol = memberType.getSymbol()
+						if (symbol) {
+							acceptableErrorSymbols.push(symbol)
+						}
+					}
+				} else {
+					// E is a single type, add its symbol
+					const symbol = errorTypeTs.getSymbol()
+					if (symbol) {
+						acceptableErrorSymbols.push(symbol)
+					}
+				}
+
+				if (catchArray.elements.length === 0) {
+					context.report({
+						node: catchProperty,
+						messageId: `missingCatchProperty`,
+						data: { functionName, errorTypeName },
+					})
+					return
+				}
+				const errorSymbolsToRepresent = new Set(acceptableErrorSymbols)
+
+				// Iterate over each constructor reference in the 'catch' array
+				for (const element of catchArray.elements) {
+					if (!element || element.type !== AST_NODE_TYPES.Identifier) {
+						// Only check simple identifier references (e.g., [ClientError])
+						continue
+					}
+
+					// Get the type of the constructor identifier (e.g., the Type of 'Error')
+					const constructorTsNode =
+						parserServices.esTreeNodeToTSNodeMap.get(element)
+					const constructorType = checker.getTypeAtLocation(constructorTsNode)
+					const constructorName = element.name
+
+					// console.log(`constructorName`, constructorName)
+
+					// Extract the instance type from the constructor type.
+					// e.g., turn 'typeof ClientError' into 'ClientError'
+					let instanceType: Type | undefined
+					if (
+						(constructorType as InterfaceType).getConstructSignatures().length >
+						0
+					) {
+						// Get the return type of the constructor signature
+						const signature = (
+							constructorType as InterfaceType
+						).getConstructSignatures()[0]
+						instanceType = signature.getReturnType()
+					}
+
+					// If we couldn't get the instance type, skip the check
+
+					const constructorInstanceSymbol = instanceType?.getSymbol()
+					if (!constructorInstanceSymbol) continue
+
+					// Check for symbol identity
+					if (acceptableErrorSymbols.includes(constructorInstanceSymbol)) {
+						errorSymbolsToRepresent.delete(constructorInstanceSymbol)
+					} else {
+						context.report({
+							node: element,
+							messageId: `invalidCatchProperty`,
+							data: {
+								functionName,
+								constructorName: constructorName,
+								errorTypeName: errorTypeName,
+							},
+						})
+					}
+				}
+
+				for (const errorSymbol of errorSymbolsToRepresent) {
+					context.report({
+						node: catchProperty,
+						messageId: `extraneousErrorTypes`,
+						data: {
+							errorTypeName: checker.symbolToString(errorSymbol),
+							functionName,
+						},
+					})
+				}
+			},
+		}
+	},
+})

package/src/eslint-plugin/rules/explicit-state-types.ts

@@ -1,5 +1,4 @@
 /* eslint-disable @typescript-eslint/switch-exhaustiveness-check */
-import type { TSESTree } from "@typescript-eslint/utils"
 import { AST_NODE_TYPES, ESLintUtils } from "@typescript-eslint/utils"
 
 const createRule = ESLintUtils.RuleCreator(

package/src/eslint-plugin/rules/index.ts

@@ -1 +1,2 @@
+export * from "./exact-catch-types"
 export * from "./explicit-state-types"