@typescript-eslint/eslint-plugin 8.59.1-alpha.3 → 8.59.1-alpha.4

package/dist/rules/no-unnecessary-type-assertion.js

@@ -223,9 +223,8 @@ exports.default = (0, util_1.createRule)({
                 .some(part => checker.getIndexInfosOfType(part).length > 0);
         }
         function getTypeArguments(type) {
-            return tsutils.isTypeReference(type)
-                ? checker.getTypeArguments(type)
-                : [];
+            return (type.aliasTypeArguments ??
+                (tsutils.isTypeReference(type) ? checker.getTypeArguments(type) : []));
         }
         function typeContains(type, predicate, seen = new Set()) {
             if (seen.has(type)) {
@@ -255,6 +254,9 @@ exports.default = (0, util_1.createRule)({
         function containsTypeVariable(type) {
             return typeContains(type, t => (0, util_1.isTypeFlagSet)(t, ts.TypeFlags.TypeVariable | ts.TypeFlags.Index));
         }
+        function hasPhantomTypeArguments(type) {
+            return isEmptyObjectType(type) && getTypeArguments(type).length > 0;
+        }
         function hasTypeParams(sig) {
             return (sig.getTypeParameters()?.length ?? 0) > 0;
         }
@@ -488,6 +490,12 @@ exports.default = (0, util_1.createRule)({
             }
             return false;
         }
+        function hasPhantomTypeArgumentMismatch(node, uncastType, contextualType) {
+            return (isInGenericContext(node) &&
+                (hasPhantomTypeArguments(uncastType) ||
+                    hasPhantomTypeArguments(contextualType)) &&
+                !haveSameTypeArguments(uncastType, contextualType));
+        }
         const SKIP_PARENT_TYPES = new Set([
             utils_1.AST_NODE_TYPES.TSAsExpression,
             utils_1.AST_NODE_TYPES.TSTypeAssertion,
@@ -619,6 +627,7 @@ exports.default = (0, util_1.createRule)({
                     const isContextuallyUnnecessary = !typeAnnotationIsConstAssertion &&
                         !containsAny(uncastType) &&
                         anyInvolvedInContextualCheck &&
+                        !hasPhantomTypeArgumentMismatch(node, uncastType, contextualType) &&
                         (castIsAny || !genericsMismatch(uncastType, contextualType)) &&
                         (contextualTypeIsAny ||
                             checker.isTypeAssignableTo(uncastType, contextualType)) &&

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@typescript-eslint/eslint-plugin",
-  "version": "8.59.1-alpha.3",
+  "version": "8.59.1-alpha.4",
   "description": "TypeScript plugin for ESLint",
   "files": [
     "dist",
@@ -52,10 +52,10 @@
     "ignore": "^7.0.5",
     "natural-compare": "^1.4.0",
     "ts-api-utils": "^2.5.0",
-    "@typescript-eslint/scope-manager": "8.59.1-alpha.3",
-    "@typescript-eslint/type-utils": "8.59.1-alpha.3",
-    "@typescript-eslint/utils": "8.59.1-alpha.3",
-    "@typescript-eslint/visitor-keys": "8.59.1-alpha.3"
+    "@typescript-eslint/scope-manager": "8.59.1-alpha.4",
+    "@typescript-eslint/type-utils": "8.59.1-alpha.4",
+    "@typescript-eslint/utils": "8.59.1-alpha.4",
+    "@typescript-eslint/visitor-keys": "8.59.1-alpha.4"
   },
   "devDependencies": {
     "@types/json-schema": "^7.0.15",
@@ -78,13 +78,13 @@
     "typescript": ">=4.8.4 <6.1.0",
     "unist-util-visit": "^5.0.0",
     "vitest": "^4.0.18",
-    "@typescript-eslint/rule-schema-to-typescript-types": "8.59.1-alpha.3",
-    "@typescript-eslint/rule-tester": "8.59.1-alpha.3"
+    "@typescript-eslint/rule-tester": "8.59.1-alpha.4",
+    "@typescript-eslint/rule-schema-to-typescript-types": "8.59.1-alpha.4"
   },
   "peerDependencies": {
     "eslint": "^8.57.0 || ^9.0.0 || ^10.0.0",
     "typescript": ">=4.8.4 <6.1.0",
-    "@typescript-eslint/parser": "^8.59.1-alpha.3"
+    "@typescript-eslint/parser": "^8.59.1-alpha.4"
   },
   "funding": {
     "type": "opencollective",