typescript 6.0.0-dev.20251210 → 6.0.0-dev.20251211

package/lib/_tsc.js

@@ -18,7 +18,7 @@ and limitations under the License.
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "6.0";
-var version = `${versionMajorMinor}.0-dev.20251210`;
+var version = `${versionMajorMinor}.0-dev.20251211`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -14267,12 +14267,15 @@ function forEachYieldExpression(body, visitor) {
   function traverse(node) {
     switch (node.kind) {
       case 230 /* YieldExpression */:
-        visitor(node);
+        const value = visitor(node);
+        if (value) {
+          return value;
+        }
         const operand = node.expression;
-        if (operand) {
-          traverse(operand);
+        if (!operand) {
+          return;
         }
-        return;
+        return traverse(operand);
       case 267 /* EnumDeclaration */:
       case 265 /* InterfaceDeclaration */:
       case 268 /* ModuleDeclaration */:
@@ -14281,11 +14284,10 @@ function forEachYieldExpression(body, visitor) {
       default:
         if (isFunctionLike(node)) {
           if (node.name && node.name.kind === 168 /* ComputedPropertyName */) {
-            traverse(node.name.expression);
-            return;
+            return traverse(node.name.expression);
           }
         } else if (!isPartOfTypeNode(node)) {
-          forEachChild(node, traverse);
+          return forEachChild(node, traverse);
         }
     }
   }
@@ -19129,7 +19131,7 @@ function hasContextSensitiveParameters(node) {
     if (node.kind !== 220 /* ArrowFunction */) {
       const parameter = firstOrUndefined(node.parameters);
       if (!(parameter && parameterIsThisKeyword(parameter))) {
-        return true;
+        return !!(node.flags & 256 /* ContainsThis */);
       }
     }
   }
@@ -42683,6 +42685,7 @@ function createBinder() {
       const saveExceptionTarget = currentExceptionTarget;
       const saveActiveLabelList = activeLabelList;
       const saveHasExplicitReturn = hasExplicitReturn;
+      const saveSeenThisKeyword = seenThisKeyword;
       const isImmediatelyInvoked = containerFlags & 16 /* IsFunctionExpression */ && !hasSyntacticModifier(node, 1024 /* Async */) && !node.asteriskToken && !!getImmediatelyInvokedFunctionExpression(node) || node.kind === 176 /* ClassStaticBlockDeclaration */;
       if (!isImmediatelyInvoked) {
         currentFlow = createFlowNode(
@@ -42702,13 +42705,17 @@ function createBinder() {
       currentContinueTarget = void 0;
       activeLabelList = void 0;
       hasExplicitReturn = false;
+      seenThisKeyword = false;
       bindChildren(node);
-      node.flags &= ~5632 /* ReachabilityAndEmitFlags */;
+      node.flags &= ~(5632 /* ReachabilityAndEmitFlags */ | 256 /* ContainsThis */);
       if (!(currentFlow.flags & 1 /* Unreachable */) && containerFlags & 8 /* IsFunctionLike */ && nodeIsPresent(node.body)) {
         node.flags |= 512 /* HasImplicitReturn */;
         if (hasExplicitReturn) node.flags |= 1024 /* HasExplicitReturn */;
         node.endFlowNode = currentFlow;
       }
+      if (seenThisKeyword) {
+        node.flags |= 256 /* ContainsThis */;
+      }
       if (node.kind === 308 /* SourceFile */) {
         node.flags |= emitFlags;
         node.endFlowNode = currentFlow;
@@ -42729,11 +42736,14 @@ function createBinder() {
       currentExceptionTarget = saveExceptionTarget;
       activeLabelList = saveActiveLabelList;
       hasExplicitReturn = saveHasExplicitReturn;
+      seenThisKeyword = node.kind === 220 /* ArrowFunction */ ? saveSeenThisKeyword || seenThisKeyword : saveSeenThisKeyword;
     } else if (containerFlags & 64 /* IsInterface */) {
+      const saveSeenThisKeyword = seenThisKeyword;
       seenThisKeyword = false;
       bindChildren(node);
       Debug.assertNotNode(node, isIdentifier);
       node.flags = seenThisKeyword ? node.flags | 256 /* ContainsThis */ : node.flags & ~256 /* ContainsThis */;
+      seenThisKeyword = saveSeenThisKeyword;
     } else {
       bindChildren(node);
     }
@@ -44213,6 +44223,9 @@ function createBinder() {
         }
       // falls through
       case 110 /* ThisKeyword */:
+        if (node.kind === 110 /* ThisKeyword */) {
+          seenThisKeyword = true;
+        }
         if (currentFlow && (isExpression(node) || parent.kind === 305 /* ShorthandPropertyAssignment */)) {
           node.flowNode = currentFlow;
         }
@@ -45080,6 +45093,8 @@ function getContainerFlags(node) {
     // falls through
     case 177 /* Constructor */:
     case 263 /* FunctionDeclaration */:
+    case 176 /* ClassStaticBlockDeclaration */:
+      return 1 /* IsContainer */ | 4 /* IsControlFlowContainer */ | 32 /* HasLocals */ | 8 /* IsFunctionLike */;
     case 174 /* MethodSignature */:
     case 180 /* CallSignature */:
     case 324 /* JSDocSignature */:
@@ -45087,17 +45102,14 @@ function getContainerFlags(node) {
     case 185 /* FunctionType */:
     case 181 /* ConstructSignature */:
     case 186 /* ConstructorType */:
-    case 176 /* ClassStaticBlockDeclaration */:
-      return 1 /* IsContainer */ | 4 /* IsControlFlowContainer */ | 32 /* HasLocals */ | 8 /* IsFunctionLike */;
+      return 1 /* IsContainer */ | 32 /* HasLocals */ | 8 /* IsFunctionLike */;
     case 352 /* JSDocImportTag */:
-      return 1 /* IsContainer */ | 4 /* IsControlFlowContainer */ | 32 /* HasLocals */;
+      return 1 /* IsContainer */ | 32 /* HasLocals */;
     case 219 /* FunctionExpression */:
     case 220 /* ArrowFunction */:
       return 1 /* IsContainer */ | 4 /* IsControlFlowContainer */ | 32 /* HasLocals */ | 8 /* IsFunctionLike */ | 16 /* IsFunctionExpression */;
     case 269 /* ModuleBlock */:
       return 4 /* IsControlFlowContainer */;
-    case 173 /* PropertyDeclaration */:
-      return node.initializer ? 4 /* IsControlFlowContainer */ : 0;
     case 300 /* CatchClause */:
     case 249 /* ForStatement */:
     case 250 /* ForInStatement */:
@@ -63710,7 +63722,8 @@ function createTypeChecker(host) {
         const { initializer } = node;
         return !!initializer && isContextSensitive(initializer);
       }
-      case 295 /* JsxExpression */: {
+      case 295 /* JsxExpression */:
+      case 230 /* YieldExpression */: {
         const { expression } = node;
         return !!expression && isContextSensitive(expression);
       }
@@ -63718,7 +63731,7 @@ function createTypeChecker(host) {
     return false;
   }
   function isContextSensitiveFunctionLikeDeclaration(node) {
-    return hasContextSensitiveParameters(node) || hasContextSensitiveReturnExpression(node);
+    return hasContextSensitiveParameters(node) || hasContextSensitiveReturnExpression(node) || hasContextSensitiveYieldExpression(node);
   }
   function hasContextSensitiveReturnExpression(node) {
     if (node.typeParameters || getEffectiveReturnTypeNode(node) || !node.body) {
@@ -63729,6 +63742,9 @@ function createTypeChecker(host) {
     }
     return !!forEachReturnStatement(node.body, (statement) => !!statement.expression && isContextSensitive(statement.expression));
   }
+  function hasContextSensitiveYieldExpression(node) {
+    return !!(getFunctionFlags(node) & 1 /* Generator */ && node.body && forEachYieldExpression(node.body, isContextSensitive));
+  }
   function isContextSensitiveFunctionOrObjectLiteralMethod(func) {
     return (isFunctionExpressionOrArrowFunction(func) || isObjectLiteralMethod(func)) && isContextSensitiveFunctionLikeDeclaration(func);
   }
@@ -73276,11 +73292,16 @@ function createTypeChecker(host) {
     if (contextualType && maybeTypeOfKind(contextualType, 465829888 /* Instantiable */)) {
       const inferenceContext = getInferenceContext(node);
       if (inferenceContext && contextFlags & 1 /* Signature */ && some(inferenceContext.inferences, hasInferenceCandidatesOrDefault)) {
-        return instantiateInstantiableTypes(contextualType, inferenceContext.nonFixingMapper);
+        const type = instantiateInstantiableTypes(contextualType, inferenceContext.nonFixingMapper);
+        if (!(type.flags & 3 /* AnyOrUnknown */)) {
+          return type;
+        }
       }
       if (inferenceContext == null ? void 0 : inferenceContext.returnMapper) {
         const type = instantiateInstantiableTypes(contextualType, inferenceContext.returnMapper);
-        return type.flags & 1048576 /* Union */ && containsType(type.types, regularFalseType) && containsType(type.types, regularTrueType) ? filterType(type, (t) => t !== regularFalseType && t !== regularTrueType) : type;
+        if (!(type.flags & 3 /* AnyOrUnknown */)) {
+          return type.flags & 1048576 /* Union */ && containsType(type.types, regularFalseType) && containsType(type.types, regularTrueType) ? filterType(type, (t) => t !== regularFalseType && t !== regularTrueType) : type;
+        }
       }
     }
     return contextualType;

package/lib/typescript.js

@@ -2286,7 +2286,7 @@ module.exports = __toCommonJS(typescript_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "6.0";
-var version = `${versionMajorMinor}.0-dev.20251210`;
+var version = `${versionMajorMinor}.0-dev.20251211`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -17972,12 +17972,15 @@ function forEachYieldExpression(body, visitor) {
   function traverse(node) {
     switch (node.kind) {
       case 230 /* YieldExpression */:
-        visitor(node);
+        const value = visitor(node);
+        if (value) {
+          return value;
+        }
         const operand = node.expression;
-        if (operand) {
-          traverse(operand);
+        if (!operand) {
+          return;
         }
-        return;
+        return traverse(operand);
       case 267 /* EnumDeclaration */:
       case 265 /* InterfaceDeclaration */:
       case 268 /* ModuleDeclaration */:
@@ -17986,11 +17989,10 @@ function forEachYieldExpression(body, visitor) {
       default:
         if (isFunctionLike(node)) {
           if (node.name && node.name.kind === 168 /* ComputedPropertyName */) {
-            traverse(node.name.expression);
-            return;
+            return traverse(node.name.expression);
           }
         } else if (!isPartOfTypeNode(node)) {
-          forEachChild(node, traverse);
+          return forEachChild(node, traverse);
         }
     }
   }
@@ -23137,7 +23139,7 @@ function hasContextSensitiveParameters(node) {
     if (node.kind !== 220 /* ArrowFunction */) {
       const parameter = firstOrUndefined(node.parameters);
       if (!(parameter && parameterIsThisKeyword(parameter))) {
-        return true;
+        return !!(node.flags & 256 /* ContainsThis */);
       }
     }
   }
@@ -47212,6 +47214,7 @@ function createBinder() {
       const saveExceptionTarget = currentExceptionTarget;
       const saveActiveLabelList = activeLabelList;
       const saveHasExplicitReturn = hasExplicitReturn;
+      const saveSeenThisKeyword = seenThisKeyword;
       const isImmediatelyInvoked = containerFlags & 16 /* IsFunctionExpression */ && !hasSyntacticModifier(node, 1024 /* Async */) && !node.asteriskToken && !!getImmediatelyInvokedFunctionExpression(node) || node.kind === 176 /* ClassStaticBlockDeclaration */;
       if (!isImmediatelyInvoked) {
         currentFlow = createFlowNode(
@@ -47231,13 +47234,17 @@ function createBinder() {
       currentContinueTarget = void 0;
       activeLabelList = void 0;
       hasExplicitReturn = false;
+      seenThisKeyword = false;
       bindChildren(node);
-      node.flags &= ~5632 /* ReachabilityAndEmitFlags */;
+      node.flags &= ~(5632 /* ReachabilityAndEmitFlags */ | 256 /* ContainsThis */);
       if (!(currentFlow.flags & 1 /* Unreachable */) && containerFlags & 8 /* IsFunctionLike */ && nodeIsPresent(node.body)) {
         node.flags |= 512 /* HasImplicitReturn */;
         if (hasExplicitReturn) node.flags |= 1024 /* HasExplicitReturn */;
         node.endFlowNode = currentFlow;
       }
+      if (seenThisKeyword) {
+        node.flags |= 256 /* ContainsThis */;
+      }
       if (node.kind === 308 /* SourceFile */) {
         node.flags |= emitFlags;
         node.endFlowNode = currentFlow;
@@ -47258,11 +47265,14 @@ function createBinder() {
       currentExceptionTarget = saveExceptionTarget;
       activeLabelList = saveActiveLabelList;
       hasExplicitReturn = saveHasExplicitReturn;
+      seenThisKeyword = node.kind === 220 /* ArrowFunction */ ? saveSeenThisKeyword || seenThisKeyword : saveSeenThisKeyword;
     } else if (containerFlags & 64 /* IsInterface */) {
+      const saveSeenThisKeyword = seenThisKeyword;
       seenThisKeyword = false;
       bindChildren(node);
       Debug.assertNotNode(node, isIdentifier);
       node.flags = seenThisKeyword ? node.flags | 256 /* ContainsThis */ : node.flags & ~256 /* ContainsThis */;
+      seenThisKeyword = saveSeenThisKeyword;
     } else {
       bindChildren(node);
     }
@@ -48742,6 +48752,9 @@ function createBinder() {
         }
       // falls through
       case 110 /* ThisKeyword */:
+        if (node.kind === 110 /* ThisKeyword */) {
+          seenThisKeyword = true;
+        }
         if (currentFlow && (isExpression(node) || parent2.kind === 305 /* ShorthandPropertyAssignment */)) {
           node.flowNode = currentFlow;
         }
@@ -49609,6 +49622,8 @@ function getContainerFlags(node) {
     // falls through
     case 177 /* Constructor */:
     case 263 /* FunctionDeclaration */:
+    case 176 /* ClassStaticBlockDeclaration */:
+      return 1 /* IsContainer */ | 4 /* IsControlFlowContainer */ | 32 /* HasLocals */ | 8 /* IsFunctionLike */;
     case 174 /* MethodSignature */:
     case 180 /* CallSignature */:
     case 324 /* JSDocSignature */:
@@ -49616,17 +49631,14 @@ function getContainerFlags(node) {
     case 185 /* FunctionType */:
     case 181 /* ConstructSignature */:
     case 186 /* ConstructorType */:
-    case 176 /* ClassStaticBlockDeclaration */:
-      return 1 /* IsContainer */ | 4 /* IsControlFlowContainer */ | 32 /* HasLocals */ | 8 /* IsFunctionLike */;
+      return 1 /* IsContainer */ | 32 /* HasLocals */ | 8 /* IsFunctionLike */;
     case 352 /* JSDocImportTag */:
-      return 1 /* IsContainer */ | 4 /* IsControlFlowContainer */ | 32 /* HasLocals */;
+      return 1 /* IsContainer */ | 32 /* HasLocals */;
     case 219 /* FunctionExpression */:
     case 220 /* ArrowFunction */:
       return 1 /* IsContainer */ | 4 /* IsControlFlowContainer */ | 32 /* HasLocals */ | 8 /* IsFunctionLike */ | 16 /* IsFunctionExpression */;
     case 269 /* ModuleBlock */:
       return 4 /* IsControlFlowContainer */;
-    case 173 /* PropertyDeclaration */:
-      return node.initializer ? 4 /* IsControlFlowContainer */ : 0;
     case 300 /* CatchClause */:
     case 249 /* ForStatement */:
     case 250 /* ForInStatement */:
@@ -68339,7 +68351,8 @@ function createTypeChecker(host) {
         const { initializer } = node;
         return !!initializer && isContextSensitive(initializer);
       }
-      case 295 /* JsxExpression */: {
+      case 295 /* JsxExpression */:
+      case 230 /* YieldExpression */: {
         const { expression } = node;
         return !!expression && isContextSensitive(expression);
       }
@@ -68347,7 +68360,7 @@ function createTypeChecker(host) {
     return false;
   }
   function isContextSensitiveFunctionLikeDeclaration(node) {
-    return hasContextSensitiveParameters(node) || hasContextSensitiveReturnExpression(node);
+    return hasContextSensitiveParameters(node) || hasContextSensitiveReturnExpression(node) || hasContextSensitiveYieldExpression(node);
   }
   function hasContextSensitiveReturnExpression(node) {
     if (node.typeParameters || getEffectiveReturnTypeNode(node) || !node.body) {
@@ -68358,6 +68371,9 @@ function createTypeChecker(host) {
     }
     return !!forEachReturnStatement(node.body, (statement) => !!statement.expression && isContextSensitive(statement.expression));
   }
+  function hasContextSensitiveYieldExpression(node) {
+    return !!(getFunctionFlags(node) & 1 /* Generator */ && node.body && forEachYieldExpression(node.body, isContextSensitive));
+  }
   function isContextSensitiveFunctionOrObjectLiteralMethod(func) {
     return (isFunctionExpressionOrArrowFunction(func) || isObjectLiteralMethod(func)) && isContextSensitiveFunctionLikeDeclaration(func);
   }
@@ -77905,11 +77921,16 @@ function createTypeChecker(host) {
     if (contextualType && maybeTypeOfKind(contextualType, 465829888 /* Instantiable */)) {
       const inferenceContext = getInferenceContext(node);
       if (inferenceContext && contextFlags & 1 /* Signature */ && some(inferenceContext.inferences, hasInferenceCandidatesOrDefault)) {
-        return instantiateInstantiableTypes(contextualType, inferenceContext.nonFixingMapper);
+        const type = instantiateInstantiableTypes(contextualType, inferenceContext.nonFixingMapper);
+        if (!(type.flags & 3 /* AnyOrUnknown */)) {
+          return type;
+        }
       }
       if (inferenceContext == null ? void 0 : inferenceContext.returnMapper) {
         const type = instantiateInstantiableTypes(contextualType, inferenceContext.returnMapper);
-        return type.flags & 1048576 /* Union */ && containsType(type.types, regularFalseType) && containsType(type.types, regularTrueType) ? filterType(type, (t) => t !== regularFalseType && t !== regularTrueType) : type;
+        if (!(type.flags & 3 /* AnyOrUnknown */)) {
+          return type.flags & 1048576 /* Union */ && containsType(type.types, regularFalseType) && containsType(type.types, regularTrueType) ? filterType(type, (t) => t !== regularFalseType && t !== regularTrueType) : type;
+        }
       }
     }
     return contextualType;

package/package.json

@@ -2,7 +2,7 @@
     "name": "typescript",
     "author": "Microsoft Corp.",
     "homepage": "https://www.typescriptlang.org/",
-    "version": "6.0.0-dev.20251210",
+    "version": "6.0.0-dev.20251211",
     "license": "Apache-2.0",
     "description": "TypeScript is a language for application scale JavaScript development",
     "keywords": [
@@ -115,5 +115,5 @@
         "node": "20.1.0",
         "npm": "8.19.4"
     },
-    "gitHead": "1da8266179589bbc977ccbd8712614ed5ddd3004"
+    "gitHead": "366da34ae60b458e97c880fedf33298d6842ddd6"
 }