eslint-plugin-typefest 1.0.1

package/dist/rules/prefer-ts-extras-object-has-own.js

@@ -0,0 +1,82 @@
+/**
+ * @packageDocumentation
+ * ESLint rule implementation for `prefer-ts-extras-object-has-own`.
+ */
+import { reportTsExtrasGlobalMemberCall } from "../_internal/global-member-call-rule.js";
+import { collectDirectNamedValueImportsFromSource } from "../_internal/imported-value-symbols.js";
+import { TS_EXTRAS_MODULE_SOURCE } from "../_internal/module-source.js";
+import { reportWithTypefestPolicy } from "../_internal/rule-reporting.js";
+import { isTypePredicateExpressionAutofixSafe } from "../_internal/type-predicate-autofix-safety.js";
+import { createTypedRule } from "../_internal/typed-rule.js";
+/**
+ * ESLint rule definition for `prefer-ts-extras-object-has-own`.
+ *
+ * @remarks
+ * Defines metadata, diagnostics, and suggestions/fixes for this rule.
+ */
+const preferTsExtrasObjectHasOwnRule = createTypedRule({
+    create(context) {
+        const tsExtrasImports = collectDirectNamedValueImportsFromSource(context.sourceCode, TS_EXTRAS_MODULE_SOURCE);
+        return {
+            'CallExpression[callee.type="MemberExpression"][callee.object.type="Identifier"][callee.object.name="Object"][callee.property.type="Identifier"][callee.property.name="hasOwn"]'(node) {
+                reportTsExtrasGlobalMemberCall({
+                    canAutofix: isTypePredicateExpressionAutofixSafe,
+                    context,
+                    importedName: "objectHasOwn",
+                    imports: tsExtrasImports,
+                    memberName: "hasOwn",
+                    messageId: "preferTsExtrasObjectHasOwn",
+                    node,
+                    objectName: "Object",
+                    reportSuggestion: ({ fix, node: suggestionNode }) => {
+                        reportWithTypefestPolicy({
+                            context,
+                            descriptor: {
+                                messageId: "preferTsExtrasObjectHasOwn",
+                                node: suggestionNode,
+                                suggest: [
+                                    {
+                                        fix,
+                                        messageId: "suggestTsExtrasObjectHasOwn",
+                                    },
+                                ],
+                            },
+                        });
+                    },
+                    suggestionMessageId: "suggestTsExtrasObjectHasOwn",
+                });
+            },
+        };
+    },
+    defaultOptions: [],
+    meta: {
+        deprecated: false,
+        docs: {
+            description: "require ts-extras objectHasOwn over Object.hasOwn for own-property checks that should also narrow object types.",
+            frozen: false,
+            recommended: true,
+            requiresTypeChecking: false,
+            typefestConfigs: [
+                "typefest.configs.recommended",
+                "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-object-has-own",
+        },
+        fixable: "code",
+        hasSuggestions: true,
+        messages: {
+            preferTsExtrasObjectHasOwn: "Prefer `objectHasOwn` from `ts-extras` over `Object.hasOwn` for own-property guards with stronger type narrowing.",
+            suggestTsExtrasObjectHasOwn: "Replace this `Object.hasOwn(...)` call with `objectHasOwn(...)` from `ts-extras`.",
+        },
+        schema: [],
+        type: "suggestion",
+    },
+    name: "prefer-ts-extras-object-has-own",
+});
+/**
+ * Default export for the `prefer-ts-extras-object-has-own` rule module.
+ */
+export default preferTsExtrasObjectHasOwnRule;
+//# sourceMappingURL=prefer-ts-extras-object-has-own.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"prefer-ts-extras-object-has-own.js","sourceRoot":"","sources":["../../src/rules/prefer-ts-extras-object-has-own.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,8BAA8B,EAAE,MAAM,yCAAyC,CAAC;AACzF,OAAO,EAAE,wCAAwC,EAAE,MAAM,wCAAwC,CAAC;AAClG,OAAO,EAAE,uBAAuB,EAAE,MAAM,+BAA+B,CAAC;AACxE,OAAO,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAC;AAC1E,OAAO,EAAE,oCAAoC,EAAE,MAAM,+CAA+C,CAAC;AACrG,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAE7D;;;;;GAKG;AACH,MAAM,8BAA8B,GAChC,eAAe,CAAC;IACZ,MAAM,CAAC,OAAO;QACV,MAAM,eAAe,GAAG,wCAAwC,CAC5D,OAAO,CAAC,UAAU,EAClB,uBAAuB,CAC1B,CAAC;QAEF,OAAO;YACH,gLAAgL,CAC5K,IAAI;gBAEJ,8BAA8B,CAAC;oBAC3B,UAAU,EAAE,oCAAoC;oBAChD,OAAO;oBACP,YAAY,EAAE,cAAc;oBAC5B,OAAO,EAAE,eAAe;oBACxB,UAAU,EAAE,QAAQ;oBACpB,SAAS,EAAE,4BAA4B;oBACvC,IAAI;oBACJ,UAAU,EAAE,QAAQ;oBACpB,gBAAgB,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,cAAc,EAAE,EAAE,EAAE;wBAChD,wBAAwB,CAAC;4BACrB,OAAO;4BACP,UAAU,EAAE;gCACR,SAAS,EAAE,4BAA4B;gCACvC,IAAI,EAAE,cAAc;gCACpB,OAAO,EAAE;oCACL;wCACI,GAAG;wCACH,SAAS,EACL,6BAA6B;qCACpC;iCACJ;6BACJ;yBACJ,CAAC,CAAC;oBACP,CAAC;oBACD,mBAAmB,EAAE,6BAA6B;iBACrD,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,iHAAiH;YACrH,MAAM,EAAE,KAAK;YACb,WAAW,EAAE,IAAI;YACjB,oBAAoB,EAAE,KAAK;YAC3B,eAAe,EAAE;gBACb,8BAA8B;gBAC9B,yBAAyB;gBACzB,sBAAsB;gBACtB,wCAAwC;aAC3C;YACD,GAAG,EAAE,gGAAgG;SACxG;QACD,OAAO,EAAE,MAAM;QACf,cAAc,EAAE,IAAI;QACpB,QAAQ,EAAE;YACN,0BAA0B,EACtB,mHAAmH;YACvH,2BAA2B,EACvB,mFAAmF;SAC1F;QACD,MAAM,EAAE,EAAE;QACV,IAAI,EAAE,YAAY;KACrB;IACD,IAAI,EAAE,iCAAiC;CAC1C,CAAC,CAAC;AAEP;;GAEG;AACH,eAAe,8BAA8B,CAAC"}

package/dist/rules/prefer-ts-extras-object-keys.d.ts

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

package/dist/rules/prefer-ts-extras-object-keys.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prefer-ts-extras-object-keys.d.ts","sourceRoot":"","sources":["../../src/rules/prefer-ts-extras-object-keys.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAE7D;;;;;GAKG;AACH,QAAA,MAAM,4BAA4B,EAAE,UAAU,CAAC,OAAO,eAAe,CAgD/D,CAAC;AAEP;;GAEG;AACH,eAAe,4BAA4B,CAAC"}

package/dist/rules/prefer-ts-extras-object-keys.js

@@ -0,0 +1,59 @@
+/**
+ * @packageDocumentation
+ * ESLint rule implementation for `prefer-ts-extras-object-keys`.
+ */
+import { reportTsExtrasGlobalMemberCall } from "../_internal/global-member-call-rule.js";
+import { collectDirectNamedValueImportsFromSource } from "../_internal/imported-value-symbols.js";
+import { TS_EXTRAS_MODULE_SOURCE } from "../_internal/module-source.js";
+import { createTypedRule } from "../_internal/typed-rule.js";
+/**
+ * ESLint rule definition for `prefer-ts-extras-object-keys`.
+ *
+ * @remarks
+ * Defines metadata, diagnostics, and suggestions/fixes for this rule.
+ */
+const preferTsExtrasObjectKeysRule = createTypedRule({
+    create(context) {
+        const tsExtrasImports = collectDirectNamedValueImportsFromSource(context.sourceCode, TS_EXTRAS_MODULE_SOURCE);
+        return {
+            'CallExpression[callee.type="MemberExpression"][callee.object.type="Identifier"][callee.object.name="Object"][callee.property.type="Identifier"][callee.property.name="keys"]'(node) {
+                reportTsExtrasGlobalMemberCall({
+                    context,
+                    importedName: "objectKeys",
+                    imports: tsExtrasImports,
+                    memberName: "keys",
+                    messageId: "preferTsExtrasObjectKeys",
+                    node,
+                    objectName: "Object",
+                });
+            },
+        };
+    },
+    defaultOptions: [],
+    meta: {
+        deprecated: false,
+        docs: {
+            description: "require ts-extras objectKeys over Object.keys for stronger key inference.",
+            frozen: false,
+            recommended: false,
+            requiresTypeChecking: false,
+            typefestConfigs: [
+                "typefest.configs.strict",
+                "typefest.configs.all",
+            ],
+            url: "https://nick2bad4u.github.io/eslint-plugin-typefest/docs/rules/prefer-ts-extras-object-keys",
+        },
+        fixable: "code",
+        messages: {
+            preferTsExtrasObjectKeys: "Prefer `objectKeys` from `ts-extras` over `Object.keys(...)` for stronger key inference.",
+        },
+        schema: [],
+        type: "suggestion",
+    },
+    name: "prefer-ts-extras-object-keys",
+});
+/**
+ * Default export for the `prefer-ts-extras-object-keys` rule module.
+ */
+export default preferTsExtrasObjectKeysRule;
+//# sourceMappingURL=prefer-ts-extras-object-keys.js.map

package/dist/rules/prefer-ts-extras-object-keys.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prefer-ts-extras-object-keys.js","sourceRoot":"","sources":["../../src/rules/prefer-ts-extras-object-keys.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,8BAA8B,EAAE,MAAM,yCAAyC,CAAC;AACzF,OAAO,EAAE,wCAAwC,EAAE,MAAM,wCAAwC,CAAC;AAClG,OAAO,EAAE,uBAAuB,EAAE,MAAM,+BAA+B,CAAC;AACxE,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAE7D;;;;;GAKG;AACH,MAAM,4BAA4B,GAC9B,eAAe,CAAC;IACZ,MAAM,CAAC,OAAO;QACV,MAAM,eAAe,GAAG,wCAAwC,CAC5D,OAAO,CAAC,UAAU,EAClB,uBAAuB,CAC1B,CAAC;QAEF,OAAO;YACH,8KAA8K,CAC1K,IAAI;gBAEJ,8BAA8B,CAAC;oBAC3B,OAAO;oBACP,YAAY,EAAE,YAAY;oBAC1B,OAAO,EAAE,eAAe;oBACxB,UAAU,EAAE,MAAM;oBAClB,SAAS,EAAE,0BAA0B;oBACrC,IAAI;oBACJ,UAAU,EAAE,QAAQ;iBACvB,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,2EAA2E;YAC/E,MAAM,EAAE,KAAK;YACb,WAAW,EAAE,KAAK;YAClB,oBAAoB,EAAE,KAAK;YAC3B,eAAe,EAAE;gBACb,yBAAyB;gBACzB,sBAAsB;aACzB;YACD,GAAG,EAAE,6FAA6F;SACrG;QACD,OAAO,EAAE,MAAM;QACf,QAAQ,EAAE;YACN,wBAAwB,EACpB,0FAA0F;SACjG;QACD,MAAM,EAAE,EAAE;QACV,IAAI,EAAE,YAAY;KACrB;IACD,IAAI,EAAE,8BAA8B;CACvC,CAAC,CAAC;AAEP;;GAEG;AACH,eAAe,4BAA4B,CAAC"}

package/dist/rules/prefer-ts-extras-object-values.d.ts

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

package/dist/rules/prefer-ts-extras-object-values.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prefer-ts-extras-object-values.d.ts","sourceRoot":"","sources":["../../src/rules/prefer-ts-extras-object-values.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAE7D;;;;;GAKG;AACH,QAAA,MAAM,8BAA8B,EAAE,UAAU,CAAC,OAAO,eAAe,CAgDjE,CAAC;AAEP;;GAEG;AACH,eAAe,8BAA8B,CAAC"}

package/dist/rules/prefer-ts-extras-object-values.js

@@ -0,0 +1,59 @@
+/**
+ * @packageDocumentation
+ * ESLint rule implementation for `prefer-ts-extras-object-values`.
+ */
+import { reportTsExtrasGlobalMemberCall } from "../_internal/global-member-call-rule.js";
+import { collectDirectNamedValueImportsFromSource } from "../_internal/imported-value-symbols.js";
+import { TS_EXTRAS_MODULE_SOURCE } from "../_internal/module-source.js";
+import { createTypedRule } from "../_internal/typed-rule.js";
+/**
+ * ESLint rule definition for `prefer-ts-extras-object-values`.
+ *
+ * @remarks
+ * Defines metadata, diagnostics, and suggestions/fixes for this rule.
+ */
+const preferTsExtrasObjectValuesRule = createTypedRule({
+    create(context) {
+        const tsExtrasImports = collectDirectNamedValueImportsFromSource(context.sourceCode, TS_EXTRAS_MODULE_SOURCE);
+        return {
+            'CallExpression[callee.type="MemberExpression"][callee.object.type="Identifier"][callee.object.name="Object"][callee.property.type="Identifier"][callee.property.name="values"]'(node) {
+                reportTsExtrasGlobalMemberCall({
+                    context,
+                    importedName: "objectValues",
+                    imports: tsExtrasImports,
+                    memberName: "values",
+                    messageId: "preferTsExtrasObjectValues",
+                    node,
+                    objectName: "Object",
+                });
+            },
+        };
+    },
+    defaultOptions: [],
+    meta: {
+        deprecated: false,
+        docs: {
+            description: "require ts-extras objectValues over Object.values for stronger value inference.",
+            frozen: false,
+            recommended: false,
+            requiresTypeChecking: false,
+            typefestConfigs: [
+                "typefest.configs.strict",
+                "typefest.configs.all",
+            ],
+            url: "https://nick2bad4u.github.io/eslint-plugin-typefest/docs/rules/prefer-ts-extras-object-values",
+        },
+        fixable: "code",
+        messages: {
+            preferTsExtrasObjectValues: "Prefer `objectValues` from `ts-extras` over `Object.values(...)` for stronger value inference.",
+        },
+        schema: [],
+        type: "suggestion",
+    },
+    name: "prefer-ts-extras-object-values",
+});
+/**
+ * Default export for the `prefer-ts-extras-object-values` rule module.
+ */
+export default preferTsExtrasObjectValuesRule;
+//# sourceMappingURL=prefer-ts-extras-object-values.js.map

package/dist/rules/prefer-ts-extras-object-values.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prefer-ts-extras-object-values.js","sourceRoot":"","sources":["../../src/rules/prefer-ts-extras-object-values.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,8BAA8B,EAAE,MAAM,yCAAyC,CAAC;AACzF,OAAO,EAAE,wCAAwC,EAAE,MAAM,wCAAwC,CAAC;AAClG,OAAO,EAAE,uBAAuB,EAAE,MAAM,+BAA+B,CAAC;AACxE,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAE7D;;;;;GAKG;AACH,MAAM,8BAA8B,GAChC,eAAe,CAAC;IACZ,MAAM,CAAC,OAAO;QACV,MAAM,eAAe,GAAG,wCAAwC,CAC5D,OAAO,CAAC,UAAU,EAClB,uBAAuB,CAC1B,CAAC;QAEF,OAAO;YACH,gLAAgL,CAC5K,IAAI;gBAEJ,8BAA8B,CAAC;oBAC3B,OAAO;oBACP,YAAY,EAAE,cAAc;oBAC5B,OAAO,EAAE,eAAe;oBACxB,UAAU,EAAE,QAAQ;oBACpB,SAAS,EAAE,4BAA4B;oBACvC,IAAI;oBACJ,UAAU,EAAE,QAAQ;iBACvB,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,iFAAiF;YACrF,MAAM,EAAE,KAAK;YACb,WAAW,EAAE,KAAK;YAClB,oBAAoB,EAAE,KAAK;YAC3B,eAAe,EAAE;gBACb,yBAAyB;gBACzB,sBAAsB;aACzB;YACD,GAAG,EAAE,+FAA+F;SACvG;QACD,OAAO,EAAE,MAAM;QACf,QAAQ,EAAE;YACN,0BAA0B,EACtB,gGAAgG;SACvG;QACD,MAAM,EAAE,EAAE;QACV,IAAI,EAAE,YAAY;KACrB;IACD,IAAI,EAAE,gCAAgC;CACzC,CAAC,CAAC;AAEP;;GAEG;AACH,eAAe,8BAA8B,CAAC"}

package/dist/rules/prefer-ts-extras-safe-cast-to.d.ts

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

package/dist/rules/prefer-ts-extras-safe-cast-to.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prefer-ts-extras-safe-cast-to.d.ts","sourceRoot":"","sources":["../../src/rules/prefer-ts-extras-safe-cast-to.ts"],"names":[],"mappings":"AAwBA,OAAO,EACH,eAAe,EAGlB,MAAM,4BAA4B,CAAC;AAyDpC;;;;;GAKG;AACH,QAAA,MAAM,4BAA4B,EAAE,UAAU,CAAC,OAAO,eAAe,CA6I/D,CAAC;AAEP;;GAEG;AACH,eAAe,4BAA4B,CAAC"}

package/dist/rules/prefer-ts-extras-safe-cast-to.js

@@ -0,0 +1,159 @@
+import { containsAllTypesByName, isTypeAnyType, isTypeNeverType, isTypeUnknownType, } from "@typescript-eslint/type-utils";
+import { isDefined } from "ts-extras";
+import ts from "typescript";
+import { getConstrainedTypeAtLocationWithFallback } from "../_internal/constrained-type-at-location.js";
+import { collectDirectNamedValueImportsFromSource, createSafeValueNodeTextReplacementFix, getFunctionCallArgumentText, } from "../_internal/imported-value-symbols.js";
+import { TS_EXTRAS_MODULE_SOURCE } from "../_internal/module-source.js";
+import { reportWithOptionalFix } from "../_internal/rule-reporting.js";
+import { safeTypeOperation } from "../_internal/safe-type-operation.js";
+import { createTypedRule, getTypedRuleServices, isTypeAssignableTo, } from "../_internal/typed-rule.js";
+/**
+ * Checks whether a type assertion target should be excluded from `safeCastTo`
+ * suggestions.
+ *
+ * @param typeAnnotation - Asserted type annotation to inspect.
+ *
+ * @returns `true` for broad or intentionally unsafe targets (`any`, `unknown`,
+ *   `never`, and `const` assertions) where replacement is not desirable.
+ */
+const isIgnoredTypeAnnotation = (typeAnnotation) => typeAnnotation.type === "TSAnyKeyword" ||
+    typeAnnotation.type === "TSNeverKeyword" ||
+    typeAnnotation.type === "TSUnknownKeyword" ||
+    (typeAnnotation.type === "TSTypeReference" &&
+        typeAnnotation.typeName.type === "Identifier" &&
+        typeAnnotation.typeName.name === "const");
+const IGNORED_TARGET_TYPE_NAMES = new Set([
+    "any",
+    "never",
+    "unknown",
+]);
+const resolvesToIgnoredTargetTypeName = (targetType) => {
+    const containsIgnoredTypeNameResult = safeTypeOperation({
+        operation: () => containsAllTypesByName(targetType, true, IGNORED_TARGET_TYPE_NAMES),
+        reason: "safe-cast-to-ignored-target-name-check-failed",
+    });
+    return (containsIgnoredTypeNameResult.ok && containsIgnoredTypeNameResult.value);
+};
+/**
+ * Checks whether a resolved target type should be excluded from `safeCastTo`
+ * suggestions.
+ *
+ * @param targetType - Resolved target type.
+ *
+ * @returns `true` for broad or intentionally unsafe targets (`any`, `unknown`,
+ *   and `never`) including aliased forms.
+ */
+const isIgnoredTargetType = (targetType) => isTypeAnyType(targetType) ||
+    isTypeNeverType(targetType) ||
+    isTypeUnknownType(targetType) ||
+    resolvesToIgnoredTargetTypeName(targetType);
+/**
+ * ESLint rule definition for `prefer-ts-extras-safe-cast-to`.
+ *
+ * @remarks
+ * Defines metadata, diagnostics, and suggestions/fixes for this rule.
+ */
+const preferTsExtrasSafeCastToRule = createTypedRule({
+    create(context) {
+        const tsExtrasImports = collectDirectNamedValueImportsFromSource(context.sourceCode, TS_EXTRAS_MODULE_SOURCE);
+        const { checker, parserServices } = getTypedRuleServices(context);
+        /**
+         * Report assertions that can be replaced by `safeCastTo<T>(value)`
+         * without changing assignability behavior.
+         */
+        const reportIfSafeCastCandidate = ({ expression, node, typeAnnotation, }) => {
+            if (isIgnoredTypeAnnotation(typeAnnotation)) {
+                return;
+            }
+            const result = safeTypeOperation({
+                operation: () => {
+                    const annotationTsNode = parserServices.esTreeNodeToTSNodeMap.get(typeAnnotation);
+                    if (!ts.isTypeNode(annotationTsNode)) {
+                        return null;
+                    }
+                    const sourceType = getConstrainedTypeAtLocationWithFallback(checker, expression, parserServices, "safe-cast-to-source-type-resolution-failed");
+                    if (!isDefined(sourceType)) {
+                        return null;
+                    }
+                    const targetType = checker.getTypeFromTypeNode(annotationTsNode);
+                    if (isIgnoredTargetType(targetType)) {
+                        return null;
+                    }
+                    if (!isTypeAssignableTo(checker, sourceType, targetType)) {
+                        return null;
+                    }
+                    const expressionArgumentText = getFunctionCallArgumentText({
+                        argumentNode: expression,
+                        sourceCode: context.sourceCode,
+                    });
+                    if (expressionArgumentText === null) {
+                        return null;
+                    }
+                    return createSafeValueNodeTextReplacementFix({
+                        context,
+                        importedName: "safeCastTo",
+                        imports: tsExtrasImports,
+                        replacementTextFactory: (replacementName) => `${replacementName}<${context.sourceCode.getText(typeAnnotation)}>(${expressionArgumentText})`,
+                        sourceModuleName: TS_EXTRAS_MODULE_SOURCE,
+                        targetNode: node,
+                    });
+                },
+                reason: "safe-cast-to-candidate-analysis-failed",
+            });
+            if (!result.ok || result.value === null) {
+                return;
+            }
+            reportWithOptionalFix({
+                context,
+                fix: result.value,
+                messageId: "preferTsExtrasSafeCastTo",
+                node,
+            });
+        };
+        return {
+            TSAsExpression(node) {
+                reportIfSafeCastCandidate({
+                    expression: node.expression,
+                    node,
+                    typeAnnotation: node.typeAnnotation,
+                });
+            },
+            TSTypeAssertion(node) {
+                reportIfSafeCastCandidate({
+                    expression: node.expression,
+                    node,
+                    typeAnnotation: node.typeAnnotation,
+                });
+            },
+        };
+    },
+    defaultOptions: [],
+    meta: {
+        deprecated: false,
+        docs: {
+            description: "require ts-extras safeCastTo for assignable type assertions instead of direct `as` casts.",
+            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-safe-cast-to",
+        },
+        fixable: "code",
+        messages: {
+            preferTsExtrasSafeCastTo: "Prefer `safeCastTo<T>(value)` from `ts-extras` over direct `as` assertions when the cast is already type-safe.",
+        },
+        schema: [],
+        type: "suggestion",
+    },
+    name: "prefer-ts-extras-safe-cast-to",
+});
+/**
+ * Default export for the `prefer-ts-extras-safe-cast-to` rule module.
+ */
+export default preferTsExtrasSafeCastToRule;
+//# sourceMappingURL=prefer-ts-extras-safe-cast-to.js.map

package/dist/rules/prefer-ts-extras-safe-cast-to.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prefer-ts-extras-safe-cast-to.js","sourceRoot":"","sources":["../../src/rules/prefer-ts-extras-safe-cast-to.ts"],"names":[],"mappings":"AAMA,OAAO,EACH,sBAAsB,EACtB,aAAa,EACb,eAAe,EACf,iBAAiB,GACpB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,EAAE,wCAAwC,EAAE,MAAM,8CAA8C,CAAC;AACxG,OAAO,EACH,wCAAwC,EACxC,qCAAqC,EACrC,2BAA2B,GAC9B,MAAM,wCAAwC,CAAC;AAChD,OAAO,EAAE,uBAAuB,EAAE,MAAM,+BAA+B,CAAC;AACxE,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AACvE,OAAO,EAAE,iBAAiB,EAAE,MAAM,qCAAqC,CAAC;AACxE,OAAO,EACH,eAAe,EACf,oBAAoB,EACpB,kBAAkB,GACrB,MAAM,4BAA4B,CAAC;AAEpC;;;;;;;;GAQG;AAEH,MAAM,uBAAuB,GAAG,CAC5B,cAA2C,EACpC,EAAE,CACT,cAAc,CAAC,IAAI,KAAK,cAAc;IACtC,cAAc,CAAC,IAAI,KAAK,gBAAgB;IACxC,cAAc,CAAC,IAAI,KAAK,kBAAkB;IAC1C,CAAC,cAAc,CAAC,IAAI,KAAK,iBAAiB;QACtC,cAAc,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY;QAC7C,cAAc,CAAC,QAAQ,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;AAElD,MAAM,yBAAyB,GAAG,IAAI,GAAG,CAAC;IACtC,KAAK;IACL,OAAO;IACP,SAAS;CACZ,CAAC,CAAC;AAEH,MAAM,+BAA+B,GAAG,CACpC,UAA6B,EACtB,EAAE;IACT,MAAM,6BAA6B,GAAG,iBAAiB,CAAC;QACpD,SAAS,EAAE,GAAG,EAAE,CACZ,sBAAsB,CAAC,UAAU,EAAE,IAAI,EAAE,yBAAyB,CAAC;QACvE,MAAM,EAAE,+CAA+C;KAC1D,CAAC,CAAC;IAEH,OAAO,CACH,6BAA6B,CAAC,EAAE,IAAI,6BAA6B,CAAC,KAAK,CAC1E,CAAC;AACN,CAAC,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,mBAAmB,GAAG,CAAC,UAA6B,EAAW,EAAE,CACnE,aAAa,CAAC,UAAU,CAAC;IACzB,eAAe,CAAC,UAAU,CAAC;IAC3B,iBAAiB,CAAC,UAAU,CAAC;IAC7B,+BAA+B,CAAC,UAAU,CAAC,CAAC;AAEhD;;;;;GAKG;AACH,MAAM,4BAA4B,GAC9B,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;QAElE;;;WAGG;QACH,MAAM,yBAAyB,GAAG,CAAC,EAC/B,UAAU,EACV,IAAI,EACJ,cAAc,GAKhB,EAAQ,EAAE;YACR,IAAI,uBAAuB,CAAC,cAAc,CAAC,EAAE,CAAC;gBAC1C,OAAO;YACX,CAAC;YAED,MAAM,MAAM,GAAG,iBAAiB,CAAC;gBAC7B,SAAS,EAAE,GAAG,EAAE;oBACZ,MAAM,gBAAgB,GAClB,cAAc,CAAC,qBAAqB,CAAC,GAAG,CACpC,cAAc,CACjB,CAAC;oBAEN,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,gBAAgB,CAAC,EAAE,CAAC;wBACnC,OAAO,IAAI,CAAC;oBAChB,CAAC;oBAED,MAAM,UAAU,GACZ,wCAAwC,CACpC,OAAO,EACP,UAAU,EACV,cAAc,EACd,4CAA4C,CAC/C,CAAC;oBAEN,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;wBACzB,OAAO,IAAI,CAAC;oBAChB,CAAC;oBAED,MAAM,UAAU,GACZ,OAAO,CAAC,mBAAmB,CAAC,gBAAgB,CAAC,CAAC;oBAElD,IAAI,mBAAmB,CAAC,UAAU,CAAC,EAAE,CAAC;wBAClC,OAAO,IAAI,CAAC;oBAChB,CAAC;oBAED,IACI,CAAC,kBAAkB,CAAC,OAAO,EAAE,UAAU,EAAE,UAAU,CAAC,EACtD,CAAC;wBACC,OAAO,IAAI,CAAC;oBAChB,CAAC;oBAED,MAAM,sBAAsB,GACxB,2BAA2B,CAAC;wBACxB,YAAY,EAAE,UAAU;wBACxB,UAAU,EAAE,OAAO,CAAC,UAAU;qBACjC,CAAC,CAAC;oBAEP,IAAI,sBAAsB,KAAK,IAAI,EAAE,CAAC;wBAClC,OAAO,IAAI,CAAC;oBAChB,CAAC;oBAED,OAAO,qCAAqC,CAAC;wBACzC,OAAO;wBACP,YAAY,EAAE,YAAY;wBAC1B,OAAO,EAAE,eAAe;wBACxB,sBAAsB,EAAE,CAAC,eAAe,EAAE,EAAE,CACxC,GAAG,eAAe,IAAI,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,sBAAsB,GAAG;wBAClG,gBAAgB,EAAE,uBAAuB;wBACzC,UAAU,EAAE,IAAI;qBACnB,CAAC,CAAC;gBACP,CAAC;gBACD,MAAM,EAAE,wCAAwC;aACnD,CAAC,CAAC;YAEH,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,MAAM,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;gBACtC,OAAO;YACX,CAAC;YAED,qBAAqB,CAAC;gBAClB,OAAO;gBACP,GAAG,EAAE,MAAM,CAAC,KAAK;gBACjB,SAAS,EAAE,0BAA0B;gBACrC,IAAI;aACP,CAAC,CAAC;QACP,CAAC,CAAC;QAEF,OAAO;YACH,cAAc,CAAC,IAAI;gBACf,yBAAyB,CAAC;oBACtB,UAAU,EAAE,IAAI,CAAC,UAAU;oBAC3B,IAAI;oBACJ,cAAc,EAAE,IAAI,CAAC,cAAc;iBACtC,CAAC,CAAC;YACP,CAAC;YACD,eAAe,CAAC,IAAI;gBAChB,yBAAyB,CAAC;oBACtB,UAAU,EAAE,IAAI,CAAC,UAAU;oBAC3B,IAAI;oBACJ,cAAc,EAAE,IAAI,CAAC,cAAc;iBACtC,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,2FAA2F;YAC/F,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,8FAA8F;SACtG;QACD,OAAO,EAAE,MAAM;QACf,QAAQ,EAAE;YACN,wBAAwB,EACpB,gHAAgH;SACvH;QACD,MAAM,EAAE,EAAE;QACV,IAAI,EAAE,YAAY;KACrB;IACD,IAAI,EAAE,+BAA+B;CACxC,CAAC,CAAC;AAEP;;GAEG;AACH,eAAe,4BAA4B,CAAC"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"prefer-ts-extras-set-has.d.ts","sourceRoot":"","sources":["../../src/rules/prefer-ts-extras-set-has.ts"],"names":[],"mappings":"AA6BA,OAAO,EACH,eAAe,EAElB,MAAM,4BAA4B,CAAC;AA6BpC;;;;;GAKG;AACH,QAAA,MAAM,wBAAwB,EAAE,UAAU,CAAC,OAAO,eAAe,CAib3D,CAAC;AAEP;;GAEG;AACH,eAAe,wBAAwB,CAAC"}