typescript 5.4.0-dev.20231107 → 5.4.0-dev.20231108

package/lib/tsc.js

@@ -18,7 +18,7 @@ and limitations under the License.
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.4";
-var version = `${versionMajorMinor}.0-dev.20231107`;
+var version = `${versionMajorMinor}.0-dev.20231108`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -48157,6 +48157,21 @@ function createTypeChecker(host) {
         const typeId = type2.id;
         const symbol = type2.symbol;
         if (symbol) {
+          const isInstantiationExpressionType = !!(getObjectFlags(type2) & 8388608 /* InstantiationExpressionType */);
+          if (isInstantiationExpressionType) {
+            const instantiationExpressionType = type2;
+            const existing = instantiationExpressionType.node;
+            if (isTypeQueryNode(existing) && getTypeFromTypeNode(existing) === type2) {
+              const typeNode = serializeExistingTypeNode(context, existing);
+              if (typeNode) {
+                return typeNode;
+              }
+            }
+            if ((_a2 = context.visitedTypes) == null ? void 0 : _a2.has(typeId)) {
+              return createElidedInformationPlaceholder(context);
+            }
+            return visitAndTransformType(type2, createTypeNodeFromObjectType);
+          }
           const isInstanceType = isClassInstanceSide(type2) ? 788968 /* Type */ : 111551 /* Value */;
           if (isJSConstructor(symbol.valueDeclaration)) {
             return symbolToTypeNode(symbol, context, isInstanceType);
@@ -48168,7 +48183,7 @@ function createTypeChecker(host) {
             false
           ).accessibility !== 0 /* Accessible */)) || symbol.flags & (384 /* Enum */ | 512 /* ValueModule */) || shouldWriteTypeOfFunctionSymbol()) {
             return symbolToTypeNode(symbol, context, isInstanceType);
-          } else if ((_a2 = context.visitedTypes) == null ? void 0 : _a2.has(typeId)) {
+          } else if ((_b2 = context.visitedTypes) == null ? void 0 : _b2.has(typeId)) {
             const typeAlias = getTypeAliasForTypeLiteral(type2);
             if (typeAlias) {
               return symbolToTypeNode(typeAlias, context, 788968 /* Type */);
@@ -48179,20 +48194,6 @@ function createTypeChecker(host) {
             return visitAndTransformType(type2, createTypeNodeFromObjectType);
           }
         } else {
-          const isInstantiationExpressionType = !!(getObjectFlags(type2) & 8388608 /* InstantiationExpressionType */);
-          if (isInstantiationExpressionType) {
-            const instantiationExpressionType = type2;
-            if (isTypeQueryNode(instantiationExpressionType.node)) {
-              const typeNode = serializeExistingTypeNode(context, instantiationExpressionType.node);
-              if (typeNode) {
-                return typeNode;
-              }
-            }
-            if ((_b2 = context.visitedTypes) == null ? void 0 : _b2.has(typeId)) {
-              return createElidedInformationPlaceholder(context);
-            }
-            return visitAndTransformType(type2, createTypeNodeFromObjectType);
-          }
           return createTypeNodeFromObjectType(type2);
         }
         function shouldWriteTypeOfFunctionSymbol() {
@@ -59100,6 +59101,7 @@ function createTypeChecker(host) {
     ) : strictNullChecks && modifiers & 8 /* ExcludeOptional */ && isOptional ? getTypeWithFacts(propType, 524288 /* NEUndefined */) : propType;
   }
   function instantiateAnonymousType(type, mapper, aliasSymbol, aliasTypeArguments) {
+    Debug.assert(type.symbol, "anonymous type must have symbol to be instantiated");
     const result = createObjectType(type.objectFlags & ~(524288 /* CouldContainTypeVariablesComputed */ | 1048576 /* CouldContainTypeVariables */) | 64 /* Instantiated */, type.symbol);
     if (type.objectFlags & 32 /* Mapped */) {
       result.declaration = type.declaration;
@@ -62347,6 +62349,7 @@ function createTypeChecker(host) {
       const sourceObjectFlags = getObjectFlags(source2);
       const targetObjectFlags = getObjectFlags(target2);
       if (sourceObjectFlags & 64 /* Instantiated */ && targetObjectFlags & 64 /* Instantiated */ && source2.symbol === target2.symbol || sourceObjectFlags & 4 /* Reference */ && targetObjectFlags & 4 /* Reference */ && source2.target === target2.target) {
+        Debug.assertEqual(sourceSignatures.length, targetSignatures.length);
         for (let i = 0; i < targetSignatures.length; i++) {
           const related = signatureRelatedTo(
             sourceSignatures[i],
@@ -72604,14 +72607,7 @@ function createTypeChecker(host) {
           hasSignatures || (hasSignatures = resolved.callSignatures.length !== 0 || resolved.constructSignatures.length !== 0);
           hasApplicableSignature || (hasApplicableSignature = callSignatures.length !== 0 || constructSignatures.length !== 0);
           if (callSignatures !== resolved.callSignatures || constructSignatures !== resolved.constructSignatures) {
-            const result3 = createAnonymousType(
-              /*symbol*/
-              void 0,
-              resolved.members,
-              callSignatures,
-              constructSignatures,
-              resolved.indexInfos
-            );
+            const result3 = createAnonymousType(createSymbol(0 /* None */, "__instantiationExpression" /* InstantiationExpression */), resolved.members, callSignatures, constructSignatures, resolved.indexInfos);
             result3.objectFlags |= 8388608 /* InstantiationExpressionType */;
             result3.node = node;
             return result3;

package/lib/tsserver.js

@@ -2330,7 +2330,7 @@ module.exports = __toCommonJS(server_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.4";
-var version = `${versionMajorMinor}.0-dev.20231107`;
+var version = `${versionMajorMinor}.0-dev.20231108`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -6587,6 +6587,7 @@ var InternalSymbolName = /* @__PURE__ */ ((InternalSymbolName2) => {
   InternalSymbolName2["ExportEquals"] = "export=";
   InternalSymbolName2["Default"] = "default";
   InternalSymbolName2["This"] = "this";
+  InternalSymbolName2["InstantiationExpression"] = "__instantiationExpression";
   return InternalSymbolName2;
 })(InternalSymbolName || {});
 var NodeCheckFlags = /* @__PURE__ */ ((NodeCheckFlags2) => {
@@ -52864,6 +52865,21 @@ function createTypeChecker(host) {
         const typeId = type2.id;
         const symbol = type2.symbol;
         if (symbol) {
+          const isInstantiationExpressionType = !!(getObjectFlags(type2) & 8388608 /* InstantiationExpressionType */);
+          if (isInstantiationExpressionType) {
+            const instantiationExpressionType = type2;
+            const existing = instantiationExpressionType.node;
+            if (isTypeQueryNode(existing) && getTypeFromTypeNode(existing) === type2) {
+              const typeNode = serializeExistingTypeNode(context, existing);
+              if (typeNode) {
+                return typeNode;
+              }
+            }
+            if ((_a2 = context.visitedTypes) == null ? void 0 : _a2.has(typeId)) {
+              return createElidedInformationPlaceholder(context);
+            }
+            return visitAndTransformType(type2, createTypeNodeFromObjectType);
+          }
           const isInstanceType = isClassInstanceSide(type2) ? 788968 /* Type */ : 111551 /* Value */;
           if (isJSConstructor(symbol.valueDeclaration)) {
             return symbolToTypeNode(symbol, context, isInstanceType);
@@ -52875,7 +52891,7 @@ function createTypeChecker(host) {
             false
           ).accessibility !== 0 /* Accessible */)) || symbol.flags & (384 /* Enum */ | 512 /* ValueModule */) || shouldWriteTypeOfFunctionSymbol()) {
             return symbolToTypeNode(symbol, context, isInstanceType);
-          } else if ((_a2 = context.visitedTypes) == null ? void 0 : _a2.has(typeId)) {
+          } else if ((_b2 = context.visitedTypes) == null ? void 0 : _b2.has(typeId)) {
             const typeAlias = getTypeAliasForTypeLiteral(type2);
             if (typeAlias) {
               return symbolToTypeNode(typeAlias, context, 788968 /* Type */);
@@ -52886,20 +52902,6 @@ function createTypeChecker(host) {
             return visitAndTransformType(type2, createTypeNodeFromObjectType);
           }
         } else {
-          const isInstantiationExpressionType = !!(getObjectFlags(type2) & 8388608 /* InstantiationExpressionType */);
-          if (isInstantiationExpressionType) {
-            const instantiationExpressionType = type2;
-            if (isTypeQueryNode(instantiationExpressionType.node)) {
-              const typeNode = serializeExistingTypeNode(context, instantiationExpressionType.node);
-              if (typeNode) {
-                return typeNode;
-              }
-            }
-            if ((_b2 = context.visitedTypes) == null ? void 0 : _b2.has(typeId)) {
-              return createElidedInformationPlaceholder(context);
-            }
-            return visitAndTransformType(type2, createTypeNodeFromObjectType);
-          }
           return createTypeNodeFromObjectType(type2);
         }
         function shouldWriteTypeOfFunctionSymbol() {
@@ -63807,6 +63809,7 @@ function createTypeChecker(host) {
     ) : strictNullChecks && modifiers & 8 /* ExcludeOptional */ && isOptional ? getTypeWithFacts(propType, 524288 /* NEUndefined */) : propType;
   }
   function instantiateAnonymousType(type, mapper, aliasSymbol, aliasTypeArguments) {
+    Debug.assert(type.symbol, "anonymous type must have symbol to be instantiated");
     const result = createObjectType(type.objectFlags & ~(524288 /* CouldContainTypeVariablesComputed */ | 1048576 /* CouldContainTypeVariables */) | 64 /* Instantiated */, type.symbol);
     if (type.objectFlags & 32 /* Mapped */) {
       result.declaration = type.declaration;
@@ -67054,6 +67057,7 @@ function createTypeChecker(host) {
       const sourceObjectFlags = getObjectFlags(source2);
       const targetObjectFlags = getObjectFlags(target2);
       if (sourceObjectFlags & 64 /* Instantiated */ && targetObjectFlags & 64 /* Instantiated */ && source2.symbol === target2.symbol || sourceObjectFlags & 4 /* Reference */ && targetObjectFlags & 4 /* Reference */ && source2.target === target2.target) {
+        Debug.assertEqual(sourceSignatures.length, targetSignatures.length);
         for (let i = 0; i < targetSignatures.length; i++) {
           const related = signatureRelatedTo(
             sourceSignatures[i],
@@ -77311,14 +77315,7 @@ function createTypeChecker(host) {
           hasSignatures || (hasSignatures = resolved.callSignatures.length !== 0 || resolved.constructSignatures.length !== 0);
           hasApplicableSignature || (hasApplicableSignature = callSignatures.length !== 0 || constructSignatures.length !== 0);
           if (callSignatures !== resolved.callSignatures || constructSignatures !== resolved.constructSignatures) {
-            const result3 = createAnonymousType(
-              /*symbol*/
-              void 0,
-              resolved.members,
-              callSignatures,
-              constructSignatures,
-              resolved.indexInfos
-            );
+            const result3 = createAnonymousType(createSymbol(0 /* None */, "__instantiationExpression" /* InstantiationExpression */), resolved.members, callSignatures, constructSignatures, resolved.indexInfos);
             result3.objectFlags |= 8388608 /* InstantiationExpressionType */;
             result3.node = node;
             return result3;
@@ -150308,7 +150305,17 @@ var errorCodes18 = [
   Diagnostics._0_refers_to_a_UMD_global_but_the_current_file_is_a_module_Consider_adding_an_import_instead.code,
   Diagnostics._0_only_refers_to_a_type_but_is_being_used_as_a_value_here.code,
   Diagnostics.No_value_exists_in_scope_for_the_shorthand_property_0_Either_declare_one_or_provide_an_initializer.code,
-  Diagnostics._0_cannot_be_used_as_a_value_because_it_was_imported_using_import_type.code
+  Diagnostics._0_cannot_be_used_as_a_value_because_it_was_imported_using_import_type.code,
+  Diagnostics.Cannot_find_name_0_Do_you_need_to_install_type_definitions_for_jQuery_Try_npm_i_save_dev_types_Slashjquery.code,
+  Diagnostics.Cannot_find_name_0_Do_you_need_to_change_your_target_library_Try_changing_the_lib_compiler_option_to_1_or_later.code,
+  Diagnostics.Cannot_find_name_0_Do_you_need_to_change_your_target_library_Try_changing_the_lib_compiler_option_to_include_dom.code,
+  Diagnostics.Cannot_find_name_0_Do_you_need_to_install_type_definitions_for_a_test_runner_Try_npm_i_save_dev_types_Slashjest_or_npm_i_save_dev_types_Slashmocha_and_then_add_jest_or_mocha_to_the_types_field_in_your_tsconfig.code,
+  Diagnostics.Cannot_find_name_0_Did_you_mean_to_write_this_in_an_async_function.code,
+  Diagnostics.Cannot_find_name_0_Do_you_need_to_install_type_definitions_for_jQuery_Try_npm_i_save_dev_types_Slashjquery_and_then_add_jquery_to_the_types_field_in_your_tsconfig.code,
+  Diagnostics.Cannot_find_name_0_Do_you_need_to_install_type_definitions_for_a_test_runner_Try_npm_i_save_dev_types_Slashjest_or_npm_i_save_dev_types_Slashmocha.code,
+  Diagnostics.Cannot_find_name_0_Do_you_need_to_install_type_definitions_for_node_Try_npm_i_save_dev_types_Slashnode.code,
+  Diagnostics.Cannot_find_name_0_Do_you_need_to_install_type_definitions_for_node_Try_npm_i_save_dev_types_Slashnode_and_then_add_node_to_the_types_field_in_your_tsconfig.code,
+  Diagnostics.Cannot_find_namespace_0_Did_you_mean_1.code
 ];
 registerCodeFix({
   errorCodes: errorCodes18,

package/lib/typescript.d.ts

@@ -7049,6 +7049,7 @@ declare namespace ts {
         ExportEquals = "export=",
         Default = "default",
         This = "this",
+        InstantiationExpression = "__instantiationExpression",
     }
     /**
      * This represents a string whose leading underscore have been escaped by adding extra leading underscores.

package/lib/typescript.js

@@ -35,7 +35,7 @@ var ts = (() => {
     "src/compiler/corePublic.ts"() {
       "use strict";
       versionMajorMinor = "5.4";
-      version = `${versionMajorMinor}.0-dev.20231107`;
+      version = `${versionMajorMinor}.0-dev.20231108`;
       Comparison = /* @__PURE__ */ ((Comparison3) => {
         Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
         Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -4350,6 +4350,7 @@ ${lanes.join("\n")}
         InternalSymbolName2["ExportEquals"] = "export=";
         InternalSymbolName2["Default"] = "default";
         InternalSymbolName2["This"] = "this";
+        InternalSymbolName2["InstantiationExpression"] = "__instantiationExpression";
         return InternalSymbolName2;
       })(InternalSymbolName || {});
       NodeCheckFlags = /* @__PURE__ */ ((NodeCheckFlags2) => {
@@ -50629,6 +50630,21 @@ ${lanes.join("\n")}
           const typeId = type2.id;
           const symbol = type2.symbol;
           if (symbol) {
+            const isInstantiationExpressionType = !!(getObjectFlags(type2) & 8388608 /* InstantiationExpressionType */);
+            if (isInstantiationExpressionType) {
+              const instantiationExpressionType = type2;
+              const existing = instantiationExpressionType.node;
+              if (isTypeQueryNode(existing) && getTypeFromTypeNode(existing) === type2) {
+                const typeNode = serializeExistingTypeNode(context, existing);
+                if (typeNode) {
+                  return typeNode;
+                }
+              }
+              if ((_a2 = context.visitedTypes) == null ? void 0 : _a2.has(typeId)) {
+                return createElidedInformationPlaceholder(context);
+              }
+              return visitAndTransformType(type2, createTypeNodeFromObjectType);
+            }
             const isInstanceType = isClassInstanceSide(type2) ? 788968 /* Type */ : 111551 /* Value */;
             if (isJSConstructor(symbol.valueDeclaration)) {
               return symbolToTypeNode(symbol, context, isInstanceType);
@@ -50640,7 +50656,7 @@ ${lanes.join("\n")}
               false
             ).accessibility !== 0 /* Accessible */)) || symbol.flags & (384 /* Enum */ | 512 /* ValueModule */) || shouldWriteTypeOfFunctionSymbol()) {
               return symbolToTypeNode(symbol, context, isInstanceType);
-            } else if ((_a2 = context.visitedTypes) == null ? void 0 : _a2.has(typeId)) {
+            } else if ((_b2 = context.visitedTypes) == null ? void 0 : _b2.has(typeId)) {
               const typeAlias = getTypeAliasForTypeLiteral(type2);
               if (typeAlias) {
                 return symbolToTypeNode(typeAlias, context, 788968 /* Type */);
@@ -50651,20 +50667,6 @@ ${lanes.join("\n")}
               return visitAndTransformType(type2, createTypeNodeFromObjectType);
             }
           } else {
-            const isInstantiationExpressionType = !!(getObjectFlags(type2) & 8388608 /* InstantiationExpressionType */);
-            if (isInstantiationExpressionType) {
-              const instantiationExpressionType = type2;
-              if (isTypeQueryNode(instantiationExpressionType.node)) {
-                const typeNode = serializeExistingTypeNode(context, instantiationExpressionType.node);
-                if (typeNode) {
-                  return typeNode;
-                }
-              }
-              if ((_b2 = context.visitedTypes) == null ? void 0 : _b2.has(typeId)) {
-                return createElidedInformationPlaceholder(context);
-              }
-              return visitAndTransformType(type2, createTypeNodeFromObjectType);
-            }
             return createTypeNodeFromObjectType(type2);
           }
           function shouldWriteTypeOfFunctionSymbol() {
@@ -61572,6 +61574,7 @@ ${lanes.join("\n")}
       ) : strictNullChecks && modifiers & 8 /* ExcludeOptional */ && isOptional ? getTypeWithFacts(propType, 524288 /* NEUndefined */) : propType;
     }
     function instantiateAnonymousType(type, mapper, aliasSymbol, aliasTypeArguments) {
+      Debug.assert(type.symbol, "anonymous type must have symbol to be instantiated");
       const result = createObjectType(type.objectFlags & ~(524288 /* CouldContainTypeVariablesComputed */ | 1048576 /* CouldContainTypeVariables */) | 64 /* Instantiated */, type.symbol);
       if (type.objectFlags & 32 /* Mapped */) {
         result.declaration = type.declaration;
@@ -64819,6 +64822,7 @@ ${lanes.join("\n")}
         const sourceObjectFlags = getObjectFlags(source2);
         const targetObjectFlags = getObjectFlags(target2);
         if (sourceObjectFlags & 64 /* Instantiated */ && targetObjectFlags & 64 /* Instantiated */ && source2.symbol === target2.symbol || sourceObjectFlags & 4 /* Reference */ && targetObjectFlags & 4 /* Reference */ && source2.target === target2.target) {
+          Debug.assertEqual(sourceSignatures.length, targetSignatures.length);
           for (let i = 0; i < targetSignatures.length; i++) {
             const related = signatureRelatedTo(
               sourceSignatures[i],
@@ -75076,14 +75080,7 @@ ${lanes.join("\n")}
             hasSignatures || (hasSignatures = resolved.callSignatures.length !== 0 || resolved.constructSignatures.length !== 0);
             hasApplicableSignature || (hasApplicableSignature = callSignatures.length !== 0 || constructSignatures.length !== 0);
             if (callSignatures !== resolved.callSignatures || constructSignatures !== resolved.constructSignatures) {
-              const result3 = createAnonymousType(
-                /*symbol*/
-                void 0,
-                resolved.members,
-                callSignatures,
-                constructSignatures,
-                resolved.indexInfos
-              );
+              const result3 = createAnonymousType(createSymbol(0 /* None */, "__instantiationExpression" /* InstantiationExpression */), resolved.members, callSignatures, constructSignatures, resolved.indexInfos);
               result3.objectFlags |= 8388608 /* InstantiationExpressionType */;
               result3.node = node;
               return result3;
@@ -150309,7 +150306,17 @@ ${newComment.split("\n").map((c) => ` * ${c}`).join("\n")}
         Diagnostics._0_refers_to_a_UMD_global_but_the_current_file_is_a_module_Consider_adding_an_import_instead.code,
         Diagnostics._0_only_refers_to_a_type_but_is_being_used_as_a_value_here.code,
         Diagnostics.No_value_exists_in_scope_for_the_shorthand_property_0_Either_declare_one_or_provide_an_initializer.code,
-        Diagnostics._0_cannot_be_used_as_a_value_because_it_was_imported_using_import_type.code
+        Diagnostics._0_cannot_be_used_as_a_value_because_it_was_imported_using_import_type.code,
+        Diagnostics.Cannot_find_name_0_Do_you_need_to_install_type_definitions_for_jQuery_Try_npm_i_save_dev_types_Slashjquery.code,
+        Diagnostics.Cannot_find_name_0_Do_you_need_to_change_your_target_library_Try_changing_the_lib_compiler_option_to_1_or_later.code,
+        Diagnostics.Cannot_find_name_0_Do_you_need_to_change_your_target_library_Try_changing_the_lib_compiler_option_to_include_dom.code,
+        Diagnostics.Cannot_find_name_0_Do_you_need_to_install_type_definitions_for_a_test_runner_Try_npm_i_save_dev_types_Slashjest_or_npm_i_save_dev_types_Slashmocha_and_then_add_jest_or_mocha_to_the_types_field_in_your_tsconfig.code,
+        Diagnostics.Cannot_find_name_0_Did_you_mean_to_write_this_in_an_async_function.code,
+        Diagnostics.Cannot_find_name_0_Do_you_need_to_install_type_definitions_for_jQuery_Try_npm_i_save_dev_types_Slashjquery_and_then_add_jquery_to_the_types_field_in_your_tsconfig.code,
+        Diagnostics.Cannot_find_name_0_Do_you_need_to_install_type_definitions_for_a_test_runner_Try_npm_i_save_dev_types_Slashjest_or_npm_i_save_dev_types_Slashmocha.code,
+        Diagnostics.Cannot_find_name_0_Do_you_need_to_install_type_definitions_for_node_Try_npm_i_save_dev_types_Slashnode.code,
+        Diagnostics.Cannot_find_name_0_Do_you_need_to_install_type_definitions_for_node_Try_npm_i_save_dev_types_Slashnode_and_then_add_node_to_the_types_field_in_your_tsconfig.code,
+        Diagnostics.Cannot_find_namespace_0_Did_you_mean_1.code
       ];
       registerCodeFix({
         errorCodes: errorCodes18,

package/lib/typingsInstaller.js

@@ -54,7 +54,7 @@ var path = __toESM(require("path"));
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.4";
-var version = `${versionMajorMinor}.0-dev.20231107`;
+var version = `${versionMajorMinor}.0-dev.20231108`;
 
 // src/compiler/core.ts
 var emptyArray = [];

package/package.json

@@ -2,7 +2,7 @@
     "name": "typescript",
     "author": "Microsoft Corp.",
     "homepage": "https://www.typescriptlang.org/",
-    "version": "5.4.0-dev.20231107",
+    "version": "5.4.0-dev.20231108",
     "license": "Apache-2.0",
     "description": "TypeScript is a language for application scale JavaScript development",
     "keywords": [
@@ -114,5 +114,5 @@
         "node": "20.1.0",
         "npm": "8.19.4"
     },
-    "gitHead": "27556f5d3bc4cd3797efe31d32f45775e2a1ca75"
+    "gitHead": "50f48840a32e3b8e2498967a09e7119203f5131b"
 }