typescript 5.5.0-dev.20240430 → 5.5.0-dev.20240501

package/lib/tsc.js

@@ -18,7 +18,7 @@ and limitations under the License.
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.5";
-var version = `${versionMajorMinor}.0-dev.20240430`;
+var version = `${versionMajorMinor}.0-dev.20240501`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -7716,6 +7716,16 @@ var Diagnostics = {
   Export_0_from_module_1: diag(90059, 3 /* Message */, "Export_0_from_module_1_90059", "Export '{0}' from module '{1}'"),
   Export_all_referenced_locals: diag(90060, 3 /* Message */, "Export_all_referenced_locals_90060", "Export all referenced locals"),
   Update_modifiers_of_0: diag(90061, 3 /* Message */, "Update_modifiers_of_0_90061", "Update modifiers of '{0}'"),
+  Add_annotation_of_type_0: diag(90062, 3 /* Message */, "Add_annotation_of_type_0_90062", "Add annotation of type '{0}'"),
+  Add_return_type_0: diag(90063, 3 /* Message */, "Add_return_type_0_90063", "Add return type '{0}'"),
+  Extract_base_class_to_variable: diag(90064, 3 /* Message */, "Extract_base_class_to_variable_90064", "Extract base class to variable"),
+  Extract_default_export_to_variable: diag(90065, 3 /* Message */, "Extract_default_export_to_variable_90065", "Extract default export to variable"),
+  Extract_binding_expressions_to_variable: diag(90066, 3 /* Message */, "Extract_binding_expressions_to_variable_90066", "Extract binding expressions to variable"),
+  Add_all_missing_type_annotations: diag(90067, 3 /* Message */, "Add_all_missing_type_annotations_90067", "Add all missing type annotations"),
+  Add_satisfies_and_an_inline_type_assertion_with_0: diag(90068, 3 /* Message */, "Add_satisfies_and_an_inline_type_assertion_with_0_90068", "Add satisfies and an inline type assertion with '{0}'"),
+  Extract_to_variable_and_replace_with_0_as_typeof_0: diag(90069, 3 /* Message */, "Extract_to_variable_and_replace_with_0_as_typeof_0_90069", "Extract to variable and replace with '{0} as typeof {0}'"),
+  Mark_array_literal_as_const: diag(90070, 3 /* Message */, "Mark_array_literal_as_const_90070", "Mark array literal as const"),
+  Annotate_types_of_properties_expando_function_in_a_namespace: diag(90071, 3 /* Message */, "Annotate_types_of_properties_expando_function_in_a_namespace_90071", "Annotate types of properties expando function in a namespace"),
   Convert_function_to_an_ES2015_class: diag(95001, 3 /* Message */, "Convert_function_to_an_ES2015_class_95001", "Convert function to an ES2015 class"),
   Convert_0_to_1_in_0: diag(95003, 3 /* Message */, "Convert_0_to_1_in_0_95003", "Convert '{0}' to '{1} in {0}'"),
   Extract_to_0_in_1: diag(95004, 3 /* Message */, "Extract_to_0_in_1_95004", "Extract to {0} in {1}"),
@@ -45553,6 +45563,7 @@ function createTypeChecker(host) {
     getBaseTypes,
     getBaseTypeOfLiteralType,
     getWidenedType,
+    getWidenedLiteralType,
     getTypeFromTypeNode: (nodeIn) => {
       const node = getParseTreeNode(nodeIn, isTypeNode);
       return node ? getTypeFromTypeNode(node) : errorType;
@@ -48130,12 +48141,6 @@ function createTypeChecker(host) {
       }
     }
   }
-  function markConstEnumAliasAsReferenced(symbol) {
-    const links = getSymbolLinks(symbol);
-    if (!links.constEnumReferenced) {
-      links.constEnumReferenced = true;
-    }
-  }
   function getSymbolOfPartOfRightHandSideOfImportEquals(entityName, dontResolveAlias) {
     if (entityName.kind === 80 /* Identifier */ && isRightSideOfQualifiedNameOrPropertyAccess(entityName)) {
       entityName = entityName.parent;
@@ -69520,8 +69525,6 @@ function createTypeChecker(host) {
       ) & (111551 /* Value */ | 1048576 /* ExportValue */)) {
         if (getIsolatedModules(compilerOptions) || shouldPreserveConstEnums(compilerOptions) && isExportOrExportExpression(location) || !isConstEnumOrConstEnumOnlyModule(getExportSymbolOfValueSymbolIfExported(target))) {
           markAliasSymbolAsReferenced(symbol);
-        } else {
-          markConstEnumAliasAsReferenced(symbol);
         }
       }
     }
@@ -70778,60 +70781,71 @@ function createTypeChecker(host) {
     return false;
   }
   function discriminateContextualTypeByObjectMembers(node, contextualType) {
-    return getMatchingUnionConstituentForObjectLiteral(contextualType, node) || discriminateTypeByDiscriminableItems(
-      contextualType,
-      concatenate(
-        map(
-          filter(node.properties, (p) => {
-            if (!p.symbol) {
+    const key = `D${getNodeId(node)},${getTypeId(contextualType)}`;
+    return getCachedType(key) ?? setCachedType(
+      key,
+      getMatchingUnionConstituentForObjectLiteral(contextualType, node) ?? discriminateTypeByDiscriminableItems(
+        contextualType,
+        concatenate(
+          map(
+            filter(node.properties, (p) => {
+              if (!p.symbol) {
+                return false;
+              }
+              if (p.kind === 303 /* PropertyAssignment */) {
+                return isPossiblyDiscriminantValue(p.initializer) && isDiscriminantProperty(contextualType, p.symbol.escapedName);
+              }
+              if (p.kind === 304 /* ShorthandPropertyAssignment */) {
+                return isDiscriminantProperty(contextualType, p.symbol.escapedName);
+              }
               return false;
-            }
-            if (p.kind === 303 /* PropertyAssignment */) {
-              return isPossiblyDiscriminantValue(p.initializer) && isDiscriminantProperty(contextualType, p.symbol.escapedName);
-            }
-            if (p.kind === 304 /* ShorthandPropertyAssignment */) {
-              return isDiscriminantProperty(contextualType, p.symbol.escapedName);
-            }
-            return false;
-          }),
-          (prop) => [() => getContextFreeTypeOfExpression(prop.kind === 303 /* PropertyAssignment */ ? prop.initializer : prop.name), prop.symbol.escapedName]
+            }),
+            (prop) => [() => getContextFreeTypeOfExpression(prop.kind === 303 /* PropertyAssignment */ ? prop.initializer : prop.name), prop.symbol.escapedName]
+          ),
+          map(
+            filter(getPropertiesOfType(contextualType), (s) => {
+              var _a;
+              return !!(s.flags & 16777216 /* Optional */) && !!((_a = node == null ? void 0 : node.symbol) == null ? void 0 : _a.members) && !node.symbol.members.has(s.escapedName) && isDiscriminantProperty(contextualType, s.escapedName);
+            }),
+            (s) => [() => undefinedType, s.escapedName]
+          )
         ),
-        map(
-          filter(getPropertiesOfType(contextualType), (s) => {
-            var _a;
-            return !!(s.flags & 16777216 /* Optional */) && !!((_a = node == null ? void 0 : node.symbol) == null ? void 0 : _a.members) && !node.symbol.members.has(s.escapedName) && isDiscriminantProperty(contextualType, s.escapedName);
-          }),
-          (s) => [() => undefinedType, s.escapedName]
-        )
-      ),
-      isTypeAssignableTo
+        isTypeAssignableTo
+      )
     );
   }
   function discriminateContextualTypeByJSXAttributes(node, contextualType) {
+    const key = `D${getNodeId(node)},${getTypeId(contextualType)}`;
+    const cached = getCachedType(key);
+    if (cached)
+      return cached;
     const jsxChildrenPropertyName = getJsxElementChildrenPropertyName(getJsxNamespaceAt(node));
-    return discriminateTypeByDiscriminableItems(
-      contextualType,
-      concatenate(
-        map(
-          filter(node.properties, (p) => !!p.symbol && p.kind === 291 /* JsxAttribute */ && isDiscriminantProperty(contextualType, p.symbol.escapedName) && (!p.initializer || isPossiblyDiscriminantValue(p.initializer))),
-          (prop) => [!prop.initializer ? () => trueType : () => getContextFreeTypeOfExpression(prop.initializer), prop.symbol.escapedName]
+    return setCachedType(
+      key,
+      discriminateTypeByDiscriminableItems(
+        contextualType,
+        concatenate(
+          map(
+            filter(node.properties, (p) => !!p.symbol && p.kind === 291 /* JsxAttribute */ && isDiscriminantProperty(contextualType, p.symbol.escapedName) && (!p.initializer || isPossiblyDiscriminantValue(p.initializer))),
+            (prop) => [!prop.initializer ? () => trueType : () => getContextFreeTypeOfExpression(prop.initializer), prop.symbol.escapedName]
+          ),
+          map(
+            filter(getPropertiesOfType(contextualType), (s) => {
+              var _a;
+              if (!(s.flags & 16777216 /* Optional */) || !((_a = node == null ? void 0 : node.symbol) == null ? void 0 : _a.members)) {
+                return false;
+              }
+              const element = node.parent.parent;
+              if (s.escapedName === jsxChildrenPropertyName && isJsxElement(element) && getSemanticJsxChildren(element.children).length) {
+                return false;
+              }
+              return !node.symbol.members.has(s.escapedName) && isDiscriminantProperty(contextualType, s.escapedName);
+            }),
+            (s) => [() => undefinedType, s.escapedName]
+          )
         ),
-        map(
-          filter(getPropertiesOfType(contextualType), (s) => {
-            var _a;
-            if (!(s.flags & 16777216 /* Optional */) || !((_a = node == null ? void 0 : node.symbol) == null ? void 0 : _a.members)) {
-              return false;
-            }
-            const element = node.parent.parent;
-            if (s.escapedName === jsxChildrenPropertyName && isJsxElement(element) && getSemanticJsxChildren(element.children).length) {
-              return false;
-            }
-            return !node.symbol.members.has(s.escapedName) && isDiscriminantProperty(contextualType, s.escapedName);
-          }),
-          (s) => [() => undefinedType, s.escapedName]
-        )
-      ),
-      isTypeAssignableTo
+        isTypeAssignableTo
+      )
     );
   }
   function getApparentTypeOfContextualType(node, contextFlags) {