@typescript-deploys/pr-build 5.8.0-pr-60434-6 → 5.9.0-pr-61291-4

package/lib/_tsc.js

@@ -17,8 +17,8 @@ and limitations under the License.
 "use strict";
 
 // src/compiler/corePublic.ts
-var versionMajorMinor = "5.8";
-var version = `${versionMajorMinor}.0-insiders.20250212`;
+var versionMajorMinor = "5.9";
+var version = `${versionMajorMinor}.0-insiders.20250228`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -6825,6 +6825,7 @@ var Diagnostics = {
   This_import_path_is_unsafe_to_rewrite_because_it_resolves_to_another_project_and_the_relative_path_between_the_projects_output_files_is_not_the_same_as_the_relative_path_between_its_input_files: diag(2878, 1 /* Error */, "This_import_path_is_unsafe_to_rewrite_because_it_resolves_to_another_project_and_the_relative_path_b_2878", "This import path is unsafe to rewrite because it resolves to another project, and the relative path between the projects' output files is not the same as the relative path between its input files."),
   Using_JSX_fragments_requires_fragment_factory_0_to_be_in_scope_but_it_could_not_be_found: diag(2879, 1 /* Error */, "Using_JSX_fragments_requires_fragment_factory_0_to_be_in_scope_but_it_could_not_be_found_2879", "Using JSX fragments requires fragment factory '{0}' to be in scope, but it could not be found."),
   Import_assertions_have_been_replaced_by_import_attributes_Use_with_instead_of_assert: diag(2880, 1 /* Error */, "Import_assertions_have_been_replaced_by_import_attributes_Use_with_instead_of_assert_2880", "Import assertions have been replaced by import attributes. Use 'with' instead of 'assert'."),
+  This_expression_is_never_nullish: diag(2881, 1 /* Error */, "This_expression_is_never_nullish_2881", "This expression is never nullish."),
   Import_declaration_0_is_using_private_name_1: diag(4e3, 1 /* Error */, "Import_declaration_0_is_using_private_name_1_4000", "Import declaration '{0}' is using private name '{1}'."),
   Type_parameter_0_of_exported_class_has_or_is_using_private_name_1: diag(4002, 1 /* Error */, "Type_parameter_0_of_exported_class_has_or_is_using_private_name_1_4002", "Type parameter '{0}' of exported class has or is using private name '{1}'."),
   Type_parameter_0_of_exported_interface_has_or_is_using_private_name_1: diag(4004, 1 /* Error */, "Type_parameter_0_of_exported_interface_has_or_is_using_private_name_1_4004", "Type parameter '{0}' of exported interface has or is using private name '{1}'."),
@@ -6936,6 +6937,7 @@ var Diagnostics = {
   One_value_of_0_1_is_the_string_2_and_the_other_is_assumed_to_be_an_unknown_numeric_value: diag(4126, 1 /* Error */, "One_value_of_0_1_is_the_string_2_and_the_other_is_assumed_to_be_an_unknown_numeric_value_4126", "One value of '{0}.{1}' is the string '{2}', and the other is assumed to be an unknown numeric value."),
   This_member_cannot_have_an_override_modifier_because_its_name_is_dynamic: diag(4127, 1 /* Error */, "This_member_cannot_have_an_override_modifier_because_its_name_is_dynamic_4127", "This member cannot have an 'override' modifier because its name is dynamic."),
   This_member_cannot_have_a_JSDoc_comment_with_an_override_tag_because_its_name_is_dynamic: diag(4128, 1 /* Error */, "This_member_cannot_have_a_JSDoc_comment_with_an_override_tag_because_its_name_is_dynamic_4128", "This member cannot have a JSDoc comment with an '@override' tag because its name is dynamic."),
+  Private_or_protected_member_0_cannot_be_accessed_via_indexed_access: diag(4129, 1 /* Error */, "Private_or_protected_member_0_cannot_be_accessed_via_indexed_access_4129", "Private or protected member '{0}' cannot be accessed via indexed access."),
   The_current_host_does_not_support_the_0_option: diag(5001, 1 /* Error */, "The_current_host_does_not_support_the_0_option_5001", "The current host does not support the '{0}' option."),
   Cannot_find_the_common_subdirectory_path_for_the_input_files: diag(5009, 1 /* Error */, "Cannot_find_the_common_subdirectory_path_for_the_input_files_5009", "Cannot find the common subdirectory path for the input files."),
   File_specification_cannot_end_in_a_recursive_directory_wildcard_Asterisk_Asterisk_Colon_0: diag(5010, 1 /* Error */, "File_specification_cannot_end_in_a_recursive_directory_wildcard_Asterisk_Asterisk_Colon_0_5010", "File specification cannot end in a recursive directory wildcard ('**'): '{0}'."),
@@ -50482,6 +50484,7 @@ function createTypeChecker(host) {
         const context = syntacticContext;
         if (context.bundled || context.enclosingFile !== getSourceFileOfNode(lit)) {
           let name = lit.text;
+          const originalName = name;
           const nodeSymbol = getNodeLinks(parent).resolvedSymbol;
           const meaning = parent.isTypeOf ? 111551 /* Value */ : 788968 /* Type */;
           const parentSymbol = nodeSymbol && isSymbolAccessible(
@@ -50511,7 +50514,9 @@ function createTypeChecker(host) {
               context.tracker.reportLikelyUnsafeImportRequiredError(name);
             }
           }
-          return name;
+          if (name !== originalName) {
+            return name;
+          }
         }
       },
       canReuseTypeNode(context, typeNode) {
@@ -52885,10 +52890,7 @@ function createTypeChecker(host) {
           /*context*/
           void 0
         );
-        if (updated !== node2) {
-          setTextRange2(context, updated, node2);
-        }
-        return updated;
+        return setTextRange2(context, updated, node2);
       }
     }
     function serializeTypeName(context, node, isTypeOf, typeArguments) {
@@ -55602,7 +55604,7 @@ function createTypeChecker(host) {
       if (reportErrors2) {
         reportErrorsFromWidening(declaration, type);
       }
-      if (type.flags & 8192 /* UniqueESSymbol */ && (isBindingElement(declaration) || !declaration.type) && type.symbol !== getSymbolOfDeclaration(declaration)) {
+      if (type.flags & 8192 /* UniqueESSymbol */ && (isBindingElement(declaration) || !tryGetTypeFromEffectiveTypeNode(declaration)) && type.symbol !== getSymbolOfDeclaration(declaration)) {
         type = esSymbolType;
       }
       return getWidenedType(type);
@@ -58572,7 +58574,7 @@ function createTypeChecker(host) {
       let hasThisParameter = false;
       const iife = getImmediatelyInvokedFunctionExpression(declaration);
       const isJSConstructSignature = isJSDocConstructSignature(declaration);
-      const isUntypedSignatureInJSFile = !iife && isInJSFile(declaration) && isValueSignatureDeclaration(declaration) && !hasJSDocParameterTags(declaration) && !getJSDocType(declaration);
+      const isUntypedSignatureInJSFile = !iife && isInJSFile(declaration) && isValueSignatureDeclaration(declaration) && !hasJSDocParameterTags(declaration) && !getJSDocType(declaration) && !getContextualSignatureForFunctionLikeDeclaration(declaration);
       if (isUntypedSignatureInJSFile) {
         flags |= 32 /* IsUntypedSignatureInJSFile */;
       }
@@ -67513,7 +67515,7 @@ function createTypeChecker(host) {
         value,
         /*roundTripOnly*/
         false
-      ) || target.flags & (512 /* BooleanLiteral */ | 98304 /* Nullable */) && value === target.intrinsicName || target.flags & 268435456 /* StringMapping */ && isMemberOfStringMapping(getStringLiteralType(value), target) || target.flags & 134217728 /* TemplateLiteral */ && isTypeMatchedByTemplateLiteralType(source, target));
+      ) || target.flags & (512 /* BooleanLiteral */ | 98304 /* Nullable */) && value === target.intrinsicName || target.flags & 268435456 /* StringMapping */ && isMemberOfStringMapping(source, target) || target.flags & 134217728 /* TemplateLiteral */ && isTypeMatchedByTemplateLiteralType(source, target));
     }
     if (source.flags & 134217728 /* TemplateLiteral */) {
       const texts = source.texts;
@@ -69701,7 +69703,7 @@ function createTypeChecker(host) {
       if (isBindingPattern(reference) || isFunctionExpressionOrArrowFunction(reference) || isObjectLiteralMethod(reference)) {
         if (isIdentifier(expr)) {
           const symbol = getResolvedSymbol(expr);
-          const declaration = symbol.valueDeclaration;
+          const declaration = getExportSymbolOfValueSymbolIfExported(symbol).valueDeclaration;
           if (declaration && (isBindingElement(declaration) || isParameter(declaration)) && reference === declaration.parent && !declaration.initializer && !declaration.dotDotDotToken) {
             return declaration;
           }
@@ -72343,50 +72345,6 @@ function createTypeChecker(host) {
       )
     );
   }
-  function discriminateContextualTypeByArrayElements(node, contextualType) {
-    const key = `D${getNodeId(node)},${getTypeId(contextualType)}`;
-    const cachedType = getCachedType(key);
-    if (cachedType) return cachedType;
-    const isIndexPropertyLike = (property) => /^[-+]?\d+$/.test(property.escapedName);
-    const hasIndexPropertyOutOfRange = (type, length2) => some(getPropertiesOfType(type), (p) => {
-      if (p.flags & 16777216 /* Optional */ || !isIndexPropertyLike(p)) return false;
-      const index = +p.escapedName;
-      return index < 0 || index >= length2;
-    });
-    const hasIndexPropertyInRange = (type, length2) => some(getPropertiesOfType(type), (p) => {
-      if (!isIndexPropertyLike(p)) return false;
-      const index = +p.escapedName;
-      return index >= 0 || index < length2;
-    });
-    const elementsLength = node.elements.length;
-    const filteredType = filterType(contextualType, (type) => {
-      if (isTupleType(type)) {
-        return elementsLength >= type.target.minLength && (!!(type.target.combinedFlags & 12 /* Variable */) || elementsLength <= type.target.fixedLength);
-      }
-      return !hasIndexPropertyOutOfRange(type, elementsLength);
-    });
-    if (filteredType.flags & 131072 /* Never */) return setCachedType(key, contextualType);
-    if (!(filteredType.flags & 1048576 /* Union */)) {
-      return setCachedType(
-        key,
-        isTupleType(filteredType) || hasIndexPropertyInRange(filteredType, elementsLength) ? filteredType : contextualType
-      );
-    }
-    return setCachedType(
-      key,
-      discriminateTypeByDiscriminableItems(
-        filteredType,
-        filter(
-          map(node.elements, (element, index) => {
-            const name = "" + index;
-            return isPossiblyDiscriminantValue(element) && isDiscriminantProperty(filteredType, name) ? [() => getContextFreeTypeOfExpression(element), name] : void 0;
-          }),
-          (discriminator) => !!discriminator
-        ),
-        isTypeAssignableTo
-      )
-    );
-  }
   function getApparentTypeOfContextualType(node, contextFlags) {
     const contextualType = isObjectLiteralMethod(node) ? getContextualTypeForObjectLiteralMethod(node, contextFlags) : getContextualType(node, contextFlags);
     const instantiatedType = instantiateContextualType(contextualType, node, contextFlags);
@@ -72401,12 +72359,7 @@ function createTypeChecker(host) {
         /*noReductions*/
         true
       );
-      if (apparentType.flags & 1048576 /* Union */) {
-        if (isObjectLiteralExpression(node)) return discriminateContextualTypeByObjectMembers(node, apparentType);
-        if (isJsxAttributes(node)) return discriminateContextualTypeByJSXAttributes(node, apparentType);
-        if (isArrayLiteralExpression(node)) return discriminateContextualTypeByArrayElements(node, apparentType);
-      }
-      return apparentType;
+      return apparentType.flags & 1048576 /* Union */ && isObjectLiteralExpression(node) ? discriminateContextualTypeByObjectMembers(node, apparentType) : apparentType.flags & 1048576 /* Union */ && isJsxAttributes(node) ? discriminateContextualTypeByJSXAttributes(node, apparentType) : apparentType;
     }
   }
   function instantiateContextualType(contextualType, node, contextFlags) {
@@ -77303,14 +77256,14 @@ function createTypeChecker(host) {
   function getTypeOfFirstParameterOfSignatureWithFallback(signature, fallbackType) {
     return signature.parameters.length > 0 ? getTypeAtPosition(signature, 0) : fallbackType;
   }
-  function inferFromAnnotatedParameters(signature, context, inferenceContext) {
+  function inferFromAnnotatedParametersAndReturn(signature, context, inferenceContext) {
     const len = signature.parameters.length - (signatureHasRestParameter(signature) ? 1 : 0);
     for (let i = 0; i < len; i++) {
       const declaration = signature.parameters[i].valueDeclaration;
-      const typeNode = getEffectiveTypeAnnotationNode(declaration);
-      if (typeNode) {
+      const typeNode2 = getEffectiveTypeAnnotationNode(declaration);
+      if (typeNode2) {
         const source = addOptionality(
-          getTypeFromTypeNode(typeNode),
+          getTypeFromTypeNode(typeNode2),
           /*isProperty*/
           false,
           isOptionalDeclaration(declaration)
@@ -77319,6 +77272,12 @@ function createTypeChecker(host) {
         inferTypes(inferenceContext.inferences, source, target);
       }
     }
+    const typeNode = signature.declaration && getEffectiveReturnTypeNode(signature.declaration);
+    if (typeNode) {
+      const source = getTypeFromTypeNode(typeNode);
+      const target = getReturnTypeOfSignature(context);
+      inferTypes(inferenceContext.inferences, source, target);
+    }
   }
   function assignContextualParameterTypes(signature, context) {
     if (context.typeParameters) {
@@ -78012,7 +77971,7 @@ function createTypeChecker(host) {
     const trueType2 = getFlowTypeOfReference(param.name, initType, initType, func, trueCondition);
     if (trueType2 === initType) return void 0;
     const falseCondition = createFlowNode(64 /* FalseCondition */, expr, antecedent);
-    const falseSubtype = getFlowTypeOfReference(param.name, initType, trueType2, func, falseCondition);
+    const falseSubtype = getReducedType(getFlowTypeOfReference(param.name, initType, trueType2, func, falseCondition));
     return falseSubtype.flags & 131072 /* Never */ ? trueType2 : void 0;
   }
   function checkAllCodePathsInNonVoidFunctionReturnOrThrow(func, returnType) {
@@ -78107,7 +78066,7 @@ function createTypeChecker(host) {
             const inferenceContext = getInferenceContext(node);
             let instantiatedContextualSignature;
             if (checkMode && checkMode & 2 /* Inferential */) {
-              inferFromAnnotatedParameters(signature, contextualSignature, inferenceContext);
+              inferFromAnnotatedParametersAndReturn(signature, contextualSignature, inferenceContext);
               const restType = getEffectiveRestType(contextualSignature);
               if (restType && restType.flags & 262144 /* TypeParameter */) {
                 instantiatedContextualSignature = instantiateSignature(contextualSignature, inferenceContext.nonFixingMapper);
@@ -78121,7 +78080,7 @@ function createTypeChecker(host) {
         } else if (contextualSignature && !node.typeParameters && contextualSignature.parameters.length > node.parameters.length) {
           const inferenceContext = getInferenceContext(node);
           if (checkMode && checkMode & 2 /* Inferential */) {
-            inferFromAnnotatedParameters(signature, contextualSignature, inferenceContext);
+            inferFromAnnotatedParametersAndReturn(signature, contextualSignature, inferenceContext);
           }
         }
         if (contextualSignature && !getReturnTypeFromAnnotation(node) && !signature.resolvedReturnType) {
@@ -78884,21 +78843,36 @@ function createTypeChecker(host) {
       if (isBinaryExpression(right) && (right.operatorToken.kind === 57 /* BarBarToken */ || right.operatorToken.kind === 56 /* AmpersandAmpersandToken */)) {
         grammarErrorOnNode(right, Diagnostics._0_and_1_operations_cannot_be_mixed_without_parentheses, tokenToString(right.operatorToken.kind), tokenToString(operatorToken.kind));
       }
-      const leftTarget = skipOuterExpressions(left, 63 /* All */);
-      const nullishSemantics = getSyntacticNullishnessSemantics(leftTarget);
-      if (nullishSemantics !== 3 /* Sometimes */) {
-        if (node.parent.kind === 226 /* BinaryExpression */) {
-          error(leftTarget, Diagnostics.This_binary_expression_is_never_nullish_Are_you_missing_parentheses);
-        } else {
-          if (nullishSemantics === 1 /* Always */) {
-            error(leftTarget, Diagnostics.This_expression_is_always_nullish);
-          } else {
-            error(leftTarget, Diagnostics.Right_operand_of_is_unreachable_because_the_left_operand_is_never_nullish);
-          }
-        }
+      checkNullishCoalesceOperandLeft(node);
+      checkNullishCoalesceOperandRight(node);
+    }
+  }
+  function checkNullishCoalesceOperandLeft(node) {
+    const leftTarget = skipOuterExpressions(node.left, 63 /* All */);
+    const nullishSemantics = getSyntacticNullishnessSemantics(leftTarget);
+    if (nullishSemantics !== 3 /* Sometimes */) {
+      if (nullishSemantics === 1 /* Always */) {
+        error(leftTarget, Diagnostics.This_expression_is_always_nullish);
+      } else {
+        error(leftTarget, Diagnostics.Right_operand_of_is_unreachable_because_the_left_operand_is_never_nullish);
       }
     }
   }
+  function checkNullishCoalesceOperandRight(node) {
+    const rightTarget = skipOuterExpressions(node.right, 63 /* All */);
+    const nullishSemantics = getSyntacticNullishnessSemantics(rightTarget);
+    if (isNotWithinNullishCoalesceExpression(node)) {
+      return;
+    }
+    if (nullishSemantics === 1 /* Always */) {
+      error(rightTarget, Diagnostics.This_expression_is_always_nullish);
+    } else if (nullishSemantics === 2 /* Never */) {
+      error(rightTarget, Diagnostics.This_expression_is_never_nullish);
+    }
+  }
+  function isNotWithinNullishCoalesceExpression(node) {
+    return !isBinaryExpression(node.parent) || node.parent.operatorToken.kind !== 61 /* QuestionQuestionToken */;
+  }
   function getSyntacticNullishnessSemantics(node) {
     node = skipOuterExpressions(node);
     switch (node.kind) {
@@ -80746,6 +80720,18 @@ function createTypeChecker(host) {
   }
   function checkIndexedAccessIndexType(type, accessNode) {
     if (!(type.flags & 8388608 /* IndexedAccess */)) {
+      if (isIndexedAccessTypeNode(accessNode)) {
+        const indexType2 = getTypeFromTypeNode(accessNode.indexType);
+        const objectType2 = getTypeFromTypeNode(accessNode.objectType);
+        const propertyName2 = getPropertyNameFromIndex(indexType2, accessNode);
+        if (propertyName2) {
+          const propertySymbol = forEachType(getApparentType(objectType2), (t) => getPropertyOfType(t, propertyName2));
+          if (propertySymbol && getDeclarationModifierFlagsFromSymbol(propertySymbol) & 6 /* NonPublicAccessibilityModifier */) {
+            error(accessNode, Diagnostics.Private_or_protected_member_0_cannot_be_accessed_via_indexed_access, unescapeLeadingUnderscores(propertyName2));
+            return errorType;
+          }
+        }
+      }
       return type;
     }
     const objectType = type.objectType;
@@ -80758,14 +80744,12 @@ function createTypeChecker(host) {
       }
       return type;
     }
-    if (isGenericObjectType(objectType)) {
-      const propertyName = getPropertyNameFromIndex(indexType, accessNode);
-      if (propertyName) {
-        const propertySymbol = forEachType(getApparentType(objectType), (t) => getPropertyOfType(t, propertyName));
-        if (propertySymbol && getDeclarationModifierFlagsFromSymbol(propertySymbol) & 6 /* NonPublicAccessibilityModifier */) {
-          error(accessNode, Diagnostics.Private_or_protected_member_0_cannot_be_accessed_on_a_type_parameter, unescapeLeadingUnderscores(propertyName));
-          return errorType;
-        }
+    const propertyName = getPropertyNameFromIndex(indexType, accessNode);
+    if (propertyName) {
+      const propertySymbol = forEachType(getApparentType(objectType), (t) => getPropertyOfType(t, propertyName));
+      if (propertySymbol && getDeclarationModifierFlagsFromSymbol(propertySymbol) & 6 /* NonPublicAccessibilityModifier */) {
+        error(accessNode, Diagnostics.Private_or_protected_member_0_cannot_be_accessed_on_a_type_parameter, unescapeLeadingUnderscores(propertyName));
+        return errorType;
       }
     }
     error(accessNode, Diagnostics.Type_0_cannot_be_used_to_index_type_1, typeToString(indexType), typeToString(objectType));
@@ -84617,7 +84601,7 @@ function createTypeChecker(host) {
     checkGrammarModifiers(node);
     checkCollisionsForDeclarationName(node, node.name);
     checkExportsOnMergedDeclarations(node);
-    node.members.forEach(checkEnumMember);
+    node.members.forEach(checkSourceElement);
     if (compilerOptions.erasableSyntaxOnly && !(node.flags & 33554432 /* Ambient */)) {
       error(node, Diagnostics.This_syntax_is_not_allowed_when_erasableSyntaxOnly_is_enabled);
     }
@@ -85112,11 +85096,10 @@ function createTypeChecker(host) {
       return;
     }
     checkGrammarModifiers(node);
-    const isImportEquals = isInternalModuleImportEqualsDeclaration(node);
-    if (compilerOptions.erasableSyntaxOnly && isImportEquals && !(node.flags & 33554432 /* Ambient */)) {
+    if (compilerOptions.erasableSyntaxOnly && !(node.flags & 33554432 /* Ambient */)) {
       error(node, Diagnostics.This_syntax_is_not_allowed_when_erasableSyntaxOnly_is_enabled);
     }
-    if (isImportEquals || checkExternalImportOrExportDeclaration(node)) {
+    if (isInternalModuleImportEqualsDeclaration(node) || checkExternalImportOrExportDeclaration(node)) {
       checkImportBinding(node);
       markLinkedReferences(node, 6 /* ExportImportEquals */);
       if (node.moduleReference.kind !== 283 /* ExternalModuleReference */) {
@@ -85236,6 +85219,9 @@ function createTypeChecker(host) {
     if (checkGrammarModuleElementContext(node, illegalContextMessage)) {
       return;
     }
+    if (compilerOptions.erasableSyntaxOnly && node.isExportEquals && !(node.flags & 33554432 /* Ambient */)) {
+      error(node, Diagnostics.This_syntax_is_not_allowed_when_erasableSyntaxOnly_is_enabled);
+    }
     const container = node.parent.kind === 307 /* SourceFile */ ? node.parent : node.parent.parent;
     if (container.kind === 267 /* ModuleDeclaration */ && !isAmbientModule(container)) {
       if (node.isExportEquals) {
@@ -85576,6 +85562,8 @@ function createTypeChecker(host) {
         return checkTypeAliasDeclaration(node);
       case 266 /* EnumDeclaration */:
         return checkEnumDeclaration(node);
+      case 306 /* EnumMember */:
+        return checkEnumMember(node);
       case 267 /* ModuleDeclaration */:
         return checkModuleDeclaration(node);
       case 272 /* ImportDeclaration */:
@@ -131909,9 +131897,11 @@ function createSyntacticTypeNodeBuilder(options, resolver) {
         if (!resolver.canReuseTypeNode(context, node)) {
           return resolver.serializeExistingTypeNode(context, node);
         }
+        const specifier = rewriteModuleSpecifier2(node, node.argument.literal);
+        const literal = specifier === node.argument.literal ? reuseNode(context, node.argument.literal) : specifier;
         return factory.updateImportTypeNode(
           node,
-          factory.updateLiteralTypeNode(node.argument, rewriteModuleSpecifier2(node, node.argument.literal)),
+          literal === node.argument.literal ? reuseNode(context, node.argument) : factory.createLiteralTypeNode(literal),
           visitNode(node.attributes, visitExistingNodeTreeSymbols, isImportAttributes),
           visitNode(node.qualifier, visitExistingNodeTreeSymbols, isEntityName),
           visitNodes2(node.typeArguments, visitExistingNodeTreeSymbols, isTypeNode),
@@ -132066,10 +132056,7 @@ function createSyntacticTypeNodeBuilder(options, resolver) {
       }
       function rewriteModuleSpecifier2(parent, lit) {
         const newName = resolver.getModuleSpecifierOverride(context, parent, lit);
-        if (newName) {
-          return setOriginalNode(factory.createStringLiteral(newName), lit);
-        }
-        return visitNode(lit, visitExistingNodeTreeSymbols, isStringLiteral);
+        return newName ? setOriginalNode(factory.createStringLiteral(newName), lit) : lit;
       }
     }
   }

package/lib/cs/diagnosticMessages.generated.json

@@ -1655,6 +1655,7 @@
   "This_condition_will_always_return_true_since_this_function_is_always_defined_Did_you_mean_to_call_it_2774": "Tato podmínka vždy vrátí hodnotu True, protože tato funkce je vždy definována. Chtěli jste ji místo toho nazvat?",
   "This_constructor_function_may_be_converted_to_a_class_declaration_80002": "Tato funkce konstruktoru se může převést na deklaraci třídy.",
   "This_expression_is_always_nullish_2871": "Tento výraz má vždy hodnotu null.",
+  "This_expression_is_never_nullish_2881": "Tento výraz nikdy nemá hodnotu null.",
   "This_expression_is_not_callable_2349": "Tento výraz se nedá zavolat.",
   "This_expression_is_not_callable_because_it_is_a_get_accessor_Did_you_mean_to_use_it_without_6234": "Tento výraz se nedá volat, protože je to přístupový objekt get. Nechtěli jste ho použít bez ()?",
   "This_expression_is_not_constructable_2351": "Tento výraz se nedá vytvořit.",

package/lib/de/diagnosticMessages.generated.json

@@ -1655,6 +1655,7 @@
   "This_condition_will_always_return_true_since_this_function_is_always_defined_Did_you_mean_to_call_it_2774": "Diese Bedingung gibt immer TRUE zurück, weil diese Funktion immer definiert ist. Möchten Sie sie stattdessen aufrufen?",
   "This_constructor_function_may_be_converted_to_a_class_declaration_80002": "Diese Konstruktorfunktion kann in eine Klassendeklaration konvertiert werden.",
   "This_expression_is_always_nullish_2871": "Dieser Ausdruck ist immer „NULLISH“.",
+  "This_expression_is_never_nullish_2881": "Dieser binäre Ausdruck ist nie „NULLISH“.",
   "This_expression_is_not_callable_2349": "Dieser Ausdruck kann nicht aufgerufen werden.",
   "This_expression_is_not_callable_because_it_is_a_get_accessor_Did_you_mean_to_use_it_without_6234": "Dieser Ausdruck kann nicht aufgerufen werden, weil es sich um eine get-Zugriffsmethode handelt. Möchten Sie den Wert ohne \"()\" verwenden?",
   "This_expression_is_not_constructable_2351": "Dieser Ausdruck kann nicht erstellt werden.",

package/lib/es/diagnosticMessages.generated.json

@@ -1655,6 +1655,7 @@
   "This_condition_will_always_return_true_since_this_function_is_always_defined_Did_you_mean_to_call_it_2774": "Esta condición siempre devolverá true, porque esta función se define siempre. ¿Pretendía llamarla en su lugar?",
   "This_constructor_function_may_be_converted_to_a_class_declaration_80002": "Esta función de constructor puede convertirse en una declaración de clase.",
   "This_expression_is_always_nullish_2871": "Esta expresión siempre acepta valores NULL.",
+  "This_expression_is_never_nullish_2881": "Esta expresión nunca es nula.",
   "This_expression_is_not_callable_2349": "No se puede llamar a esta expresión.",
   "This_expression_is_not_callable_because_it_is_a_get_accessor_Did_you_mean_to_use_it_without_6234": "No se puede llamar a esta expresión porque es un descriptor de acceso \"get\". ¿Pretendía usarlo sin \"()\"?",
   "This_expression_is_not_constructable_2351": "No se puede construir esta expresión.",

package/lib/fr/diagnosticMessages.generated.json

@@ -1655,6 +1655,7 @@
   "This_condition_will_always_return_true_since_this_function_is_always_defined_Did_you_mean_to_call_it_2774": "Cette condition retourne toujours true, car cette fonction est toujours définie. Est-ce que vous avez voulu l'appeler à la place ?",
   "This_constructor_function_may_be_converted_to_a_class_declaration_80002": "Cette fonction constructeur peut être convertie en déclaration de classe.",
   "This_expression_is_always_nullish_2871": "Cette expression est toujours nulle.",
+  "This_expression_is_never_nullish_2881": "Cette expression n’est jamais nulle.",
   "This_expression_is_not_callable_2349": "Impossible d'appeler cette expression.",
   "This_expression_is_not_callable_because_it_is_a_get_accessor_Did_you_mean_to_use_it_without_6234": "Impossible d'appeler cette expression, car il s'agit d'un accesseur 'get'. Voulez-vous vraiment l'utiliser sans '()' ?",
   "This_expression_is_not_constructable_2351": "Impossible de construire cette expression.",

package/lib/it/diagnosticMessages.generated.json

@@ -1655,6 +1655,7 @@
   "This_condition_will_always_return_true_since_this_function_is_always_defined_Did_you_mean_to_call_it_2774": "Questa condizione restituirà sempre true perché questa funzione è sempre definita. Si intendeva chiamarla?",
   "This_constructor_function_may_be_converted_to_a_class_declaration_80002": "Questa funzione del costruttore può essere convertita in una dichiarazione di classe.",
   "This_expression_is_always_nullish_2871": "Questa espressione è sempre nullish.",
+  "This_expression_is_never_nullish_2881": "Questa espressione non è mai null.",
   "This_expression_is_not_callable_2349": "Questa espressione non può essere chiamata.",
   "This_expression_is_not_callable_because_it_is_a_get_accessor_Did_you_mean_to_use_it_without_6234": "Non è possibile chiamare questa espressione perché è una funzione di accesso 'get'. Si intendeva usarla senza '()'?",
   "This_expression_is_not_constructable_2351": "Questa espressione non può essere costruita.",

package/lib/ja/diagnosticMessages.generated.json

@@ -1655,6 +1655,7 @@
   "This_condition_will_always_return_true_since_this_function_is_always_defined_Did_you_mean_to_call_it_2774": "この関数は常に定義されているため、この条件は常に true を返します。代わりにこれを呼び出すことを意図していましたか?",
   "This_constructor_function_may_be_converted_to_a_class_declaration_80002": "このコンストラクター関数はクラス宣言に変換される可能性があります。",
   "This_expression_is_always_nullish_2871": "この式は常に null です。",
+  "This_expression_is_never_nullish_2881": "この式が NULL 値になることはありません。",
   "This_expression_is_not_callable_2349": "この式は呼び出し可能ではありません。",
   "This_expression_is_not_callable_because_it_is_a_get_accessor_Did_you_mean_to_use_it_without_6234": "この式は 'get' アクセサーであるため、呼び出すことができません。'()' なしで使用しますか?",
   "This_expression_is_not_constructable_2351": "この式はコンストラクト可能ではありません。",

package/lib/ko/diagnosticMessages.generated.json

@@ -1655,6 +1655,7 @@
   "This_condition_will_always_return_true_since_this_function_is_always_defined_Did_you_mean_to_call_it_2774": "함수가 항상 정의되므로 이 조건은 항상 true를 반환합니다. 대신 호출하시겠어요?",
   "This_constructor_function_may_be_converted_to_a_class_declaration_80002": "이 생성자 함수는 클래스 선언으로 변환될 수 있습니다.",
   "This_expression_is_always_nullish_2871": "이 식은 항상 nullish입니다.",
+  "This_expression_is_never_nullish_2881": "이 표현식은 nullish가 되지 않습니다.",
   "This_expression_is_not_callable_2349": "이 식은 호출할 수 없습니다.",
   "This_expression_is_not_callable_because_it_is_a_get_accessor_Did_you_mean_to_use_it_without_6234": "이 식은 'get' 접근자이므로 호출할 수 없습니다. '()' 없이 사용하시겠습니까?",
   "This_expression_is_not_constructable_2351": "이 식은 생성할 수 없습니다.",

package/lib/lib.es2015.symbol.wellknown.d.ts

@@ -269,7 +269,7 @@ interface String {
 }
 
 interface ArrayBuffer {
-    readonly [Symbol.toStringTag]: string;
+    readonly [Symbol.toStringTag]: "ArrayBuffer";
 }
 
 interface DataView<TArrayBuffer extends ArrayBufferLike> {

package/lib/lib.es2017.sharedmemory.d.ts

@@ -29,13 +29,13 @@ interface SharedArrayBuffer {
      * Returns a section of an SharedArrayBuffer.
      */
     slice(begin?: number, end?: number): SharedArrayBuffer;
-    readonly [Symbol.species]: SharedArrayBuffer;
     readonly [Symbol.toStringTag]: "SharedArrayBuffer";
 }
 
 interface SharedArrayBufferConstructor {
     readonly prototype: SharedArrayBuffer;
     new (byteLength?: number): SharedArrayBuffer;
+    readonly [Symbol.species]: SharedArrayBufferConstructor;
 }
 declare var SharedArrayBuffer: SharedArrayBufferConstructor;
 

package/lib/pl/diagnosticMessages.generated.json

@@ -1655,6 +1655,7 @@
   "This_condition_will_always_return_true_since_this_function_is_always_defined_Did_you_mean_to_call_it_2774": "Ten warunek będzie zawsze zwracał wartość true, ponieważ funkcja jest zawsze zdefiniowana. Czy chcesz wywołać ją zamiast tego?",
   "This_constructor_function_may_be_converted_to_a_class_declaration_80002": "Ta funkcja konstruktora może zostać przekonwertowana na deklarację klasy.",
   "This_expression_is_always_nullish_2871": "To wyrażenie ma zawsze wartość null.",
+  "This_expression_is_never_nullish_2881": "To wyrażenie nigdy nie ma wartości null.",
   "This_expression_is_not_callable_2349": "To wyrażenie nie jest wywoływalne.",
   "This_expression_is_not_callable_because_it_is_a_get_accessor_Did_you_mean_to_use_it_without_6234": "Tego wyrażenia nie można wywoływać, ponieważ jest to metoda dostępu „get”. Czy chodziło Ci o użycie go bez znaków „()”?",
   "This_expression_is_not_constructable_2351": "Tego wyrażenia nie można skonstruować.",

package/lib/pt-br/diagnosticMessages.generated.json

@@ -1655,6 +1655,7 @@
   "This_condition_will_always_return_true_since_this_function_is_always_defined_Did_you_mean_to_call_it_2774": "Esta condição sempre retornará verdadeira, uma vez que esta função foi sempre definida. Você pretendia chamá-la em vez disso?",
   "This_constructor_function_may_be_converted_to_a_class_declaration_80002": "Esta função de construtor pode ser convertida em uma declaração de classe.",
   "This_expression_is_always_nullish_2871": "Essa expressão sempre é nula.",
+  "This_expression_is_never_nullish_2881": "Esta expressão nunca é nula.",
   "This_expression_is_not_callable_2349": "Essa expressão não pode ser chamada.",
   "This_expression_is_not_callable_because_it_is_a_get_accessor_Did_you_mean_to_use_it_without_6234": "Esta expressão não pode ser chamada porque é um acessador 'get'. Você quis usá-la sem '()'?",
   "This_expression_is_not_constructable_2351": "Essa expressão não pode ser construída.",

package/lib/ru/diagnosticMessages.generated.json

@@ -1655,6 +1655,7 @@
   "This_condition_will_always_return_true_since_this_function_is_always_defined_Did_you_mean_to_call_it_2774": "Это условие будет всегда возвращать значение true, поскольку функция всегда определена. Возможно, вы хотите вызвать ее?",
   "This_constructor_function_may_be_converted_to_a_class_declaration_80002": "Эту функцию конструктора можно преобразовать в объявление класса.",
   "This_expression_is_always_nullish_2871": "Это выражение всегда равно нулю.",
+  "This_expression_is_never_nullish_2881": "Это выражение никогда не принимает значение null.",
   "This_expression_is_not_callable_2349": "Это выражение не является вызываемым.",
   "This_expression_is_not_callable_because_it_is_a_get_accessor_Did_you_mean_to_use_it_without_6234": "Это выражение не может быть вызвано, так как оно является методом доступа get. Вы хотели использовать его без \"()\"?",
   "This_expression_is_not_constructable_2351": "Это выражение не может быть построено.",

package/lib/tr/diagnosticMessages.generated.json

@@ -1655,6 +1655,7 @@
   "This_condition_will_always_return_true_since_this_function_is_always_defined_Did_you_mean_to_call_it_2774": "İşlev her zaman tanımlı olduğundan bu koşul her zaman true döndürür. Bunun yerine işlevi çağırmayı mı istediniz?",
   "This_constructor_function_may_be_converted_to_a_class_declaration_80002": "Bu oluşturucu işlevi bir sınıf bildirimine dönüştürülebilir.",
   "This_expression_is_always_nullish_2871": "Bu ifade her zaman boş değerlidir.",
+  "This_expression_is_never_nullish_2881": "Bu ifade hiçbir zaman boş gibi değildir.",
   "This_expression_is_not_callable_2349": "Bu ifade çağrılabilir değil.",
   "This_expression_is_not_callable_because_it_is_a_get_accessor_Did_you_mean_to_use_it_without_6234": "Bu ifade 'get' erişimcisi olduğundan çağrılamaz. Bunu '()' olmadan mı kullanmak istiyorsunuz?",
   "This_expression_is_not_constructable_2351": "Bu ifade oluşturulabilir değil.",

package/lib/typescript.d.ts

@@ -3634,7 +3634,7 @@ declare namespace ts {
             readDirectory(rootDir: string, extensions: readonly string[], excludes: readonly string[] | undefined, includes: readonly string[] | undefined, depth?: number): string[];
         }
     }
-    const versionMajorMinor = "5.8";
+    const versionMajorMinor = "5.9";
     /** The version of the TypeScript compiler release */
     const version: string;
     /**

package/lib/typescript.js

@@ -2284,8 +2284,8 @@ __export(typescript_exports, {
 module.exports = __toCommonJS(typescript_exports);
 
 // src/compiler/corePublic.ts
-var versionMajorMinor = "5.8";
-var version = `${versionMajorMinor}.0-insiders.20250212`;
+var versionMajorMinor = "5.9";
+var version = `${versionMajorMinor}.0-insiders.20250228`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -10211,6 +10211,7 @@ var Diagnostics = {
   This_import_path_is_unsafe_to_rewrite_because_it_resolves_to_another_project_and_the_relative_path_between_the_projects_output_files_is_not_the_same_as_the_relative_path_between_its_input_files: diag(2878, 1 /* Error */, "This_import_path_is_unsafe_to_rewrite_because_it_resolves_to_another_project_and_the_relative_path_b_2878", "This import path is unsafe to rewrite because it resolves to another project, and the relative path between the projects' output files is not the same as the relative path between its input files."),
   Using_JSX_fragments_requires_fragment_factory_0_to_be_in_scope_but_it_could_not_be_found: diag(2879, 1 /* Error */, "Using_JSX_fragments_requires_fragment_factory_0_to_be_in_scope_but_it_could_not_be_found_2879", "Using JSX fragments requires fragment factory '{0}' to be in scope, but it could not be found."),
   Import_assertions_have_been_replaced_by_import_attributes_Use_with_instead_of_assert: diag(2880, 1 /* Error */, "Import_assertions_have_been_replaced_by_import_attributes_Use_with_instead_of_assert_2880", "Import assertions have been replaced by import attributes. Use 'with' instead of 'assert'."),
+  This_expression_is_never_nullish: diag(2881, 1 /* Error */, "This_expression_is_never_nullish_2881", "This expression is never nullish."),
   Import_declaration_0_is_using_private_name_1: diag(4e3, 1 /* Error */, "Import_declaration_0_is_using_private_name_1_4000", "Import declaration '{0}' is using private name '{1}'."),
   Type_parameter_0_of_exported_class_has_or_is_using_private_name_1: diag(4002, 1 /* Error */, "Type_parameter_0_of_exported_class_has_or_is_using_private_name_1_4002", "Type parameter '{0}' of exported class has or is using private name '{1}'."),
   Type_parameter_0_of_exported_interface_has_or_is_using_private_name_1: diag(4004, 1 /* Error */, "Type_parameter_0_of_exported_interface_has_or_is_using_private_name_1_4004", "Type parameter '{0}' of exported interface has or is using private name '{1}'."),
@@ -10322,6 +10323,7 @@ var Diagnostics = {
   One_value_of_0_1_is_the_string_2_and_the_other_is_assumed_to_be_an_unknown_numeric_value: diag(4126, 1 /* Error */, "One_value_of_0_1_is_the_string_2_and_the_other_is_assumed_to_be_an_unknown_numeric_value_4126", "One value of '{0}.{1}' is the string '{2}', and the other is assumed to be an unknown numeric value."),
   This_member_cannot_have_an_override_modifier_because_its_name_is_dynamic: diag(4127, 1 /* Error */, "This_member_cannot_have_an_override_modifier_because_its_name_is_dynamic_4127", "This member cannot have an 'override' modifier because its name is dynamic."),
   This_member_cannot_have_a_JSDoc_comment_with_an_override_tag_because_its_name_is_dynamic: diag(4128, 1 /* Error */, "This_member_cannot_have_a_JSDoc_comment_with_an_override_tag_because_its_name_is_dynamic_4128", "This member cannot have a JSDoc comment with an '@override' tag because its name is dynamic."),
+  Private_or_protected_member_0_cannot_be_accessed_via_indexed_access: diag(4129, 1 /* Error */, "Private_or_protected_member_0_cannot_be_accessed_via_indexed_access_4129", "Private or protected member '{0}' cannot be accessed via indexed access."),
   The_current_host_does_not_support_the_0_option: diag(5001, 1 /* Error */, "The_current_host_does_not_support_the_0_option_5001", "The current host does not support the '{0}' option."),
   Cannot_find_the_common_subdirectory_path_for_the_input_files: diag(5009, 1 /* Error */, "Cannot_find_the_common_subdirectory_path_for_the_input_files_5009", "Cannot find the common subdirectory path for the input files."),
   File_specification_cannot_end_in_a_recursive_directory_wildcard_Asterisk_Asterisk_Colon_0: diag(5010, 1 /* Error */, "File_specification_cannot_end_in_a_recursive_directory_wildcard_Asterisk_Asterisk_Colon_0_5010", "File specification cannot end in a recursive directory wildcard ('**'): '{0}'."),
@@ -55092,6 +55094,7 @@ function createTypeChecker(host) {
         const context = syntacticContext;
         if (context.bundled || context.enclosingFile !== getSourceFileOfNode(lit)) {
           let name = lit.text;
+          const originalName = name;
           const nodeSymbol = getNodeLinks(parent2).resolvedSymbol;
           const meaning = parent2.isTypeOf ? 111551 /* Value */ : 788968 /* Type */;
           const parentSymbol = nodeSymbol && isSymbolAccessible(
@@ -55121,7 +55124,9 @@ function createTypeChecker(host) {
               context.tracker.reportLikelyUnsafeImportRequiredError(name);
             }
           }
-          return name;
+          if (name !== originalName) {
+            return name;
+          }
         }
       },
       canReuseTypeNode(context, typeNode) {
@@ -57495,10 +57500,7 @@ function createTypeChecker(host) {
           /*context*/
           void 0
         );
-        if (updated !== node2) {
-          setTextRange2(context, updated, node2);
-        }
-        return updated;
+        return setTextRange2(context, updated, node2);
       }
     }
     function serializeTypeName(context, node, isTypeOf, typeArguments) {
@@ -60212,7 +60214,7 @@ function createTypeChecker(host) {
       if (reportErrors2) {
         reportErrorsFromWidening(declaration, type);
       }
-      if (type.flags & 8192 /* UniqueESSymbol */ && (isBindingElement(declaration) || !declaration.type) && type.symbol !== getSymbolOfDeclaration(declaration)) {
+      if (type.flags & 8192 /* UniqueESSymbol */ && (isBindingElement(declaration) || !tryGetTypeFromEffectiveTypeNode(declaration)) && type.symbol !== getSymbolOfDeclaration(declaration)) {
         type = esSymbolType;
       }
       return getWidenedType(type);
@@ -63182,7 +63184,7 @@ function createTypeChecker(host) {
       let hasThisParameter2 = false;
       const iife = getImmediatelyInvokedFunctionExpression(declaration);
       const isJSConstructSignature = isJSDocConstructSignature(declaration);
-      const isUntypedSignatureInJSFile = !iife && isInJSFile(declaration) && isValueSignatureDeclaration(declaration) && !hasJSDocParameterTags(declaration) && !getJSDocType(declaration);
+      const isUntypedSignatureInJSFile = !iife && isInJSFile(declaration) && isValueSignatureDeclaration(declaration) && !hasJSDocParameterTags(declaration) && !getJSDocType(declaration) && !getContextualSignatureForFunctionLikeDeclaration(declaration);
       if (isUntypedSignatureInJSFile) {
         flags |= 32 /* IsUntypedSignatureInJSFile */;
       }
@@ -72123,7 +72125,7 @@ function createTypeChecker(host) {
         value,
         /*roundTripOnly*/
         false
-      ) || target.flags & (512 /* BooleanLiteral */ | 98304 /* Nullable */) && value === target.intrinsicName || target.flags & 268435456 /* StringMapping */ && isMemberOfStringMapping(getStringLiteralType(value), target) || target.flags & 134217728 /* TemplateLiteral */ && isTypeMatchedByTemplateLiteralType(source, target));
+      ) || target.flags & (512 /* BooleanLiteral */ | 98304 /* Nullable */) && value === target.intrinsicName || target.flags & 268435456 /* StringMapping */ && isMemberOfStringMapping(source, target) || target.flags & 134217728 /* TemplateLiteral */ && isTypeMatchedByTemplateLiteralType(source, target));
     }
     if (source.flags & 134217728 /* TemplateLiteral */) {
       const texts = source.texts;
@@ -74311,7 +74313,7 @@ function createTypeChecker(host) {
       if (isBindingPattern(reference) || isFunctionExpressionOrArrowFunction(reference) || isObjectLiteralMethod(reference)) {
         if (isIdentifier(expr)) {
           const symbol = getResolvedSymbol(expr);
-          const declaration = symbol.valueDeclaration;
+          const declaration = getExportSymbolOfValueSymbolIfExported(symbol).valueDeclaration;
           if (declaration && (isBindingElement(declaration) || isParameter(declaration)) && reference === declaration.parent && !declaration.initializer && !declaration.dotDotDotToken) {
             return declaration;
           }
@@ -76953,50 +76955,6 @@ function createTypeChecker(host) {
       )
     );
   }
-  function discriminateContextualTypeByArrayElements(node, contextualType) {
-    const key = `D${getNodeId(node)},${getTypeId(contextualType)}`;
-    const cachedType = getCachedType(key);
-    if (cachedType) return cachedType;
-    const isIndexPropertyLike = (property) => /^[-+]?\d+$/.test(property.escapedName);
-    const hasIndexPropertyOutOfRange = (type, length2) => some(getPropertiesOfType(type), (p) => {
-      if (p.flags & 16777216 /* Optional */ || !isIndexPropertyLike(p)) return false;
-      const index = +p.escapedName;
-      return index < 0 || index >= length2;
-    });
-    const hasIndexPropertyInRange = (type, length2) => some(getPropertiesOfType(type), (p) => {
-      if (!isIndexPropertyLike(p)) return false;
-      const index = +p.escapedName;
-      return index >= 0 || index < length2;
-    });
-    const elementsLength = node.elements.length;
-    const filteredType = filterType(contextualType, (type) => {
-      if (isTupleType(type)) {
-        return elementsLength >= type.target.minLength && (!!(type.target.combinedFlags & 12 /* Variable */) || elementsLength <= type.target.fixedLength);
-      }
-      return !hasIndexPropertyOutOfRange(type, elementsLength);
-    });
-    if (filteredType.flags & 131072 /* Never */) return setCachedType(key, contextualType);
-    if (!(filteredType.flags & 1048576 /* Union */)) {
-      return setCachedType(
-        key,
-        isTupleType(filteredType) || hasIndexPropertyInRange(filteredType, elementsLength) ? filteredType : contextualType
-      );
-    }
-    return setCachedType(
-      key,
-      discriminateTypeByDiscriminableItems(
-        filteredType,
-        filter(
-          map(node.elements, (element, index) => {
-            const name = "" + index;
-            return isPossiblyDiscriminantValue(element) && isDiscriminantProperty(filteredType, name) ? [() => getContextFreeTypeOfExpression(element), name] : void 0;
-          }),
-          (discriminator) => !!discriminator
-        ),
-        isTypeAssignableTo
-      )
-    );
-  }
   function getApparentTypeOfContextualType(node, contextFlags) {
     const contextualType = isObjectLiteralMethod(node) ? getContextualTypeForObjectLiteralMethod(node, contextFlags) : getContextualType2(node, contextFlags);
     const instantiatedType = instantiateContextualType(contextualType, node, contextFlags);
@@ -77011,12 +76969,7 @@ function createTypeChecker(host) {
         /*noReductions*/
         true
       );
-      if (apparentType.flags & 1048576 /* Union */) {
-        if (isObjectLiteralExpression(node)) return discriminateContextualTypeByObjectMembers(node, apparentType);
-        if (isJsxAttributes(node)) return discriminateContextualTypeByJSXAttributes(node, apparentType);
-        if (isArrayLiteralExpression(node)) return discriminateContextualTypeByArrayElements(node, apparentType);
-      }
-      return apparentType;
+      return apparentType.flags & 1048576 /* Union */ && isObjectLiteralExpression(node) ? discriminateContextualTypeByObjectMembers(node, apparentType) : apparentType.flags & 1048576 /* Union */ && isJsxAttributes(node) ? discriminateContextualTypeByJSXAttributes(node, apparentType) : apparentType;
     }
   }
   function instantiateContextualType(contextualType, node, contextFlags) {
@@ -81913,14 +81866,14 @@ function createTypeChecker(host) {
   function getTypeOfFirstParameterOfSignatureWithFallback(signature, fallbackType) {
     return signature.parameters.length > 0 ? getTypeAtPosition(signature, 0) : fallbackType;
   }
-  function inferFromAnnotatedParameters(signature, context, inferenceContext) {
+  function inferFromAnnotatedParametersAndReturn(signature, context, inferenceContext) {
     const len = signature.parameters.length - (signatureHasRestParameter(signature) ? 1 : 0);
     for (let i = 0; i < len; i++) {
       const declaration = signature.parameters[i].valueDeclaration;
-      const typeNode = getEffectiveTypeAnnotationNode(declaration);
-      if (typeNode) {
+      const typeNode2 = getEffectiveTypeAnnotationNode(declaration);
+      if (typeNode2) {
         const source = addOptionality(
-          getTypeFromTypeNode(typeNode),
+          getTypeFromTypeNode(typeNode2),
           /*isProperty*/
           false,
           isOptionalDeclaration(declaration)
@@ -81929,6 +81882,12 @@ function createTypeChecker(host) {
         inferTypes(inferenceContext.inferences, source, target);
       }
     }
+    const typeNode = signature.declaration && getEffectiveReturnTypeNode(signature.declaration);
+    if (typeNode) {
+      const source = getTypeFromTypeNode(typeNode);
+      const target = getReturnTypeOfSignature(context);
+      inferTypes(inferenceContext.inferences, source, target);
+    }
   }
   function assignContextualParameterTypes(signature, context) {
     if (context.typeParameters) {
@@ -82622,7 +82581,7 @@ function createTypeChecker(host) {
     const trueType2 = getFlowTypeOfReference(param.name, initType, initType, func, trueCondition);
     if (trueType2 === initType) return void 0;
     const falseCondition = createFlowNode(64 /* FalseCondition */, expr, antecedent);
-    const falseSubtype = getFlowTypeOfReference(param.name, initType, trueType2, func, falseCondition);
+    const falseSubtype = getReducedType(getFlowTypeOfReference(param.name, initType, trueType2, func, falseCondition));
     return falseSubtype.flags & 131072 /* Never */ ? trueType2 : void 0;
   }
   function checkAllCodePathsInNonVoidFunctionReturnOrThrow(func, returnType) {
@@ -82717,7 +82676,7 @@ function createTypeChecker(host) {
             const inferenceContext = getInferenceContext(node);
             let instantiatedContextualSignature;
             if (checkMode && checkMode & 2 /* Inferential */) {
-              inferFromAnnotatedParameters(signature, contextualSignature, inferenceContext);
+              inferFromAnnotatedParametersAndReturn(signature, contextualSignature, inferenceContext);
               const restType = getEffectiveRestType(contextualSignature);
               if (restType && restType.flags & 262144 /* TypeParameter */) {
                 instantiatedContextualSignature = instantiateSignature(contextualSignature, inferenceContext.nonFixingMapper);
@@ -82731,7 +82690,7 @@ function createTypeChecker(host) {
         } else if (contextualSignature && !node.typeParameters && contextualSignature.parameters.length > node.parameters.length) {
           const inferenceContext = getInferenceContext(node);
           if (checkMode && checkMode & 2 /* Inferential */) {
-            inferFromAnnotatedParameters(signature, contextualSignature, inferenceContext);
+            inferFromAnnotatedParametersAndReturn(signature, contextualSignature, inferenceContext);
           }
         }
         if (contextualSignature && !getReturnTypeFromAnnotation(node) && !signature.resolvedReturnType) {
@@ -83494,21 +83453,36 @@ function createTypeChecker(host) {
       if (isBinaryExpression(right) && (right.operatorToken.kind === 57 /* BarBarToken */ || right.operatorToken.kind === 56 /* AmpersandAmpersandToken */)) {
         grammarErrorOnNode(right, Diagnostics._0_and_1_operations_cannot_be_mixed_without_parentheses, tokenToString(right.operatorToken.kind), tokenToString(operatorToken.kind));
       }
-      const leftTarget = skipOuterExpressions(left, 63 /* All */);
-      const nullishSemantics = getSyntacticNullishnessSemantics(leftTarget);
-      if (nullishSemantics !== 3 /* Sometimes */) {
-        if (node.parent.kind === 226 /* BinaryExpression */) {
-          error2(leftTarget, Diagnostics.This_binary_expression_is_never_nullish_Are_you_missing_parentheses);
-        } else {
-          if (nullishSemantics === 1 /* Always */) {
-            error2(leftTarget, Diagnostics.This_expression_is_always_nullish);
-          } else {
-            error2(leftTarget, Diagnostics.Right_operand_of_is_unreachable_because_the_left_operand_is_never_nullish);
-          }
-        }
+      checkNullishCoalesceOperandLeft(node);
+      checkNullishCoalesceOperandRight(node);
+    }
+  }
+  function checkNullishCoalesceOperandLeft(node) {
+    const leftTarget = skipOuterExpressions(node.left, 63 /* All */);
+    const nullishSemantics = getSyntacticNullishnessSemantics(leftTarget);
+    if (nullishSemantics !== 3 /* Sometimes */) {
+      if (nullishSemantics === 1 /* Always */) {
+        error2(leftTarget, Diagnostics.This_expression_is_always_nullish);
+      } else {
+        error2(leftTarget, Diagnostics.Right_operand_of_is_unreachable_because_the_left_operand_is_never_nullish);
       }
     }
   }
+  function checkNullishCoalesceOperandRight(node) {
+    const rightTarget = skipOuterExpressions(node.right, 63 /* All */);
+    const nullishSemantics = getSyntacticNullishnessSemantics(rightTarget);
+    if (isNotWithinNullishCoalesceExpression(node)) {
+      return;
+    }
+    if (nullishSemantics === 1 /* Always */) {
+      error2(rightTarget, Diagnostics.This_expression_is_always_nullish);
+    } else if (nullishSemantics === 2 /* Never */) {
+      error2(rightTarget, Diagnostics.This_expression_is_never_nullish);
+    }
+  }
+  function isNotWithinNullishCoalesceExpression(node) {
+    return !isBinaryExpression(node.parent) || node.parent.operatorToken.kind !== 61 /* QuestionQuestionToken */;
+  }
   function getSyntacticNullishnessSemantics(node) {
     node = skipOuterExpressions(node);
     switch (node.kind) {
@@ -85356,6 +85330,18 @@ function createTypeChecker(host) {
   }
   function checkIndexedAccessIndexType(type, accessNode) {
     if (!(type.flags & 8388608 /* IndexedAccess */)) {
+      if (isIndexedAccessTypeNode(accessNode)) {
+        const indexType2 = getTypeFromTypeNode(accessNode.indexType);
+        const objectType2 = getTypeFromTypeNode(accessNode.objectType);
+        const propertyName2 = getPropertyNameFromIndex(indexType2, accessNode);
+        if (propertyName2) {
+          const propertySymbol = forEachType(getApparentType(objectType2), (t) => getPropertyOfType(t, propertyName2));
+          if (propertySymbol && getDeclarationModifierFlagsFromSymbol(propertySymbol) & 6 /* NonPublicAccessibilityModifier */) {
+            error2(accessNode, Diagnostics.Private_or_protected_member_0_cannot_be_accessed_via_indexed_access, unescapeLeadingUnderscores(propertyName2));
+            return errorType;
+          }
+        }
+      }
       return type;
     }
     const objectType = type.objectType;
@@ -85368,14 +85354,12 @@ function createTypeChecker(host) {
       }
       return type;
     }
-    if (isGenericObjectType(objectType)) {
-      const propertyName = getPropertyNameFromIndex(indexType, accessNode);
-      if (propertyName) {
-        const propertySymbol = forEachType(getApparentType(objectType), (t) => getPropertyOfType(t, propertyName));
-        if (propertySymbol && getDeclarationModifierFlagsFromSymbol(propertySymbol) & 6 /* NonPublicAccessibilityModifier */) {
-          error2(accessNode, Diagnostics.Private_or_protected_member_0_cannot_be_accessed_on_a_type_parameter, unescapeLeadingUnderscores(propertyName));
-          return errorType;
-        }
+    const propertyName = getPropertyNameFromIndex(indexType, accessNode);
+    if (propertyName) {
+      const propertySymbol = forEachType(getApparentType(objectType), (t) => getPropertyOfType(t, propertyName));
+      if (propertySymbol && getDeclarationModifierFlagsFromSymbol(propertySymbol) & 6 /* NonPublicAccessibilityModifier */) {
+        error2(accessNode, Diagnostics.Private_or_protected_member_0_cannot_be_accessed_on_a_type_parameter, unescapeLeadingUnderscores(propertyName));
+        return errorType;
       }
     }
     error2(accessNode, Diagnostics.Type_0_cannot_be_used_to_index_type_1, typeToString(indexType), typeToString(objectType));
@@ -89227,7 +89211,7 @@ function createTypeChecker(host) {
     checkGrammarModifiers(node);
     checkCollisionsForDeclarationName(node, node.name);
     checkExportsOnMergedDeclarations(node);
-    node.members.forEach(checkEnumMember);
+    node.members.forEach(checkSourceElement);
     if (compilerOptions.erasableSyntaxOnly && !(node.flags & 33554432 /* Ambient */)) {
       error2(node, Diagnostics.This_syntax_is_not_allowed_when_erasableSyntaxOnly_is_enabled);
     }
@@ -89722,11 +89706,10 @@ function createTypeChecker(host) {
       return;
     }
     checkGrammarModifiers(node);
-    const isImportEquals = isInternalModuleImportEqualsDeclaration(node);
-    if (compilerOptions.erasableSyntaxOnly && isImportEquals && !(node.flags & 33554432 /* Ambient */)) {
+    if (compilerOptions.erasableSyntaxOnly && !(node.flags & 33554432 /* Ambient */)) {
       error2(node, Diagnostics.This_syntax_is_not_allowed_when_erasableSyntaxOnly_is_enabled);
     }
-    if (isImportEquals || checkExternalImportOrExportDeclaration(node)) {
+    if (isInternalModuleImportEqualsDeclaration(node) || checkExternalImportOrExportDeclaration(node)) {
       checkImportBinding(node);
       markLinkedReferences(node, 6 /* ExportImportEquals */);
       if (node.moduleReference.kind !== 283 /* ExternalModuleReference */) {
@@ -89846,6 +89829,9 @@ function createTypeChecker(host) {
     if (checkGrammarModuleElementContext(node, illegalContextMessage)) {
       return;
     }
+    if (compilerOptions.erasableSyntaxOnly && node.isExportEquals && !(node.flags & 33554432 /* Ambient */)) {
+      error2(node, Diagnostics.This_syntax_is_not_allowed_when_erasableSyntaxOnly_is_enabled);
+    }
     const container = node.parent.kind === 307 /* SourceFile */ ? node.parent : node.parent.parent;
     if (container.kind === 267 /* ModuleDeclaration */ && !isAmbientModule(container)) {
       if (node.isExportEquals) {
@@ -90186,6 +90172,8 @@ function createTypeChecker(host) {
         return checkTypeAliasDeclaration(node);
       case 266 /* EnumDeclaration */:
         return checkEnumDeclaration(node);
+      case 306 /* EnumMember */:
+        return checkEnumMember(node);
       case 267 /* ModuleDeclaration */:
         return checkModuleDeclaration(node);
       case 272 /* ImportDeclaration */:
@@ -136876,9 +136864,11 @@ function createSyntacticTypeNodeBuilder(options, resolver) {
         if (!resolver.canReuseTypeNode(context, node)) {
           return resolver.serializeExistingTypeNode(context, node);
         }
+        const specifier = rewriteModuleSpecifier2(node, node.argument.literal);
+        const literal = specifier === node.argument.literal ? reuseNode(context, node.argument.literal) : specifier;
         return factory.updateImportTypeNode(
           node,
-          factory.updateLiteralTypeNode(node.argument, rewriteModuleSpecifier2(node, node.argument.literal)),
+          literal === node.argument.literal ? reuseNode(context, node.argument) : factory.createLiteralTypeNode(literal),
           visitNode(node.attributes, visitExistingNodeTreeSymbols, isImportAttributes),
           visitNode(node.qualifier, visitExistingNodeTreeSymbols, isEntityName),
           visitNodes2(node.typeArguments, visitExistingNodeTreeSymbols, isTypeNode),
@@ -137033,10 +137023,7 @@ function createSyntacticTypeNodeBuilder(options, resolver) {
       }
       function rewriteModuleSpecifier2(parent2, lit) {
         const newName = resolver.getModuleSpecifierOverride(context, parent2, lit);
-        if (newName) {
-          return setOriginalNode(factory.createStringLiteral(newName), lit);
-        }
-        return visitNode(lit, visitExistingNodeTreeSymbols, isStringLiteral);
+        return newName ? setOriginalNode(factory.createStringLiteral(newName), lit) : lit;
       }
     }
   }
@@ -144212,6 +144199,7 @@ function computeSuggestionDiagnostics(sourceFile, program, cancellationToken) {
   if (getAllowSyntheticDefaultImports(program.getCompilerOptions())) {
     for (const moduleSpecifier of sourceFile.imports) {
       const importNode = importFromModuleSpecifier(moduleSpecifier);
+      if (isImportEqualsDeclaration(importNode) && hasSyntacticModifier(importNode, 32 /* Export */)) continue;
       const name = importNameForConvertToDefaultImport(importNode);
       if (!name) continue;
       const module2 = (_a = program.getResolvedModuleFromModuleSpecifier(moduleSpecifier, sourceFile)) == null ? void 0 : _a.resolvedModule;
@@ -164437,10 +164425,14 @@ function typeNodeToAutoImportableTypeNode(typeNode, importAdder, scriptTarget) {
   return getSynthesizedDeepClone(typeNode);
 }
 function endOfRequiredTypeParameters(checker, type) {
+  var _a;
   Debug.assert(type.typeArguments);
   const fullTypeArguments = type.typeArguments;
   const target = type.target;
   for (let cutoff = 0; cutoff < fullTypeArguments.length; cutoff++) {
+    if (((_a = target.localTypeParameters) == null ? void 0 : _a[cutoff].constraint) === void 0) {
+      continue;
+    }
     const typeArguments = fullTypeArguments.slice(0, cutoff);
     const filledIn = checker.fillMissingTypeArguments(
       typeArguments,
@@ -170150,6 +170142,17 @@ function getStringLiteralCompletionEntries(sourceFile, node, position, program,
       const existing = new Set(namedImportsOrExports.elements.map((n) => moduleExportNameTextEscaped(n.propertyName || n.name)));
       const uniques = exports2.filter((e) => e.escapedName !== "default" /* Default */ && !existing.has(e.escapedName));
       return { kind: 1 /* Properties */, symbols: uniques, hasIndexSignature: false };
+    case 226 /* BinaryExpression */:
+      if (parent2.operatorToken.kind === 103 /* InKeyword */) {
+        const type = typeChecker.getTypeAtLocation(parent2.right);
+        const properties = type.isUnion() ? typeChecker.getAllPossiblePropertiesOfTypes(type.types) : type.getApparentProperties();
+        return {
+          kind: 1 /* Properties */,
+          symbols: properties.filter((prop) => !prop.valueDeclaration || !isPrivateIdentifierClassElementDeclaration(prop.valueDeclaration)),
+          hasIndexSignature: false
+        };
+      }
+      return fromContextualType(0 /* None */);
     default:
       return fromContextualType() || fromContextualType(0 /* None */);
   }
@@ -173278,8 +173281,8 @@ var Core;
       if (!(symbol2.flags & (32 /* Class */ | 64 /* Interface */)) || !addToSeen(seen, symbol2)) return;
       return firstDefined(symbol2.declarations, (declaration) => firstDefined(getAllSuperTypeNodes(declaration), (typeReference) => {
         const type = checker.getTypeAtLocation(typeReference);
-        const propertySymbol = type && type.symbol && checker.getPropertyOfType(type, propertyName);
-        return type && propertySymbol && (firstDefined(checker.getRootSymbols(propertySymbol), cb) || recur(type.symbol));
+        const propertySymbol = type.symbol && checker.getPropertyOfType(type, propertyName);
+        return propertySymbol && firstDefined(checker.getRootSymbols(propertySymbol), cb) || type.symbol && recur(type.symbol);
       }));
     }
   }
@@ -181975,6 +181978,11 @@ var SmartIndenter;
           return false;
         }
         break;
+      case 258 /* TryStatement */:
+        if (childKind === 241 /* Block */) {
+          return false;
+        }
+        break;
     }
     return indentByDefault;
   }

package/lib/zh-cn/diagnosticMessages.generated.json

@@ -1655,6 +1655,7 @@
   "This_condition_will_always_return_true_since_this_function_is_always_defined_Did_you_mean_to_call_it_2774": "此条件将始终返回 true，因为始终定义了函数。你是想改为调用它吗?",
   "This_constructor_function_may_be_converted_to_a_class_declaration_80002": "此构造函数可能会转换为类声明。",
   "This_expression_is_always_nullish_2871": "此表达式始终为 null。",
+  "This_expression_is_never_nullish_2881": "此表达式从不为 null。",
   "This_expression_is_not_callable_2349": "此表达式不可调用。",
   "This_expression_is_not_callable_because_it_is_a_get_accessor_Did_you_mean_to_use_it_without_6234": "此表达式是 \"get\" 访问器，因此不可调用。你想在不使用 \"()\" 的情况下使用它吗?",
   "This_expression_is_not_constructable_2351": "此表达式不可构造。",

package/lib/zh-tw/diagnosticMessages.generated.json

@@ -1655,6 +1655,7 @@
   "This_condition_will_always_return_true_since_this_function_is_always_defined_Did_you_mean_to_call_it_2774": "因為永遠會定義此函式，所以此條件永遠會傳回 true。您是要改為呼叫該條件嗎?",
   "This_constructor_function_may_be_converted_to_a_class_declaration_80002": "此建構函式可轉換為類別宣告。",
   "This_expression_is_always_nullish_2871": "此運算式一律為 nullish.",
+  "This_expression_is_never_nullish_2881": "此運算式一律不會是 nullish。",
   "This_expression_is_not_callable_2349": "無法呼叫此運算式。",
   "This_expression_is_not_callable_because_it_is_a_get_accessor_Did_you_mean_to_use_it_without_6234": "因為此運算式為 'get' 存取子，所以無法呼叫。要在沒有 '()' 的情況下，使用該運算式嗎?",
   "This_expression_is_not_constructable_2351": "無法建構此運算式。",

package/package.json

@@ -2,7 +2,7 @@
   "name": "@typescript-deploys/pr-build",
   "author": "Microsoft Corp.",
   "homepage": "https://www.typescriptlang.org/",
-  "version": "5.8.0-pr-60434-6",
+  "version": "5.9.0-pr-61291-4",
   "license": "Apache-2.0",
   "description": "TypeScript is a language for application scale JavaScript development",
   "keywords": [
@@ -40,48 +40,48 @@
   ],
   "devDependencies": {
     "@dprint/formatter": "^0.4.1",
-    "@dprint/typescript": "0.93.3",
+    "@dprint/typescript": "0.93.4",
     "@esfx/canceltoken": "^1.0.0",
-    "@eslint/js": "^9.17.0",
-    "@octokit/rest": "^21.0.2",
+    "@eslint/js": "^9.20.0",
+    "@octokit/rest": "^21.1.1",
     "@types/chai": "^4.3.20",
-    "@types/diff": "^5.2.3",
+    "@types/diff": "^7.0.1",
     "@types/minimist": "^1.2.5",
     "@types/mocha": "^10.0.10",
     "@types/ms": "^0.7.34",
     "@types/node": "latest",
     "@types/source-map-support": "^0.5.10",
     "@types/which": "^3.0.4",
-    "@typescript-eslint/rule-tester": "^8.18.1",
-    "@typescript-eslint/type-utils": "^8.18.1",
-    "@typescript-eslint/utils": "^8.18.1",
+    "@typescript-eslint/rule-tester": "^8.24.1",
+    "@typescript-eslint/type-utils": "^8.24.1",
+    "@typescript-eslint/utils": "^8.24.1",
     "azure-devops-node-api": "^14.1.0",
     "c8": "^10.1.3",
     "chai": "^4.5.0",
-    "chalk": "^4.1.2",
-    "chokidar": "^3.6.0",
-    "diff": "^5.2.0",
-    "dprint": "^0.47.6",
+    "chokidar": "^4.0.3",
+    "diff": "^7.0.0",
+    "dprint": "^0.49.0",
     "esbuild": "^0.25.0",
-    "eslint": "^9.17.0",
+    "eslint": "^9.20.1",
     "eslint-formatter-autolinkable-stylish": "^1.4.0",
     "eslint-plugin-regexp": "^2.7.0",
-    "fast-xml-parser": "^4.5.1",
+    "fast-xml-parser": "^4.5.2",
     "glob": "^10.4.5",
-    "globals": "^15.13.0",
+    "globals": "^15.15.0",
     "hereby": "^1.10.0",
     "jsonc-parser": "^3.3.1",
-    "knip": "^5.41.0",
+    "knip": "^5.44.4",
     "minimist": "^1.2.8",
     "mocha": "^10.8.2",
     "mocha-fivemat-progress-reporter": "^0.1.0",
-    "monocart-coverage-reports": "^2.11.4",
+    "monocart-coverage-reports": "^2.12.1",
     "ms": "^2.1.3",
-    "playwright": "^1.49.1",
+    "picocolors": "^1.1.1",
+    "playwright": "^1.50.1",
     "source-map-support": "^0.5.21",
     "tslib": "^2.8.1",
-    "typescript": "^5.7.2",
-    "typescript-eslint": "^8.18.1",
+    "typescript": "^5.7.3",
+    "typescript-eslint": "^8.24.1",
     "which": "^3.0.1"
   },
   "overrides": {