@typescript-deploys/pr-build 5.8.0-pr-60434-6 → 5.9.0-pr-60898-5

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.20250222`;
 
 // 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}'."),
@@ -58572,7 +58573,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 +67514,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;
@@ -72343,50 +72344,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 +72358,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 +77255,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 +77271,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 +77970,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 +78065,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 +78079,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 +78842,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) {
@@ -84617,7 +84590,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 +85085,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 +85208,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 +85551,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 */:

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.20250222`;
 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}'."),
@@ -63182,7 +63183,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 +72124,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;
@@ -76953,50 +76954,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 +76968,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 +81865,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 +81881,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 +82580,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 +82675,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 +82689,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 +83452,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) {
@@ -89227,7 +89200,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 +89695,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 +89818,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 +90161,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 */:
@@ -144212,6 +144189,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 +164415,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 +170132,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 +173271,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 +181968,11 @@ var SmartIndenter;
           return false;
         }
         break;
+      case 258 /* TryStatement */:
+        if (childKind === 241 /* Block */) {
+          return false;
+        }
+        break;
     }
     return indentByDefault;
   }

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-60898-5",
   "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": {