typescript 6.0.0-dev.20251209 → 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.20251209`;
+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 */);
       }
     }
   }
@@ -40023,7 +40025,7 @@ function resolveTypeReferenceDirective(typeReferenceDirectiveName, containingFil
   const affectingLocations = [];
   let features = getNodeResolutionFeatures(options);
   if (resolutionMode !== void 0) {
-    features |= 30 /* AllFeatures */;
+    features |= 94 /* AllFeatures */;
   }
   const moduleResolution = getEmitModuleResolutionKind(options);
   if (resolutionMode === 99 /* ESNext */ && (3 /* Node16 */ <= moduleResolution && moduleResolution <= 99 /* NodeNext */)) {
@@ -40178,10 +40180,10 @@ function getNodeResolutionFeatures(options) {
       features = 30 /* Node16Default */;
       break;
     case 99 /* NodeNext */:
-      features = 30 /* NodeNextDefault */;
+      features = 94 /* NodeNextDefault */;
       break;
     case 100 /* Bundler */:
-      features = 30 /* BundlerDefault */;
+      features = 94 /* BundlerDefault */;
       break;
   }
   if (options.resolvePackageJsonExports) {
@@ -40764,7 +40766,7 @@ function node16ModuleNameResolver(moduleName, containingFile, compilerOptions, h
 }
 function nodeNextModuleNameResolver(moduleName, containingFile, compilerOptions, host, cache, redirectedReference, resolutionMode) {
   return nodeNextModuleNameResolverWorker(
-    30 /* NodeNextDefault */,
+    94 /* NodeNextDefault */,
     moduleName,
     containingFile,
     compilerOptions,
@@ -40843,11 +40845,11 @@ function nodeModuleNameResolver(moduleName, containingFile, compilerOptions, hos
   } else {
     extensions = getResolveJsonModule(compilerOptions) ? 1 /* TypeScript */ | 2 /* JavaScript */ | 4 /* Declaration */ | 8 /* Json */ : 1 /* TypeScript */ | 2 /* JavaScript */ | 4 /* Declaration */;
   }
-  return nodeModuleNameResolverWorker(conditions ? 30 /* AllFeatures */ : 0 /* None */, moduleName, getDirectoryPath(containingFile), compilerOptions, host, cache, extensions, !!isConfigLookup, redirectedReference, conditions);
+  return nodeModuleNameResolverWorker(conditions ? 94 /* AllFeatures */ : 0 /* None */, moduleName, getDirectoryPath(containingFile), compilerOptions, host, cache, extensions, !!isConfigLookup, redirectedReference, conditions);
 }
 function nodeNextJsonConfigResolver(moduleName, containingFile, host) {
   return nodeModuleNameResolverWorker(
-    30 /* NodeNextDefault */,
+    94 /* NodeNextDefault */,
     moduleName,
     getDirectoryPath(containingFile),
     { moduleResolution: 99 /* NodeNext */ },
@@ -40920,7 +40922,7 @@ function nodeModuleNameResolverWorker(features, moduleName, containingDirectory,
       const diagnosticState = {
         ...state,
         compilerOptions: diagnosticsCompilerOptions,
-        features: 30 /* BundlerDefault */,
+        features: 94 /* BundlerDefault */,
         conditions: getConditions(diagnosticsCompilerOptions),
         reportDiagnostic: noop
       };
@@ -41456,7 +41458,7 @@ function loadModuleFromExports(scope, extensions, subpath, state, cache, redirec
 }
 function loadModuleFromImports(extensions, moduleName, directory, state, cache, redirectedReference) {
   var _a, _b;
-  if (moduleName === "#" || startsWith(moduleName, "#/")) {
+  if (moduleName === "#" || startsWith(moduleName, "#/") && !(state.features & 64 /* ImportsPatternRoot */)) {
     if (state.traceEnabled) {
       trace(state.host, Diagnostics.Invalid_import_specifier_0_has_no_possible_resolutions, moduleName);
     }
@@ -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.20251209`;
+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 */);
       }
     }
   }
@@ -44381,7 +44383,7 @@ function resolveTypeReferenceDirective(typeReferenceDirectiveName, containingFil
   const affectingLocations = [];
   let features = getNodeResolutionFeatures(options);
   if (resolutionMode !== void 0) {
-    features |= 30 /* AllFeatures */;
+    features |= 94 /* AllFeatures */;
   }
   const moduleResolution = getEmitModuleResolutionKind(options);
   if (resolutionMode === 99 /* ESNext */ && (3 /* Node16 */ <= moduleResolution && moduleResolution <= 99 /* NodeNext */)) {
@@ -44536,10 +44538,10 @@ function getNodeResolutionFeatures(options) {
       features = 30 /* Node16Default */;
       break;
     case 99 /* NodeNext */:
-      features = 30 /* NodeNextDefault */;
+      features = 94 /* NodeNextDefault */;
       break;
     case 100 /* Bundler */:
-      features = 30 /* BundlerDefault */;
+      features = 94 /* BundlerDefault */;
       break;
   }
   if (options.resolvePackageJsonExports) {
@@ -45139,10 +45141,11 @@ var NodeResolutionFeatures = /* @__PURE__ */ ((NodeResolutionFeatures2) => {
   NodeResolutionFeatures2[NodeResolutionFeatures2["SelfName"] = 4] = "SelfName";
   NodeResolutionFeatures2[NodeResolutionFeatures2["Exports"] = 8] = "Exports";
   NodeResolutionFeatures2[NodeResolutionFeatures2["ExportsPatternTrailers"] = 16] = "ExportsPatternTrailers";
-  NodeResolutionFeatures2[NodeResolutionFeatures2["AllFeatures"] = 30] = "AllFeatures";
+  NodeResolutionFeatures2[NodeResolutionFeatures2["ImportsPatternRoot"] = 64] = "ImportsPatternRoot";
+  NodeResolutionFeatures2[NodeResolutionFeatures2["AllFeatures"] = 94] = "AllFeatures";
   NodeResolutionFeatures2[NodeResolutionFeatures2["Node16Default"] = 30] = "Node16Default";
-  NodeResolutionFeatures2[NodeResolutionFeatures2["NodeNextDefault"] = 30 /* AllFeatures */] = "NodeNextDefault";
-  NodeResolutionFeatures2[NodeResolutionFeatures2["BundlerDefault"] = 30] = "BundlerDefault";
+  NodeResolutionFeatures2[NodeResolutionFeatures2["NodeNextDefault"] = 94 /* AllFeatures */] = "NodeNextDefault";
+  NodeResolutionFeatures2[NodeResolutionFeatures2["BundlerDefault"] = 94] = "BundlerDefault";
   NodeResolutionFeatures2[NodeResolutionFeatures2["EsmMode"] = 32] = "EsmMode";
   return NodeResolutionFeatures2;
 })(NodeResolutionFeatures || {});
@@ -45160,7 +45163,7 @@ function node16ModuleNameResolver(moduleName, containingFile, compilerOptions, h
 }
 function nodeNextModuleNameResolver(moduleName, containingFile, compilerOptions, host, cache, redirectedReference, resolutionMode) {
   return nodeNextModuleNameResolverWorker(
-    30 /* NodeNextDefault */,
+    94 /* NodeNextDefault */,
     moduleName,
     containingFile,
     compilerOptions,
@@ -45239,11 +45242,11 @@ function nodeModuleNameResolver(moduleName, containingFile, compilerOptions, hos
   } else {
     extensions = getResolveJsonModule(compilerOptions) ? 1 /* TypeScript */ | 2 /* JavaScript */ | 4 /* Declaration */ | 8 /* Json */ : 1 /* TypeScript */ | 2 /* JavaScript */ | 4 /* Declaration */;
   }
-  return nodeModuleNameResolverWorker(conditions ? 30 /* AllFeatures */ : 0 /* None */, moduleName, getDirectoryPath(containingFile), compilerOptions, host, cache, extensions, !!isConfigLookup, redirectedReference, conditions);
+  return nodeModuleNameResolverWorker(conditions ? 94 /* AllFeatures */ : 0 /* None */, moduleName, getDirectoryPath(containingFile), compilerOptions, host, cache, extensions, !!isConfigLookup, redirectedReference, conditions);
 }
 function nodeNextJsonConfigResolver(moduleName, containingFile, host) {
   return nodeModuleNameResolverWorker(
-    30 /* NodeNextDefault */,
+    94 /* NodeNextDefault */,
     moduleName,
     getDirectoryPath(containingFile),
     { moduleResolution: 99 /* NodeNext */ },
@@ -45316,7 +45319,7 @@ function nodeModuleNameResolverWorker(features, moduleName, containingDirectory,
       const diagnosticState = {
         ...state,
         compilerOptions: diagnosticsCompilerOptions,
-        features: 30 /* BundlerDefault */,
+        features: 94 /* BundlerDefault */,
         conditions: getConditions(diagnosticsCompilerOptions),
         reportDiagnostic: noop
       };
@@ -45966,7 +45969,7 @@ function loadModuleFromExports(scope, extensions, subpath, state, cache, redirec
 }
 function loadModuleFromImports(extensions, moduleName, directory, state, cache, redirectedReference) {
   var _a, _b;
-  if (moduleName === "#" || startsWith(moduleName, "#/")) {
+  if (moduleName === "#" || startsWith(moduleName, "#/") && !(state.features & 64 /* ImportsPatternRoot */)) {
     if (state.traceEnabled) {
       trace(state.host, Diagnostics.Invalid_import_specifier_0_has_no_possible_resolutions, moduleName);
     }
@@ -47211,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(
@@ -47230,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;
@@ -47257,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);
     }
@@ -48741,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;
         }
@@ -49608,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 */:
@@ -49615,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 */:
@@ -68338,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);
       }
@@ -68346,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) {
@@ -68357,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);
   }
@@ -77904,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.20251209",
+    "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": "ab142be459f50e7cf1327b6ab1031074cf7d8e5e"
+    "gitHead": "366da34ae60b458e97c880fedf33298d6842ddd6"
 }