typescript 5.9.0-dev.20250219 → 5.9.0-dev.20250221

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.20250219`;
+var version = `${versionMajorMinor}.0-dev.20250221`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -58572,7 +58572,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 +67513,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 +77254,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 +77270,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 +77969,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 +78064,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 +78078,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) {
@@ -84568,7 +84574,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 +85535,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.20250219`;
+var version = `${versionMajorMinor}.0-dev.20250221`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -63182,7 +63182,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 +72123,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 +81864,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 +81880,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 +82579,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 +82674,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 +82688,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) {
@@ -89178,7 +89184,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 +90145,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 */:
@@ -164390,10 +164398,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,
@@ -170103,6 +170115,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 */);
   }

package/package.json

@@ -2,7 +2,7 @@
     "name": "typescript",
     "author": "Microsoft Corp.",
     "homepage": "https://www.typescriptlang.org/",
-    "version": "5.9.0-dev.20250219",
+    "version": "5.9.0-dev.20250221",
     "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": {
@@ -116,5 +116,5 @@
         "node": "20.1.0",
         "npm": "8.19.4"
     },
-    "gitHead": "246507f7f90e08a330fc9f63c1b11c2e706d9193"
+    "gitHead": "b95187d1ce2368a93a51b31c0cd11f5ba2557627"
 }