eslint-plugin-typefest 1.0.1

package/dist/rules/prefer-ts-extras-set-has.js

@@ -0,0 +1,304 @@
+import { containsAllTypesByName, getTypeName, isBuiltinSymbolLike, isTypeAnyType, isTypeUnknownType, } from "@typescript-eslint/type-utils";
+import { isDefined, isPresent } from "ts-extras";
+import ts from "typescript";
+import { getConstrainedTypeAtLocationWithFallback } from "../_internal/constrained-type-at-location.js";
+import { collectDirectNamedValueImportsFromSource } from "../_internal/imported-value-symbols.js";
+import { getIdentifierPropertyMemberCall } from "../_internal/member-call.js";
+import { TS_EXTRAS_MODULE_SOURCE } from "../_internal/module-source.js";
+import { reportWithTypefestPolicy } from "../_internal/rule-reporting.js";
+import { safeTypeOperation } from "../_internal/safe-type-operation.js";
+import { setContainsValue } from "../_internal/set-membership.js";
+import { getTypeCheckerApparentType, getTypeCheckerBaseTypes, } from "../_internal/type-checker-compat.js";
+import { isTypePredicateAutofixSafe } from "../_internal/type-predicate-autofix-safety.js";
+import { reportTsExtrasTypedMemberCall } from "../_internal/typed-member-call-rule.js";
+import { createTypedRule, getTypedRuleServices, } from "../_internal/typed-rule.js";
+const UNION_SET_MATCHING_MODE_ALL_BRANCHES = "allBranches";
+const UNION_SET_MATCHING_MODE_ANY_BRANCH = "anyBranch";
+const DEFAULT_UNION_SET_MATCHING_MODE = UNION_SET_MATCHING_MODE_ALL_BRANCHES;
+const unionSetMatchingModeValues = [
+    UNION_SET_MATCHING_MODE_ALL_BRANCHES,
+    UNION_SET_MATCHING_MODE_ANY_BRANCH,
+];
+const defaultOption = {
+    unionBranchMatchingMode: DEFAULT_UNION_SET_MATCHING_MODE,
+};
+const defaultOptions = [defaultOption];
+const setTypeNameList = ["ReadonlySet", "Set"];
+const setTypeNames = new Set(setTypeNameList);
+/**
+ * ESLint rule definition for `prefer-ts-extras-set-has`.
+ *
+ * @remarks
+ * Defines metadata, diagnostics, and suggestions/fixes for this rule.
+ */
+const preferTsExtrasSetHasRule = createTypedRule({
+    create(context, [options] = defaultOptions) {
+        const unionSetMatchingMode = options.unionBranchMatchingMode ??
+            DEFAULT_UNION_SET_MATCHING_MODE;
+        const tsExtrasImports = collectDirectNamedValueImportsFromSource(context.sourceCode, TS_EXTRAS_MODULE_SOURCE);
+        const { checker, parserServices } = getTypedRuleServices(context);
+        const program = parserServices.program;
+        const setTypeResolutionCaches = {
+            [UNION_SET_MATCHING_MODE_ALL_BRANCHES]: new Map(),
+            [UNION_SET_MATCHING_MODE_ANY_BRANCH]: new Map(),
+        };
+        const setLikeExpressionResolutionCache = new WeakMap();
+        const setHasCallAnalysisCache = new WeakMap();
+        const hasClassOrInterfaceLikeDeclaration = (candidateType) => {
+            const declarations = candidateType.getSymbol()?.declarations;
+            if (!isDefined(declarations)) {
+                return false;
+            }
+            return declarations.some((declaration) => declaration.kind === ts.SyntaxKind.ClassDeclaration ||
+                declaration.kind === ts.SyntaxKind.InterfaceDeclaration);
+        };
+        /**
+         * Determine whether a type resolves to `Set`/`ReadonlySet`,
+         * traversing unions, intersections, and apparent types.
+         */
+        const isSetType = (type, unionMatchingMode) => {
+            const setTypeResolutionCache = setTypeResolutionCaches[unionMatchingMode];
+            const cachedRootResult = setTypeResolutionCache.get(type);
+            if (isDefined(cachedRootResult)) {
+                return cachedRootResult;
+            }
+            const seenTypes = new Set();
+            const isSetTypeInternal = (candidateType) => {
+                const cachedResult = setTypeResolutionCache.get(candidateType);
+                if (isDefined(cachedResult)) {
+                    return cachedResult;
+                }
+                if (setContainsValue(seenTypes, candidateType)) {
+                    return false;
+                }
+                seenTypes.add(candidateType);
+                if (candidateType.isUnion()) {
+                    const isSetLike = unionMatchingMode ===
+                        UNION_SET_MATCHING_MODE_ALL_BRANCHES
+                        ? candidateType.types.every((partType) => isSetTypeInternal(partType))
+                        : candidateType.types.some((partType) => isSetTypeInternal(partType));
+                    setTypeResolutionCache.set(candidateType, isSetLike);
+                    return isSetLike;
+                }
+                if (candidateType.isIntersection()) {
+                    const isSetLike = candidateType.types.some((partType) => isSetTypeInternal(partType));
+                    setTypeResolutionCache.set(candidateType, isSetLike);
+                    return isSetLike;
+                }
+                if (isTypeAnyType(candidateType) ||
+                    isTypeUnknownType(candidateType)) {
+                    setTypeResolutionCache.set(candidateType, false);
+                    return false;
+                }
+                const builtinSetLikeResult = safeTypeOperation({
+                    operation: () => {
+                        if (!isPresent(program)) {
+                            return false;
+                        }
+                        return isBuiltinSymbolLike(program, candidateType, setTypeNameList);
+                    },
+                    reason: "set-has-builtin-symbol-analysis-failed",
+                });
+                if (builtinSetLikeResult.ok && builtinSetLikeResult.value) {
+                    setTypeResolutionCache.set(candidateType, true);
+                    return true;
+                }
+                const shouldUseNameBasedFallback = !isPresent(program);
+                if (shouldUseNameBasedFallback) {
+                    const candidateTypeNameResult = safeTypeOperation({
+                        operation: () => getTypeName(checker, candidateType),
+                        reason: "set-has-type-name-analysis-failed",
+                    });
+                    const candidateTypeName = candidateTypeNameResult.ok
+                        ? candidateTypeNameResult.value
+                        : "";
+                    const candidateSymbolName = candidateType
+                        .getSymbol()
+                        ?.getName();
+                    if (candidateTypeName === "ReadonlySet" ||
+                        candidateTypeName === "Set" ||
+                        candidateSymbolName === "ReadonlySet" ||
+                        candidateSymbolName === "Set") {
+                        setTypeResolutionCache.set(candidateType, true);
+                        return true;
+                    }
+                }
+                const containsSetLikeResult = safeTypeOperation({
+                    operation: () => isPresent(program)
+                        ? false
+                        : containsAllTypesByName(candidateType, true, setTypeNames, true),
+                    reason: "set-has-contains-all-types-analysis-failed",
+                });
+                if (containsSetLikeResult.ok &&
+                    containsSetLikeResult.value) {
+                    setTypeResolutionCache.set(candidateType, true);
+                    return true;
+                }
+                const apparentType = getTypeCheckerApparentType(checker, candidateType);
+                if (isDefined(apparentType) &&
+                    apparentType !== candidateType &&
+                    isSetTypeInternal(apparentType)) {
+                    setTypeResolutionCache.set(candidateType, true);
+                    return true;
+                }
+                if (!hasClassOrInterfaceLikeDeclaration(candidateType)) {
+                    setTypeResolutionCache.set(candidateType, false);
+                    return false;
+                }
+                const baseTypesResult = safeTypeOperation({
+                    operation: () => getTypeCheckerBaseTypes(checker, candidateType),
+                    reason: "set-has-base-type-analysis-failed",
+                });
+                if (!baseTypesResult.ok) {
+                    setTypeResolutionCache.set(candidateType, false);
+                    return false;
+                }
+                const baseTypes = baseTypesResult.value;
+                const isSetLike = baseTypes?.some((baseType) => isSetTypeInternal(baseType)) ?? false;
+                setTypeResolutionCache.set(candidateType, isSetLike);
+                return isSetLike;
+            };
+            return isSetTypeInternal(type);
+        };
+        const isSetLikeExpression = (expression, unionMatchingMode) => {
+            const cachedExpressionModes = setLikeExpressionResolutionCache.get(expression);
+            const cachedModeResult = cachedExpressionModes?.[unionMatchingMode];
+            if (isDefined(cachedModeResult)) {
+                return cachedModeResult;
+            }
+            const result = safeTypeOperation({
+                operation: () => {
+                    const objectType = getConstrainedTypeAtLocationWithFallback(checker, expression, parserServices, "set-has-expression-type-resolution-failed");
+                    if (!isDefined(objectType)) {
+                        return false;
+                    }
+                    return isSetType(objectType, unionMatchingMode);
+                },
+                reason: "set-has-type-analysis-failed",
+            });
+            const isSetLike = result.ok && result.value;
+            const nextExpressionModes = {
+                ...cachedExpressionModes,
+                [unionMatchingMode]: isSetLike,
+            };
+            setLikeExpressionResolutionCache.set(expression, nextExpressionModes);
+            return isSetLike;
+        };
+        const analyzeSetHasCall = (node) => {
+            const cachedAnalysis = setHasCallAnalysisCache.get(node);
+            if (isDefined(cachedAnalysis)) {
+                return cachedAnalysis;
+            }
+            const receiverExpression = getIdentifierPropertyMemberCall({
+                memberName: "has",
+                node,
+            })?.callee.object;
+            if (!isDefined(receiverExpression)) {
+                const notSetLikeAnalysis = {
+                    canAutofix: false,
+                    matchesDefaultUnionMode: false,
+                };
+                setHasCallAnalysisCache.set(node, notSetLikeAnalysis);
+                return notSetLikeAnalysis;
+            }
+            const matchesConfiguredUnionMode = isSetLikeExpression(receiverExpression, unionSetMatchingMode);
+            const matchesDefaultUnionMode = unionSetMatchingMode === DEFAULT_UNION_SET_MATCHING_MODE
+                ? matchesConfiguredUnionMode
+                : isSetLikeExpression(receiverExpression, DEFAULT_UNION_SET_MATCHING_MODE);
+            const analysis = {
+                canAutofix: matchesDefaultUnionMode &&
+                    isTypePredicateAutofixSafe(node),
+                matchesDefaultUnionMode,
+            };
+            setHasCallAnalysisCache.set(node, analysis);
+            return analysis;
+        };
+        return {
+            'CallExpression[callee.type="MemberExpression"][callee.computed=false][callee.property.type="Identifier"][callee.property.name="has"]'(node) {
+                reportTsExtrasTypedMemberCall({
+                    canAutofix: (callNode) => analyzeSetHasCall(callNode).canAutofix,
+                    context,
+                    importedName: "setHas",
+                    imports: tsExtrasImports,
+                    isMatchingObjectExpression: (expression) => isSetLikeExpression(expression, unionSetMatchingMode),
+                    memberName: "has",
+                    messageId: "preferTsExtrasSetHas",
+                    node,
+                    reportSuggestion: ({ fix, node: suggestionNode }) => {
+                        const callAnalysis = analyzeSetHasCall(suggestionNode);
+                        if (!callAnalysis.matchesDefaultUnionMode) {
+                            reportWithTypefestPolicy({
+                                context,
+                                descriptor: {
+                                    messageId: "preferTsExtrasSetHas",
+                                    node: suggestionNode,
+                                },
+                            });
+                            return;
+                        }
+                        reportWithTypefestPolicy({
+                            context,
+                            descriptor: {
+                                messageId: "preferTsExtrasSetHas",
+                                node: suggestionNode,
+                                suggest: [
+                                    {
+                                        fix,
+                                        messageId: "suggestTsExtrasSetHas",
+                                    },
+                                ],
+                            },
+                        });
+                    },
+                    suggestionMessageId: "suggestTsExtrasSetHas",
+                });
+            },
+        };
+    },
+    defaultOptions,
+    meta: {
+        defaultOptions: [defaultOption],
+        deprecated: false,
+        docs: {
+            description: "require direct ts-extras setHas over Set#has at membership call sites for stronger element narrowing.",
+            frozen: false,
+            recommended: false,
+            requiresTypeChecking: true,
+            typefestConfigs: [
+                "typefest.configs.recommended-type-checked",
+                "typefest.configs.strict",
+                "typefest.configs.all",
+                "typefest.configs.ts-extras/type-guards",
+            ],
+            url: "https://nick2bad4u.github.io/eslint-plugin-typefest/docs/rules/prefer-ts-extras-set-has",
+        },
+        fixable: "code",
+        hasSuggestions: true,
+        messages: {
+            preferTsExtrasSetHas: "Prefer `setHas` from `ts-extras` over `set.has(...)` for stronger element narrowing.",
+            suggestTsExtrasSetHas: "Replace this `set.has(...)` call with `setHas(...)` from `ts-extras`.",
+        },
+        schema: [
+            {
+                additionalProperties: false,
+                description: "Configuration for mixed-union matching in prefer-ts-extras-set-has.",
+                minProperties: 1,
+                properties: {
+                    unionBranchMatchingMode: {
+                        description: "How union-typed receivers are matched: allBranches requires every union branch to be Set-like, anyBranch reports when at least one branch is Set-like.",
+                        enum: [...unionSetMatchingModeValues],
+                        type: "string",
+                    },
+                },
+                type: "object",
+            },
+        ],
+        type: "suggestion",
+    },
+    name: "prefer-ts-extras-set-has",
+});
+/**
+ * Default export for the `prefer-ts-extras-set-has` rule module.
+ */
+export default preferTsExtrasSetHasRule;
+//# sourceMappingURL=prefer-ts-extras-set-has.js.map

package/dist/rules/prefer-ts-extras-set-has.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prefer-ts-extras-set-has.js","sourceRoot":"","sources":["../../src/rules/prefer-ts-extras-set-has.ts"],"names":[],"mappings":"AAMA,OAAO,EACH,sBAAsB,EACtB,WAAW,EACX,mBAAmB,EACnB,aAAa,EACb,iBAAiB,GACpB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACjD,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,EAAE,wCAAwC,EAAE,MAAM,8CAA8C,CAAC;AACxG,OAAO,EAAE,wCAAwC,EAAE,MAAM,wCAAwC,CAAC;AAClG,OAAO,EAAE,+BAA+B,EAAE,MAAM,6BAA6B,CAAC;AAC9E,OAAO,EAAE,uBAAuB,EAAE,MAAM,+BAA+B,CAAC;AACxE,OAAO,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAC;AAC1E,OAAO,EAAE,iBAAiB,EAAE,MAAM,qCAAqC,CAAC;AACxE,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAClE,OAAO,EACH,0BAA0B,EAC1B,uBAAuB,GAC1B,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAAE,0BAA0B,EAAE,MAAM,+CAA+C,CAAC;AAC3F,OAAO,EAAE,6BAA6B,EAAE,MAAM,wCAAwC,CAAC;AACvF,OAAO,EACH,eAAe,EACf,oBAAoB,GACvB,MAAM,4BAA4B,CAAC;AAEpC,MAAM,oCAAoC,GAAG,aAAa,CAAC;AAC3D,MAAM,kCAAkC,GAAG,WAAW,CAAC;AACvD,MAAM,+BAA+B,GAAG,oCAAoC,CAAC;AAC7E,MAAM,0BAA0B,GAAG;IAC/B,oCAAoC;IACpC,kCAAkC;CAC5B,CAAC;AAaX,MAAM,aAAa,GAAG;IAClB,uBAAuB,EAAE,+BAA+B;CAClD,CAAC;AAEX,MAAM,cAAc,GAAG,CAAC,aAAa,CAAU,CAAC;AAChD,MAAM,eAAe,GAAG,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC;AAC/C,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,eAAe,CAAC,CAAC;AAE9C;;;;;GAKG;AACH,MAAM,wBAAwB,GAC1B,eAAe,CAGb;IACE,MAAM,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,GAAG,cAAc;QACtC,MAAM,oBAAoB,GACtB,OAAO,CAAC,uBAAuB;YAC/B,+BAA+B,CAAC;QAEpC,MAAM,eAAe,GAAG,wCAAwC,CAC5D,OAAO,CAAC,UAAU,EAClB,uBAAuB,CAC1B,CAAC;QAEF,MAAM,EAAE,OAAO,EAAE,cAAc,EAAE,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAC;QAClE,MAAM,OAAO,GAAG,cAAc,CAAC,OAAO,CAAC;QACvC,MAAM,uBAAuB,GAEzB;YACA,CAAC,oCAAoC,CAAC,EAAE,IAAI,GAAG,EAG5C;YACH,CAAC,kCAAkC,CAAC,EAAE,IAAI,GAAG,EAG1C;SACN,CAAC;QACF,MAAM,gCAAgC,GAAG,IAAI,OAAO,EAGjD,CAAC;QACJ,MAAM,uBAAuB,GAAG,IAAI,OAAO,EAGxC,CAAC;QAEJ,MAAM,kCAAkC,GAAG,CACvC,aAAgC,EACzB,EAAE;YACT,MAAM,YAAY,GAAG,aAAa,CAAC,SAAS,EAAE,EAAE,YAAY,CAAC;YAC7D,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE,CAAC;gBAC3B,OAAO,KAAK,CAAC;YACjB,CAAC;YAED,OAAO,YAAY,CAAC,IAAI,CACpB,CAAC,WAAW,EAAE,EAAE,CACZ,WAAW,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;gBACnD,WAAW,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,oBAAoB,CAC9D,CAAC;QACN,CAAC,CAAC;QAEF;;;WAGG;QACH,MAAM,SAAS,GAAG,CACd,IAAuB,EACvB,iBAAuC,EAChC,EAAE;YACT,MAAM,sBAAsB,GACxB,uBAAuB,CAAC,iBAAiB,CAAC,CAAC;YAE/C,MAAM,gBAAgB,GAAG,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC1D,IAAI,SAAS,CAAC,gBAAgB,CAAC,EAAE,CAAC;gBAC9B,OAAO,gBAAgB,CAAC;YAC5B,CAAC;YAED,MAAM,SAAS,GAAG,IAAI,GAAG,EAAW,CAAC;YAErC,MAAM,iBAAiB,GAAG,CACtB,aAAgC,EACzB,EAAE;gBACT,MAAM,YAAY,GACd,sBAAsB,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;gBAE9C,IAAI,SAAS,CAAC,YAAY,CAAC,EAAE,CAAC;oBAC1B,OAAO,YAAY,CAAC;gBACxB,CAAC;gBAED,IAAI,gBAAgB,CAAC,SAAS,EAAE,aAAa,CAAC,EAAE,CAAC;oBAC7C,OAAO,KAAK,CAAC;gBACjB,CAAC;gBAED,SAAS,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;gBAE7B,IAAI,aAAa,CAAC,OAAO,EAAE,EAAE,CAAC;oBAC1B,MAAM,SAAS,GACX,iBAAiB;wBACjB,oCAAoC;wBAChC,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,EAAE,CACnC,iBAAiB,CAAC,QAAQ,CAAC,CAC9B;wBACH,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAClC,iBAAiB,CAAC,QAAQ,CAAC,CAC9B,CAAC;oBAEZ,sBAAsB,CAAC,GAAG,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC;oBAErD,OAAO,SAAS,CAAC;gBACrB,CAAC;gBAED,IAAI,aAAa,CAAC,cAAc,EAAE,EAAE,CAAC;oBACjC,MAAM,SAAS,GAAG,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CACpD,iBAAiB,CAAC,QAAQ,CAAC,CAC9B,CAAC;oBACF,sBAAsB,CAAC,GAAG,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC;oBAErD,OAAO,SAAS,CAAC;gBACrB,CAAC;gBAED,IACI,aAAa,CAAC,aAAa,CAAC;oBAC5B,iBAAiB,CAAC,aAAa,CAAC,EAClC,CAAC;oBACC,sBAAsB,CAAC,GAAG,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC;oBAEjD,OAAO,KAAK,CAAC;gBACjB,CAAC;gBAED,MAAM,oBAAoB,GAAG,iBAAiB,CAAC;oBAC3C,SAAS,EAAE,GAAG,EAAE;wBACZ,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;4BACtB,OAAO,KAAK,CAAC;wBACjB,CAAC;wBAED,OAAO,mBAAmB,CACtB,OAAO,EACP,aAAa,EACb,eAAe,CAClB,CAAC;oBACN,CAAC;oBACD,MAAM,EAAE,wCAAwC;iBACnD,CAAC,CAAC;gBAEH,IAAI,oBAAoB,CAAC,EAAE,IAAI,oBAAoB,CAAC,KAAK,EAAE,CAAC;oBACxD,sBAAsB,CAAC,GAAG,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC;oBAEhD,OAAO,IAAI,CAAC;gBAChB,CAAC;gBAED,MAAM,0BAA0B,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;gBAEvD,IAAI,0BAA0B,EAAE,CAAC;oBAC7B,MAAM,uBAAuB,GAAG,iBAAiB,CAAC;wBAC9C,SAAS,EAAE,GAAG,EAAE,CACZ,WAAW,CAAC,OAAO,EAAE,aAAa,CAAC;wBACvC,MAAM,EAAE,mCAAmC;qBAC9C,CAAC,CAAC;oBAEH,MAAM,iBAAiB,GAAG,uBAAuB,CAAC,EAAE;wBAChD,CAAC,CAAC,uBAAuB,CAAC,KAAK;wBAC/B,CAAC,CAAC,EAAE,CAAC;oBACT,MAAM,mBAAmB,GAAG,aAAa;yBACpC,SAAS,EAAE;wBACZ,EAAE,OAAO,EAAE,CAAC;oBAEhB,IACI,iBAAiB,KAAK,aAAa;wBACnC,iBAAiB,KAAK,KAAK;wBAC3B,mBAAmB,KAAK,aAAa;wBACrC,mBAAmB,KAAK,KAAK,EAC/B,CAAC;wBACC,sBAAsB,CAAC,GAAG,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC;wBAEhD,OAAO,IAAI,CAAC;oBAChB,CAAC;gBACL,CAAC;gBAED,MAAM,qBAAqB,GAAG,iBAAiB,CAAC;oBAC5C,SAAS,EAAE,GAAG,EAAE,CACZ,SAAS,CAAC,OAAO,CAAC;wBACd,CAAC,CAAC,KAAK;wBACP,CAAC,CAAC,sBAAsB,CAClB,aAAa,EACb,IAAI,EACJ,YAAY,EACZ,IAAI,CACP;oBACX,MAAM,EAAE,4CAA4C;iBACvD,CAAC,CAAC;gBAEH,IACI,qBAAqB,CAAC,EAAE;oBACxB,qBAAqB,CAAC,KAAK,EAC7B,CAAC;oBACC,sBAAsB,CAAC,GAAG,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC;oBAEhD,OAAO,IAAI,CAAC;gBAChB,CAAC;gBAED,MAAM,YAAY,GAAG,0BAA0B,CAC3C,OAAO,EACP,aAAa,CAChB,CAAC;gBACF,IACI,SAAS,CAAC,YAAY,CAAC;oBACvB,YAAY,KAAK,aAAa;oBAC9B,iBAAiB,CAAC,YAAY,CAAC,EACjC,CAAC;oBACC,sBAAsB,CAAC,GAAG,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC;oBAEhD,OAAO,IAAI,CAAC;gBAChB,CAAC;gBAED,IAAI,CAAC,kCAAkC,CAAC,aAAa,CAAC,EAAE,CAAC;oBACrD,sBAAsB,CAAC,GAAG,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC;oBAEjD,OAAO,KAAK,CAAC;gBACjB,CAAC;gBAED,MAAM,eAAe,GAAG,iBAAiB,CAAC;oBACtC,SAAS,EAAE,GAAG,EAAE,CACZ,uBAAuB,CAAC,OAAO,EAAE,aAAa,CAAC;oBACnD,MAAM,EAAE,mCAAmC;iBAC9C,CAAC,CAAC;gBAEH,IAAI,CAAC,eAAe,CAAC,EAAE,EAAE,CAAC;oBACtB,sBAAsB,CAAC,GAAG,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC;oBAEjD,OAAO,KAAK,CAAC;gBACjB,CAAC;gBAED,MAAM,SAAS,GAAG,eAAe,CAAC,KAAK,CAAC;gBAExC,MAAM,SAAS,GACX,SAAS,EAAE,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CACzB,iBAAiB,CAAC,QAAQ,CAAC,CAC9B,IAAI,KAAK,CAAC;gBAEf,sBAAsB,CAAC,GAAG,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC;gBAErD,OAAO,SAAS,CAAC;YACrB,CAAC,CAAC;YAEF,OAAO,iBAAiB,CAAC,IAAI,CAAC,CAAC;QACnC,CAAC,CAAC;QAEF,MAAM,mBAAmB,GAAG,CACxB,UAAyC,EACzC,iBAAuC,EAChC,EAAE;YACT,MAAM,qBAAqB,GACvB,gCAAgC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YACrD,MAAM,gBAAgB,GAClB,qBAAqB,EAAE,CAAC,iBAAiB,CAAC,CAAC;YAE/C,IAAI,SAAS,CAAC,gBAAgB,CAAC,EAAE,CAAC;gBAC9B,OAAO,gBAAgB,CAAC;YAC5B,CAAC;YAED,MAAM,MAAM,GAAG,iBAAiB,CAAC;gBAC7B,SAAS,EAAE,GAAG,EAAE;oBACZ,MAAM,UAAU,GACZ,wCAAwC,CACpC,OAAO,EACP,UAAU,EACV,cAAc,EACd,2CAA2C,CAC9C,CAAC;oBAEN,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;wBACzB,OAAO,KAAK,CAAC;oBACjB,CAAC;oBAED,OAAO,SAAS,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAC;gBACpD,CAAC;gBACD,MAAM,EAAE,8BAA8B;aACzC,CAAC,CAAC;YAEH,MAAM,SAAS,GAAG,MAAM,CAAC,EAAE,IAAI,MAAM,CAAC,KAAK,CAAC;YAC5C,MAAM,mBAAmB,GAAG;gBACxB,GAAG,qBAAqB;gBACxB,CAAC,iBAAiB,CAAC,EAAE,SAAS;aACjC,CAAC;YAEF,gCAAgC,CAAC,GAAG,CAChC,UAAU,EACV,mBAAmB,CACtB,CAAC;YAEF,OAAO,SAAS,CAAC;QACrB,CAAC,CAAC;QAEF,MAAM,iBAAiB,GAAG,CACtB,IAAuC,EACrB,EAAE;YACpB,MAAM,cAAc,GAAG,uBAAuB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAEzD,IAAI,SAAS,CAAC,cAAc,CAAC,EAAE,CAAC;gBAC5B,OAAO,cAAc,CAAC;YAC1B,CAAC;YAED,MAAM,kBAAkB,GAAG,+BAA+B,CAAC;gBACvD,UAAU,EAAE,KAAK;gBACjB,IAAI;aACP,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC;YAElB,IAAI,CAAC,SAAS,CAAC,kBAAkB,CAAC,EAAE,CAAC;gBACjC,MAAM,kBAAkB,GAAuB;oBAC3C,UAAU,EAAE,KAAK;oBACjB,uBAAuB,EAAE,KAAK;iBACjC,CAAC;gBAEF,uBAAuB,CAAC,GAAG,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC;gBAEtD,OAAO,kBAAkB,CAAC;YAC9B,CAAC;YAED,MAAM,0BAA0B,GAAG,mBAAmB,CAClD,kBAAkB,EAClB,oBAAoB,CACvB,CAAC;YACF,MAAM,uBAAuB,GACzB,oBAAoB,KAAK,+BAA+B;gBACpD,CAAC,CAAC,0BAA0B;gBAC5B,CAAC,CAAC,mBAAmB,CACf,kBAAkB,EAClB,+BAA+B,CAClC,CAAC;YAEZ,MAAM,QAAQ,GAAuB;gBACjC,UAAU,EACN,uBAAuB;oBACvB,0BAA0B,CAAC,IAAI,CAAC;gBACpC,uBAAuB;aAC1B,CAAC;YAEF,uBAAuB,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAE5C,OAAO,QAAQ,CAAC;QACpB,CAAC,CAAC;QAEF,OAAO;YACH,sIAAsI,CAClI,IAAI;gBAEJ,6BAA6B,CAAC;oBAC1B,UAAU,EAAE,CAAC,QAAQ,EAAE,EAAE,CACrB,iBAAiB,CAAC,QAAQ,CAAC,CAAC,UAAU;oBAC1C,OAAO;oBACP,YAAY,EAAE,QAAQ;oBACtB,OAAO,EAAE,eAAe;oBACxB,0BAA0B,EAAE,CAAC,UAAU,EAAE,EAAE,CACvC,mBAAmB,CACf,UAAU,EACV,oBAAoB,CACvB;oBACL,UAAU,EAAE,KAAK;oBACjB,SAAS,EAAE,sBAAsB;oBACjC,IAAI;oBACJ,gBAAgB,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,cAAc,EAAE,EAAE,EAAE;wBAChD,MAAM,YAAY,GACd,iBAAiB,CAAC,cAAc,CAAC,CAAC;wBAEtC,IAAI,CAAC,YAAY,CAAC,uBAAuB,EAAE,CAAC;4BACxC,wBAAwB,CAAC;gCACrB,OAAO;gCACP,UAAU,EAAE;oCACR,SAAS,EAAE,sBAAsB;oCACjC,IAAI,EAAE,cAAc;iCACvB;6BACJ,CAAC,CAAC;4BAEH,OAAO;wBACX,CAAC;wBAED,wBAAwB,CAAC;4BACrB,OAAO;4BACP,UAAU,EAAE;gCACR,SAAS,EAAE,sBAAsB;gCACjC,IAAI,EAAE,cAAc;gCACpB,OAAO,EAAE;oCACL;wCACI,GAAG;wCACH,SAAS,EAAE,uBAAuB;qCACrC;iCACJ;6BACJ;yBACJ,CAAC,CAAC;oBACP,CAAC;oBACD,mBAAmB,EAAE,uBAAuB;iBAC/C,CAAC,CAAC;YACP,CAAC;SACJ,CAAC;IACN,CAAC;IACD,cAAc;IACd,IAAI,EAAE;QACF,cAAc,EAAE,CAAC,aAAa,CAAC;QAC/B,UAAU,EAAE,KAAK;QACjB,IAAI,EAAE;YACF,WAAW,EACP,uGAAuG;YAC3G,MAAM,EAAE,KAAK;YACb,WAAW,EAAE,KAAK;YAClB,oBAAoB,EAAE,IAAI;YAC1B,eAAe,EAAE;gBACb,2CAA2C;gBAC3C,yBAAyB;gBACzB,sBAAsB;gBACtB,wCAAwC;aAC3C;YACD,GAAG,EAAE,yFAAyF;SACjG;QACD,OAAO,EAAE,MAAM;QACf,cAAc,EAAE,IAAI;QACpB,QAAQ,EAAE;YACN,oBAAoB,EAChB,sFAAsF;YAC1F,qBAAqB,EACjB,uEAAuE;SAC9E;QACD,MAAM,EAAE;YACJ;gBACI,oBAAoB,EAAE,KAAK;gBAC3B,WAAW,EACP,qEAAqE;gBACzE,aAAa,EAAE,CAAC;gBAChB,UAAU,EAAE;oBACR,uBAAuB,EAAE;wBACrB,WAAW,EACP,wJAAwJ;wBAC5J,IAAI,EAAE,CAAC,GAAG,0BAA0B,CAAC;wBACrC,IAAI,EAAE,QAAQ;qBACjB;iBACJ;gBACD,IAAI,EAAE,QAAQ;aACjB;SACJ;QACD,IAAI,EAAE,YAAY;KACrB;IACD,IAAI,EAAE,0BAA0B;CACnC,CAAC,CAAC;AAEP;;GAEG;AACH,eAAe,wBAAwB,CAAC"}

package/dist/rules/prefer-ts-extras-string-split.d.ts

@@ -0,0 +1,13 @@
+import { createTypedRule } from "../_internal/typed-rule.js";
+/**
+ * ESLint rule definition for `prefer-ts-extras-string-split`.
+ *
+ * @remarks
+ * Defines metadata, diagnostics, and suggestions/fixes for this rule.
+ */
+declare const preferTsExtrasStringSplitRule: ReturnType<typeof createTypedRule>;
+/**
+ * Default export for the `prefer-ts-extras-string-split` rule module.
+ */
+export default preferTsExtrasStringSplitRule;
+//# sourceMappingURL=prefer-ts-extras-string-split.d.ts.map

package/dist/rules/prefer-ts-extras-string-split.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prefer-ts-extras-string-split.d.ts","sourceRoot":"","sources":["../../src/rules/prefer-ts-extras-string-split.ts"],"names":[],"mappings":"AA0BA,OAAO,EACH,eAAe,EAGlB,MAAM,4BAA4B,CAAC;AAIpC;;;;;GAKG;AACH,QAAA,MAAM,6BAA6B,EAAE,UAAU,CAAC,OAAO,eAAe,CAoPhE,CAAC;AAEP;;GAEG;AACH,eAAe,6BAA6B,CAAC"}

package/dist/rules/prefer-ts-extras-string-split.js

@@ -0,0 +1,166 @@
+import { containsAllTypesByName, getTypeName, isBuiltinSymbolLike, isTypeAnyType, isTypeUnknownType, } from "@typescript-eslint/type-utils";
+import { isDefined, isPresent } from "ts-extras";
+import { getConstrainedTypeAtLocationWithFallback } from "../_internal/constrained-type-at-location.js";
+import { memoizeExpressionBooleanPredicate } from "../_internal/expression-boolean-memoizer.js";
+import { collectDirectNamedValueImportsFromSource } from "../_internal/imported-value-symbols.js";
+import { TS_EXTRAS_MODULE_SOURCE } from "../_internal/module-source.js";
+import { safeTypeOperation } from "../_internal/safe-type-operation.js";
+import { setContainsValue } from "../_internal/set-membership.js";
+import { getTypeCheckerApparentType, getTypeCheckerStringType, } from "../_internal/type-checker-compat.js";
+import { reportTsExtrasTypedMemberCall } from "../_internal/typed-member-call-rule.js";
+import { createTypedRule, getTypedRuleServices, isTypeAssignableTo, } from "../_internal/typed-rule.js";
+const stringObjectTypeNames = new Set(["String"]);
+/**
+ * ESLint rule definition for `prefer-ts-extras-string-split`.
+ *
+ * @remarks
+ * Defines metadata, diagnostics, and suggestions/fixes for this rule.
+ */
+const preferTsExtrasStringSplitRule = createTypedRule({
+    create(context) {
+        const tsExtrasImports = collectDirectNamedValueImportsFromSource(context.sourceCode, TS_EXTRAS_MODULE_SOURCE);
+        const { checker, parserServices } = getTypedRuleServices(context);
+        const program = parserServices.program;
+        const stringPrimitiveType = getTypeCheckerStringType(checker);
+        const stringTypeResolutionCache = new Map();
+        /**
+         * Determine whether a type behaves like a string, traversing
+         * unions/intersections and apparent types while guarding cycles.
+         */
+        const isStringLikeType = (type) => {
+            const cachedRootResult = stringTypeResolutionCache.get(type);
+            if (isDefined(cachedRootResult)) {
+                return cachedRootResult;
+            }
+            const seenTypes = new Set();
+            const isStringLikeTypeInternal = (candidateType) => {
+                const cachedResult = stringTypeResolutionCache.get(candidateType);
+                if (isDefined(cachedResult)) {
+                    return cachedResult;
+                }
+                if (setContainsValue(seenTypes, candidateType)) {
+                    return false;
+                }
+                seenTypes.add(candidateType);
+                if (candidateType.isUnion()) {
+                    const isStringLike = candidateType.types.some((partType) => isStringLikeTypeInternal(partType));
+                    stringTypeResolutionCache.set(candidateType, isStringLike);
+                    return isStringLike;
+                }
+                if (candidateType.isIntersection()) {
+                    const isStringLike = candidateType.types.some((partType) => isStringLikeTypeInternal(partType));
+                    stringTypeResolutionCache.set(candidateType, isStringLike);
+                    return isStringLike;
+                }
+                if (isTypeAnyType(candidateType) ||
+                    isTypeUnknownType(candidateType)) {
+                    stringTypeResolutionCache.set(candidateType, false);
+                    return false;
+                }
+                if (isDefined(stringPrimitiveType) &&
+                    isTypeAssignableTo(checker, candidateType, stringPrimitiveType)) {
+                    stringTypeResolutionCache.set(candidateType, true);
+                    return true;
+                }
+                const builtinStringLikeResult = safeTypeOperation({
+                    operation: () => {
+                        if (!isPresent(program)) {
+                            return false;
+                        }
+                        return isBuiltinSymbolLike(program, candidateType, "String");
+                    },
+                    reason: "string-split-builtin-symbol-analysis-failed",
+                });
+                if (builtinStringLikeResult.ok &&
+                    builtinStringLikeResult.value) {
+                    stringTypeResolutionCache.set(candidateType, true);
+                    return true;
+                }
+                const shouldUseNameBasedFallback = !isPresent(program);
+                if (shouldUseNameBasedFallback) {
+                    const candidateTypeNameResult = safeTypeOperation({
+                        operation: () => getTypeName(checker, candidateType),
+                        reason: "string-split-type-name-analysis-failed",
+                    });
+                    if (candidateTypeNameResult.ok &&
+                        candidateTypeNameResult.value === "String") {
+                        stringTypeResolutionCache.set(candidateType, true);
+                        return true;
+                    }
+                }
+                const containsStringObjectLikeResult = safeTypeOperation({
+                    operation: () => isPresent(program)
+                        ? false
+                        : containsAllTypesByName(candidateType, true, stringObjectTypeNames, true),
+                    reason: "string-split-contains-all-types-analysis-failed",
+                });
+                if (containsStringObjectLikeResult.ok &&
+                    containsStringObjectLikeResult.value) {
+                    stringTypeResolutionCache.set(candidateType, true);
+                    return true;
+                }
+                const apparentType = getTypeCheckerApparentType(checker, candidateType);
+                const isStringLike = !isDefined(apparentType) ||
+                    apparentType === candidateType
+                    ? false
+                    : isStringLikeTypeInternal(apparentType);
+                stringTypeResolutionCache.set(candidateType, isStringLike);
+                return isStringLike;
+            };
+            return isStringLikeTypeInternal(type);
+        };
+        const isStringLikeExpression = memoizeExpressionBooleanPredicate((expression) => {
+            const result = safeTypeOperation({
+                operation: () => {
+                    const objectType = getConstrainedTypeAtLocationWithFallback(checker, expression, parserServices, "string-split-expression-type-resolution-failed");
+                    if (!isDefined(objectType)) {
+                        return false;
+                    }
+                    return isStringLikeType(objectType);
+                },
+                reason: "string-split-type-analysis-failed",
+            });
+            return result.ok && result.value;
+        });
+        return {
+            'CallExpression[callee.type="MemberExpression"][callee.computed=false][callee.property.type="Identifier"][callee.property.name="split"]'(node) {
+                reportTsExtrasTypedMemberCall({
+                    context,
+                    importedName: "stringSplit",
+                    imports: tsExtrasImports,
+                    isMatchingObjectExpression: isStringLikeExpression,
+                    memberName: "split",
+                    messageId: "preferTsExtrasStringSplit",
+                    node,
+                });
+            },
+        };
+    },
+    defaultOptions: [],
+    meta: {
+        deprecated: false,
+        docs: {
+            description: "require ts-extras stringSplit over String#split for stronger tuple inference.",
+            frozen: false,
+            recommended: false,
+            requiresTypeChecking: true,
+            typefestConfigs: [
+                "typefest.configs.strict",
+                "typefest.configs.all",
+            ],
+            url: "https://nick2bad4u.github.io/eslint-plugin-typefest/docs/rules/prefer-ts-extras-string-split",
+        },
+        fixable: "code",
+        messages: {
+            preferTsExtrasStringSplit: "Prefer `stringSplit` from `ts-extras` over `string.split(...)` for stronger tuple inference.",
+        },
+        schema: [],
+        type: "suggestion",
+    },
+    name: "prefer-ts-extras-string-split",
+});
+/**
+ * Default export for the `prefer-ts-extras-string-split` rule module.
+ */
+export default preferTsExtrasStringSplitRule;
+//# sourceMappingURL=prefer-ts-extras-string-split.js.map

package/dist/rules/prefer-ts-extras-string-split.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prefer-ts-extras-string-split.js","sourceRoot":"","sources":["../../src/rules/prefer-ts-extras-string-split.ts"],"names":[],"mappings":"AAMA,OAAO,EACH,sBAAsB,EACtB,WAAW,EACX,mBAAmB,EACnB,aAAa,EACb,iBAAiB,GACpB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAEjD,OAAO,EAAE,wCAAwC,EAAE,MAAM,8CAA8C,CAAC;AACxG,OAAO,EAAE,iCAAiC,EAAE,MAAM,6CAA6C,CAAC;AAChG,OAAO,EAAE,wCAAwC,EAAE,MAAM,wCAAwC,CAAC;AAClG,OAAO,EAAE,uBAAuB,EAAE,MAAM,+BAA+B,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,qCAAqC,CAAC;AACxE,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAClE,OAAO,EACH,0BAA0B,EAC1B,wBAAwB,GAC3B,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAAE,6BAA6B,EAAE,MAAM,wCAAwC,CAAC;AACvF,OAAO,EACH,eAAe,EACf,oBAAoB,EACpB,kBAAkB,GACrB,MAAM,4BAA4B,CAAC;AAEpC,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;AAElD;;;;;GAKG;AACH,MAAM,6BAA6B,GAC/B,eAAe,CAAC;IACZ,MAAM,CAAC,OAAO;QACV,MAAM,eAAe,GAAG,wCAAwC,CAC5D,OAAO,CAAC,UAAU,EAClB,uBAAuB,CAC1B,CAAC;QAEF,MAAM,EAAE,OAAO,EAAE,cAAc,EAAE,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAC;QAClE,MAAM,OAAO,GAAG,cAAc,CAAC,OAAO,CAAC;QACvC,MAAM,mBAAmB,GAAG,wBAAwB,CAAC,OAAO,CAAC,CAAC;QAC9D,MAAM,yBAAyB,GAAG,IAAI,GAAG,EAGtC,CAAC;QAEJ;;;WAGG;QACH,MAAM,gBAAgB,GAAG,CACrB,IAA4D,EACrD,EAAE;YACT,MAAM,gBAAgB,GAAG,yBAAyB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAE7D,IAAI,SAAS,CAAC,gBAAgB,CAAC,EAAE,CAAC;gBAC9B,OAAO,gBAAgB,CAAC;YAC5B,CAAC;YAED,MAAM,SAAS,GAAG,IAAI,GAAG,EAAW,CAAC;YAErC,MAAM,wBAAwB,GAAG,CAC7B,aAAgC,EACzB,EAAE;gBACT,MAAM,YAAY,GACd,yBAAyB,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;gBAEjD,IAAI,SAAS,CAAC,YAAY,CAAC,EAAE,CAAC;oBAC1B,OAAO,YAAY,CAAC;gBACxB,CAAC;gBAED,IAAI,gBAAgB,CAAC,SAAS,EAAE,aAAa,CAAC,EAAE,CAAC;oBAC7C,OAAO,KAAK,CAAC;gBACjB,CAAC;gBAED,SAAS,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;gBAE7B,IAAI,aAAa,CAAC,OAAO,EAAE,EAAE,CAAC;oBAC1B,MAAM,YAAY,GAAG,aAAa,CAAC,KAAK,CAAC,IAAI,CACzC,CAAC,QAAQ,EAAE,EAAE,CAAC,wBAAwB,CAAC,QAAQ,CAAC,CACnD,CAAC;oBAEF,yBAAyB,CAAC,GAAG,CACzB,aAAa,EACb,YAAY,CACf,CAAC;oBAEF,OAAO,YAAY,CAAC;gBACxB,CAAC;gBAED,IAAI,aAAa,CAAC,cAAc,EAAE,EAAE,CAAC;oBACjC,MAAM,YAAY,GAAG,aAAa,CAAC,KAAK,CAAC,IAAI,CACzC,CAAC,QAAQ,EAAE,EAAE,CAAC,wBAAwB,CAAC,QAAQ,CAAC,CACnD,CAAC;oBAEF,yBAAyB,CAAC,GAAG,CACzB,aAAa,EACb,YAAY,CACf,CAAC;oBAEF,OAAO,YAAY,CAAC;gBACxB,CAAC;gBAED,IACI,aAAa,CAAC,aAAa,CAAC;oBAC5B,iBAAiB,CAAC,aAAa,CAAC,EAClC,CAAC;oBACC,yBAAyB,CAAC,GAAG,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC;oBAEpD,OAAO,KAAK,CAAC;gBACjB,CAAC;gBAED,IACI,SAAS,CAAC,mBAAmB,CAAC;oBAC9B,kBAAkB,CACd,OAAO,EACP,aAAa,EACb,mBAAmB,CACtB,EACH,CAAC;oBACC,yBAAyB,CAAC,GAAG,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC;oBAEnD,OAAO,IAAI,CAAC;gBAChB,CAAC;gBAED,MAAM,uBAAuB,GAAG,iBAAiB,CAAC;oBAC9C,SAAS,EAAE,GAAG,EAAE;wBACZ,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;4BACtB,OAAO,KAAK,CAAC;wBACjB,CAAC;wBAED,OAAO,mBAAmB,CACtB,OAAO,EACP,aAAa,EACb,QAAQ,CACX,CAAC;oBACN,CAAC;oBACD,MAAM,EAAE,6CAA6C;iBACxD,CAAC,CAAC;gBAEH,IACI,uBAAuB,CAAC,EAAE;oBAC1B,uBAAuB,CAAC,KAAK,EAC/B,CAAC;oBACC,yBAAyB,CAAC,GAAG,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC;oBAEnD,OAAO,IAAI,CAAC;gBAChB,CAAC;gBAED,MAAM,0BAA0B,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;gBAEvD,IAAI,0BAA0B,EAAE,CAAC;oBAC7B,MAAM,uBAAuB,GAAG,iBAAiB,CAAC;wBAC9C,SAAS,EAAE,GAAG,EAAE,CACZ,WAAW,CAAC,OAAO,EAAE,aAAa,CAAC;wBACvC,MAAM,EAAE,wCAAwC;qBACnD,CAAC,CAAC;oBAEH,IACI,uBAAuB,CAAC,EAAE;wBAC1B,uBAAuB,CAAC,KAAK,KAAK,QAAQ,EAC5C,CAAC;wBACC,yBAAyB,CAAC,GAAG,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC;wBAEnD,OAAO,IAAI,CAAC;oBAChB,CAAC;gBACL,CAAC;gBAED,MAAM,8BAA8B,GAAG,iBAAiB,CAAC;oBACrD,SAAS,EAAE,GAAG,EAAE,CACZ,SAAS,CAAC,OAAO,CAAC;wBACd,CAAC,CAAC,KAAK;wBACP,CAAC,CAAC,sBAAsB,CAClB,aAAa,EACb,IAAI,EACJ,qBAAqB,EACrB,IAAI,CACP;oBACX,MAAM,EAAE,iDAAiD;iBAC5D,CAAC,CAAC;gBAEH,IACI,8BAA8B,CAAC,EAAE;oBACjC,8BAA8B,CAAC,KAAK,EACtC,CAAC;oBACC,yBAAyB,CAAC,GAAG,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC;oBAEnD,OAAO,IAAI,CAAC;gBAChB,CAAC;gBAED,MAAM,YAAY,GAAG,0BAA0B,CAC3C,OAAO,EACP,aAAa,CAChB,CAAC;gBAEF,MAAM,YAAY,GACd,CAAC,SAAS,CAAC,YAAY,CAAC;oBACxB,YAAY,KAAK,aAAa;oBAC1B,CAAC,CAAC,KAAK;oBACP,CAAC,CAAC,wBAAwB,CAAC,YAAY,CAAC,CAAC;gBAEjD,yBAAyB,CAAC,GAAG,CAAC,aAAa,EAAE,YAAY,CAAC,CAAC;gBAE3D,OAAO,YAAY,CAAC;YACxB,CAAC,CAAC;YAEF,OAAO,wBAAwB,CAAC,IAAI,CAAC,CAAC;QAC1C,CAAC,CAAC;QAEF,MAAM,sBAAsB,GAAG,iCAAiC,CAC5D,CAAC,UAAU,EAAW,EAAE;YACpB,MAAM,MAAM,GAAG,iBAAiB,CAAC;gBAC7B,SAAS,EAAE,GAAG,EAAE;oBACZ,MAAM,UAAU,GACZ,wCAAwC,CACpC,OAAO,EACP,UAAU,EACV,cAAc,EACd,gDAAgD,CACnD,CAAC;oBAEN,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;wBACzB,OAAO,KAAK,CAAC;oBACjB,CAAC;oBAED,OAAO,gBAAgB,CAAC,UAAU,CAAC,CAAC;gBACxC,CAAC;gBACD,MAAM,EAAE,mCAAmC;aAC9C,CAAC,CAAC;YAEH,OAAO,MAAM,CAAC,EAAE,IAAI,MAAM,CAAC,KAAK,CAAC;QACrC,CAAC,CACJ,CAAC;QAEF,OAAO;YACH,wIAAwI,CACpI,IAAI;gBAEJ,6BAA6B,CAAC;oBAC1B,OAAO;oBACP,YAAY,EAAE,aAAa;oBAC3B,OAAO,EAAE,eAAe;oBACxB,0BAA0B,EAAE,sBAAsB;oBAClD,UAAU,EAAE,OAAO;oBACnB,SAAS,EAAE,2BAA2B;oBACtC,IAAI;iBACP,CAAC,CAAC;YACP,CAAC;SACJ,CAAC;IACN,CAAC;IACD,cAAc,EAAE,EAAE;IAClB,IAAI,EAAE;QACF,UAAU,EAAE,KAAK;QACjB,IAAI,EAAE;YACF,WAAW,EACP,+EAA+E;YACnF,MAAM,EAAE,KAAK;YACb,WAAW,EAAE,KAAK;YAClB,oBAAoB,EAAE,IAAI;YAC1B,eAAe,EAAE;gBACb,yBAAyB;gBACzB,sBAAsB;aACzB;YACD,GAAG,EAAE,8FAA8F;SACtG;QACD,OAAO,EAAE,MAAM;QACf,QAAQ,EAAE;YACN,yBAAyB,EACrB,8FAA8F;SACrG;QACD,MAAM,EAAE,EAAE;QACV,IAAI,EAAE,YAAY;KACrB;IACD,IAAI,EAAE,+BAA+B;CACxC,CAAC,CAAC;AAEP;;GAEG;AACH,eAAe,6BAA6B,CAAC"}

package/dist/rules/prefer-type-fest-abstract-constructor.d.ts

@@ -0,0 +1,13 @@
+import { createTypedRule } from "../_internal/typed-rule.js";
+/**
+ * ESLint rule definition for `prefer-type-fest-abstract-constructor`.
+ *
+ * @remarks
+ * Defines metadata, diagnostics, and suggestions/fixes for this rule.
+ */
+declare const preferTypeFestAbstractConstructorRule: ReturnType<typeof createTypedRule>;
+/**
+ * Default export for the `prefer-type-fest-abstract-constructor` rule module.
+ */
+export default preferTypeFestAbstractConstructorRule;
+//# sourceMappingURL=prefer-type-fest-abstract-constructor.d.ts.map

package/dist/rules/prefer-type-fest-abstract-constructor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prefer-type-fest-abstract-constructor.d.ts","sourceRoot":"","sources":["../../src/rules/prefer-type-fest-abstract-constructor.ts"],"names":[],"mappings":"AAYA,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAE7D;;;;;GAKG;AACH,QAAA,MAAM,qCAAqC,EAAE,UAAU,CACnD,OAAO,eAAe,CAiExB,CAAC;AAEH;;GAEG;AACH,eAAe,qCAAqC,CAAC"}

package/dist/rules/prefer-type-fest-abstract-constructor.js

@@ -0,0 +1,65 @@
+/**
+ * @packageDocumentation
+ * ESLint rule implementation for `prefer-type-fest-abstract-constructor`.
+ */
+import { arrayJoin, isDefined } from "ts-extras";
+import { collectDirectNamedImportsFromSource, createSafeTypeNodeTextReplacementFix, } from "../_internal/imported-type-aliases.js";
+import { TYPE_FEST_MODULE_SOURCE } from "../_internal/module-source.js";
+import { reportWithOptionalFix } from "../_internal/rule-reporting.js";
+import { createTypedRule } from "../_internal/typed-rule.js";
+/**
+ * ESLint rule definition for `prefer-type-fest-abstract-constructor`.
+ *
+ * @remarks
+ * Defines metadata, diagnostics, and suggestions/fixes for this rule.
+ */
+const preferTypeFestAbstractConstructorRule = createTypedRule({
+    create(context) {
+        const typeFestDirectImports = collectDirectNamedImportsFromSource(context.sourceCode, TYPE_FEST_MODULE_SOURCE);
+        const { sourceCode } = context;
+        return {
+            TSConstructorType(node) {
+                if (!node.abstract) {
+                    return;
+                }
+                const replacementFix = !isDefined(node.typeParameters) &&
+                    isDefined(node.returnType)
+                    ? createSafeTypeNodeTextReplacementFix(node, "AbstractConstructor", `AbstractConstructor<${sourceCode.getText(node.returnType.typeAnnotation)}, [${arrayJoin(node.params.map((parameter) => sourceCode.getText(parameter)), ", ")}]>`, typeFestDirectImports)
+                    : null;
+                reportWithOptionalFix({
+                    context,
+                    fix: replacementFix,
+                    messageId: "preferAbstractConstructorSignature",
+                    node,
+                });
+            },
+        };
+    },
+    defaultOptions: [],
+    meta: {
+        docs: {
+            description: "require TypeFest AbstractConstructor over explicit `abstract new (...) => ...` signatures.",
+            recommended: true,
+            requiresTypeChecking: false,
+            typefestConfigs: [
+                "typefest.configs.recommended",
+                "typefest.configs.strict",
+                "typefest.configs.all",
+                "typefest.configs.type-fest/types",
+            ],
+            url: "https://nick2bad4u.github.io/eslint-plugin-typefest/docs/rules/prefer-type-fest-abstract-constructor",
+        },
+        fixable: "code",
+        messages: {
+            preferAbstractConstructorSignature: "Prefer `AbstractConstructor<...>` from type-fest over explicit `abstract new (...) => ...` signatures.",
+        },
+        schema: [],
+        type: "suggestion",
+    },
+    name: "prefer-type-fest-abstract-constructor",
+});
+/**
+ * Default export for the `prefer-type-fest-abstract-constructor` rule module.
+ */
+export default preferTypeFestAbstractConstructorRule;
+//# sourceMappingURL=prefer-type-fest-abstract-constructor.js.map

package/dist/rules/prefer-type-fest-abstract-constructor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prefer-type-fest-abstract-constructor.js","sourceRoot":"","sources":["../../src/rules/prefer-type-fest-abstract-constructor.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAEjD,OAAO,EACH,mCAAmC,EACnC,oCAAoC,GACvC,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EAAE,uBAAuB,EAAE,MAAM,+BAA+B,CAAC;AACxE,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AACvE,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAE7D;;;;;GAKG;AACH,MAAM,qCAAqC,GAEvC,eAAe,CAAC;IAChB,MAAM,CAAC,OAAO;QACV,MAAM,qBAAqB,GAAG,mCAAmC,CAC7D,OAAO,CAAC,UAAU,EAClB,uBAAuB,CAC1B,CAAC;QACF,MAAM,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC;QAE/B,OAAO;YACH,iBAAiB,CAAC,IAAI;gBAClB,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACjB,OAAO;gBACX,CAAC;gBAED,MAAM,cAAc,GAChB,CAAC,SAAS,CAAC,IAAI,CAAC,cAAc,CAAC;oBAC/B,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC;oBACtB,CAAC,CAAC,oCAAoC,CAChC,IAAI,EACJ,qBAAqB,EACrB,uBAAuB,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,MAAM,SAAS,CACpF,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAC1B,UAAU,CAAC,OAAO,CAAC,SAAS,CAAC,CAChC,EACD,IAAI,CACP,IAAI,EACL,qBAAqB,CACxB;oBACH,CAAC,CAAC,IAAI,CAAC;gBAEf,qBAAqB,CAAC;oBAClB,OAAO;oBACP,GAAG,EAAE,cAAc;oBACnB,SAAS,EAAE,oCAAoC;oBAC/C,IAAI;iBACP,CAAC,CAAC;YACP,CAAC;SACJ,CAAC;IACN,CAAC;IACD,cAAc,EAAE,EAAE;IAClB,IAAI,EAAE;QACF,IAAI,EAAE;YACF,WAAW,EACP,4FAA4F;YAChG,WAAW,EAAE,IAAI;YACjB,oBAAoB,EAAE,KAAK;YAC3B,eAAe,EAAE;gBACb,8BAA8B;gBAC9B,yBAAyB;gBACzB,sBAAsB;gBACtB,kCAAkC;aACrC;YAED,GAAG,EAAE,sGAAsG;SAC9G;QACD,OAAO,EAAE,MAAM;QACf,QAAQ,EAAE;YACN,kCAAkC,EAC9B,wGAAwG;SAC/G;QACD,MAAM,EAAE,EAAE;QACV,IAAI,EAAE,YAAY;KACrB;IACD,IAAI,EAAE,uCAAuC;CAChD,CAAC,CAAC;AAEH;;GAEG;AACH,eAAe,qCAAqC,CAAC"}

package/dist/rules/prefer-type-fest-arrayable.d.ts

@@ -0,0 +1,13 @@
+import { createTypedRule } from "../_internal/typed-rule.js";
+/**
+ * ESLint rule definition for `prefer-type-fest-arrayable`.
+ *
+ * @remarks
+ * Defines metadata, diagnostics, and suggestions/fixes for this rule.
+ */
+declare const preferTypeFestArrayableRule: ReturnType<typeof createTypedRule>;
+/**
+ * Default export for the `prefer-type-fest-arrayable` rule module.
+ */
+export default preferTypeFestArrayableRule;
+//# sourceMappingURL=prefer-type-fest-arrayable.d.ts.map

package/dist/rules/prefer-type-fest-arrayable.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prefer-type-fest-arrayable.d.ts","sourceRoot":"","sources":["../../src/rules/prefer-type-fest-arrayable.ts"],"names":[],"mappings":"AAcA,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAqF7D;;;;;GAKG;AACH,QAAA,MAAM,2BAA2B,EAAE,UAAU,CAAC,OAAO,eAAe,CA4D9D,CAAC;AAEP;;GAEG;AACH,eAAe,2BAA2B,CAAC"}