typescript 5.7.0-dev.20240916 → 5.7.0-dev.20240917

package/lib/tsc.js

@@ -18,7 +18,7 @@ and limitations under the License.
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.7";
-var version = `${versionMajorMinor}.0-dev.20240916`;
+var version = `${versionMajorMinor}.0-dev.20240917`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -45878,6 +45878,7 @@ function createTypeChecker(host) {
     getBaseTypeOfLiteralType,
     getWidenedType,
     getWidenedLiteralType,
+    fillMissingTypeArguments,
     getTypeFromTypeNode: (nodeIn) => {
       const node = getParseTreeNode(nodeIn, isTypeNode);
       return node ? getTypeFromTypeNode(node) : errorType;

package/lib/typescript.js

@@ -2269,7 +2269,7 @@ module.exports = __toCommonJS(typescript_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.7";
-var version = `${versionMajorMinor}.0-dev.20240916`;
+var version = `${versionMajorMinor}.0-dev.20240917`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -50471,6 +50471,7 @@ function createTypeChecker(host) {
     getBaseTypeOfLiteralType,
     getWidenedType,
     getWidenedLiteralType,
+    fillMissingTypeArguments,
     getTypeFromTypeNode: (nodeIn) => {
       const node = getParseTreeNode(nodeIn, isTypeNode);
       return node ? getTypeFromTypeNode(node) : errorType;
@@ -152654,8 +152655,10 @@ __export(ts_codefix_exports, {
   setJsonCompilerOptionValue: () => setJsonCompilerOptionValue,
   setJsonCompilerOptionValues: () => setJsonCompilerOptionValues,
   tryGetAutoImportableReferenceFromTypeNode: () => tryGetAutoImportableReferenceFromTypeNode,
+  typeNodeToAutoImportableTypeNode: () => typeNodeToAutoImportableTypeNode,
   typePredicateToAutoImportableTypeNode: () => typePredicateToAutoImportableTypeNode,
-  typeToAutoImportableTypeNode: () => typeToAutoImportableTypeNode
+  typeToAutoImportableTypeNode: () => typeToAutoImportableTypeNode,
+  typeToMinimizedReferenceType: () => typeToMinimizedReferenceType
 });
 
 // src/services/codeFixProvider.ts
@@ -161031,7 +161034,7 @@ function withContext(context, typePrintMode, cb) {
   }
   function typeToTypeNode2(type, enclosingDeclaration, flags = 0 /* None */) {
     let isTruncated = false;
-    const result2 = typeToAutoImportableTypeNode(typeChecker, importAdder, type, enclosingDeclaration, scriptTarget, declarationEmitNodeBuilderFlags2 | flags, declarationEmitInternalNodeBuilderFlags2, {
+    const minimizedTypeNode = typeToMinimizedReferenceType(typeChecker, type, enclosingDeclaration, declarationEmitNodeBuilderFlags2 | flags, declarationEmitInternalNodeBuilderFlags2, {
       moduleResolverHost: program,
       trackSymbol() {
         return true;
@@ -161040,6 +161043,10 @@ function withContext(context, typePrintMode, cb) {
         isTruncated = true;
       }
     });
+    if (!minimizedTypeNode) {
+      return void 0;
+    }
+    const result2 = typeNodeToAutoImportableTypeNode(minimizedTypeNode, importAdder, scriptTarget);
     return isTruncated ? factory.createKeywordTypeNode(133 /* AnyKeyword */) : result2;
   }
   function typePredicateToTypeNode(typePredicate, enclosingDeclaration, flags = 0 /* None */) {
@@ -162743,7 +162750,13 @@ function createTypeParameterName(index) {
   return 84 /* T */ + index <= 90 /* Z */ ? String.fromCharCode(84 /* T */ + index) : `T${index}`;
 }
 function typeToAutoImportableTypeNode(checker, importAdder, type, contextNode, scriptTarget, flags, internalFlags, tracker) {
-  let typeNode = checker.typeToTypeNode(type, contextNode, flags, internalFlags, tracker);
+  const typeNode = checker.typeToTypeNode(type, contextNode, flags, internalFlags, tracker);
+  if (!typeNode) {
+    return void 0;
+  }
+  return typeNodeToAutoImportableTypeNode(typeNode, importAdder, scriptTarget);
+}
+function typeNodeToAutoImportableTypeNode(typeNode, importAdder, scriptTarget) {
   if (typeNode && isImportTypeNode(typeNode)) {
     const importableReference = tryGetAutoImportableReferenceFromTypeNode(typeNode, scriptTarget);
     if (importableReference) {
@@ -162753,6 +162766,42 @@ function typeToAutoImportableTypeNode(checker, importAdder, type, contextNode, s
   }
   return getSynthesizedDeepClone(typeNode);
 }
+function endOfRequiredTypeParameters(checker, type) {
+  Debug.assert(type.typeArguments);
+  const fullTypeArguments = type.typeArguments;
+  const target = type.target;
+  for (let cutoff = 0; cutoff < fullTypeArguments.length; cutoff++) {
+    const typeArguments = fullTypeArguments.slice(0, cutoff);
+    const filledIn = checker.fillMissingTypeArguments(
+      typeArguments,
+      target.typeParameters,
+      cutoff,
+      /*isJavaScriptImplicitAny*/
+      false
+    );
+    if (filledIn.every((fill, i) => fill === fullTypeArguments[i])) {
+      return cutoff;
+    }
+  }
+  return fullTypeArguments.length;
+}
+function typeToMinimizedReferenceType(checker, type, contextNode, flags, internalFlags, tracker) {
+  let typeNode = checker.typeToTypeNode(type, contextNode, flags, internalFlags, tracker);
+  if (!typeNode) {
+    return void 0;
+  }
+  if (isTypeReferenceNode(typeNode)) {
+    const genericType = type;
+    if (genericType.typeArguments && typeNode.typeArguments) {
+      const cutoff = endOfRequiredTypeParameters(checker, genericType);
+      if (cutoff < typeNode.typeArguments.length) {
+        const newTypeArguments = factory.createNodeArray(typeNode.typeArguments.slice(0, cutoff));
+        typeNode = factory.updateTypeReferenceNode(typeNode, typeNode.typeName, newTypeArguments);
+      }
+    }
+  }
+  return typeNode;
+}
 function typePredicateToAutoImportableTypeNode(checker, importAdder, typePredicate, contextNode, scriptTarget, flags, internalFlags, tracker) {
   let typePredicateNode = checker.typePredicateToTypePredicateNode(typePredicate, contextNode, flags, internalFlags, tracker);
   if ((typePredicateNode == null ? void 0 : typePredicateNode.type) && isImportTypeNode(typePredicateNode.type)) {

package/package.json

@@ -2,7 +2,7 @@
     "name": "typescript",
     "author": "Microsoft Corp.",
     "homepage": "https://www.typescriptlang.org/",
-    "version": "5.7.0-dev.20240916",
+    "version": "5.7.0-dev.20240917",
     "license": "Apache-2.0",
     "description": "TypeScript is a language for application scale JavaScript development",
     "keywords": [
@@ -116,5 +116,5 @@
         "node": "20.1.0",
         "npm": "8.19.4"
     },
-    "gitHead": "52eaa7b02fdeaa8969f88c7f5c0b252f5f0bd147"
+    "gitHead": "8230bc66a7eb4b88cfb6cdaa4ea8324808b39a07"
 }