typescript 5.9.0-dev.20250220 → 5.9.0-dev.20250222

package/lib/_tsc.js

@@ -18,7 +18,7 @@ and limitations under the License.
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.9";
-var version = `${versionMajorMinor}.0-dev.20250220`;
+var version = `${versionMajorMinor}.0-dev.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}'."),
@@ -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;
@@ -77254,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)
@@ -77270,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) {
@@ -77963,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) {
@@ -78058,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);
@@ -78072,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) {
@@ -78835,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) {
@@ -84568,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);
     }
@@ -85529,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.js

@@ -2285,7 +2285,7 @@ module.exports = __toCommonJS(typescript_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.9";
-var version = `${versionMajorMinor}.0-dev.20250220`;
+var version = `${versionMajorMinor}.0-dev.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}'."),
@@ -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;
@@ -81864,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)
@@ -81880,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) {
@@ -82573,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) {
@@ -82668,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);
@@ -82682,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) {
@@ -83445,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) {
@@ -89178,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);
     }
@@ -90139,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 */:
@@ -144165,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;
@@ -170107,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 */);
   }
@@ -173235,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);
       }));
     }
   }

package/package.json

@@ -2,7 +2,7 @@
     "name": "typescript",
     "author": "Microsoft Corp.",
     "homepage": "https://www.typescriptlang.org/",
-    "version": "5.9.0-dev.20250220",
+    "version": "5.9.0-dev.20250222",
     "license": "Apache-2.0",
     "description": "TypeScript is a language for application scale JavaScript development",
     "keywords": [
@@ -116,5 +116,5 @@
         "node": "20.1.0",
         "npm": "8.19.4"
     },
-    "gitHead": "3f416e0f527e8967ac2bd490dffe76034db57a26"
+    "gitHead": "1cd8e20f947513cc8c0c7c59e55b2f4524eff316"
 }