@typescript-deploys/pr-build 6.0.0-pr-62275-3 → 6.0.0-pr-62243-25

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-insiders.20250812`;
+var version = `${versionMajorMinor}.0-insiders.20250813`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -14265,12 +14265,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 */:
@@ -14279,11 +14282,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);
         }
     }
   }
@@ -19133,7 +19135,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 */);
       }
     }
   }
@@ -42647,6 +42649,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(
@@ -42666,13 +42669,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;
@@ -42693,11 +42700,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);
     }
@@ -44185,6 +44195,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;
         }
@@ -45107,6 +45120,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 */:
@@ -45114,17 +45129,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 */:
@@ -63738,7 +63750,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);
       }
@@ -63746,7 +63759,7 @@ function createTypeChecker(host) {
     return false;
   }
   function isContextSensitiveFunctionLikeDeclaration(node) {
-    return hasContextSensitiveParameters(node) || hasContextSensitiveReturnExpression(node);
+    return hasContextSensitiveParameters(node) || hasContextSensitiveReturnExpression(node) || !!(getFunctionFlags(node) & 1 /* Generator */ && node.body && forEachYieldExpression(node.body, isContextSensitive));
   }
   function hasContextSensitiveReturnExpression(node) {
     if (node.typeParameters || getEffectiveReturnTypeNode(node) || !node.body) {
@@ -67132,7 +67145,7 @@ function createTypeChecker(host) {
   }
   function discriminateTypeByDiscriminableItems(target, discriminators, related) {
     const types = target.types;
-    const include = types.map((t) => t.flags & 402784252 /* Primitive */ || getReducedType(t).flags & 131072 /* Never */ ? 0 /* False */ : -1 /* True */);
+    const include = types.map((t) => t.flags & 402784252 /* Primitive */ ? 0 /* False */ : -1 /* True */);
     for (const [getDiscriminatingType, propertyName] of discriminators) {
       let matched = false;
       for (let i = 0; i < types.length; i++) {
@@ -73288,7 +73301,10 @@ 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);
@@ -78720,7 +78736,7 @@ function createTypeChecker(host) {
     const nextTypes = [];
     const isAsync = (getFunctionFlags(func) & 2 /* Async */) !== 0;
     forEachYieldExpression(func.body, (yieldExpression) => {
-      const yieldExpressionType = yieldExpression.expression ? checkExpression(yieldExpression.expression, checkMode) : undefinedWideningType;
+      const yieldExpressionType = yieldExpression.expression ? checkExpression(yieldExpression.expression, checkMode && checkMode & ~8 /* SkipGenericFunctions */) : undefinedWideningType;
       pushIfUnique(yieldTypes, getYieldedTypeOfYieldExpression(yieldExpression, yieldExpressionType, anyType, isAsync));
       let nextType;
       if (yieldExpression.asteriskToken) {

package/lib/typescript.js

@@ -2285,7 +2285,7 @@ module.exports = __toCommonJS(typescript_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "6.0";
-var version = `${versionMajorMinor}.0-insiders.20250812`;
+var version = `${versionMajorMinor}.0-insiders.20250813`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -17952,12 +17952,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 */:
@@ -17966,11 +17969,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);
         }
     }
   }
@@ -23121,7 +23123,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 */);
       }
     }
   }
@@ -47155,6 +47157,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(
@@ -47174,13 +47177,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;
@@ -47201,11 +47208,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);
     }
@@ -48693,6 +48703,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;
         }
@@ -49615,6 +49628,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 */:
@@ -49622,17 +49637,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 */:
@@ -68346,7 +68358,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);
       }
@@ -68354,7 +68367,7 @@ function createTypeChecker(host) {
     return false;
   }
   function isContextSensitiveFunctionLikeDeclaration(node) {
-    return hasContextSensitiveParameters(node) || hasContextSensitiveReturnExpression(node);
+    return hasContextSensitiveParameters(node) || hasContextSensitiveReturnExpression(node) || !!(getFunctionFlags(node) & 1 /* Generator */ && node.body && forEachYieldExpression(node.body, isContextSensitive));
   }
   function hasContextSensitiveReturnExpression(node) {
     if (node.typeParameters || getEffectiveReturnTypeNode(node) || !node.body) {
@@ -71740,7 +71753,7 @@ function createTypeChecker(host) {
   }
   function discriminateTypeByDiscriminableItems(target, discriminators, related) {
     const types = target.types;
-    const include = types.map((t) => t.flags & 402784252 /* Primitive */ || getReducedType(t).flags & 131072 /* Never */ ? 0 /* False */ : -1 /* True */);
+    const include = types.map((t) => t.flags & 402784252 /* Primitive */ ? 0 /* False */ : -1 /* True */);
     for (const [getDiscriminatingType, propertyName] of discriminators) {
       let matched = false;
       for (let i = 0; i < types.length; i++) {
@@ -77896,7 +77909,10 @@ 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);
@@ -83328,7 +83344,7 @@ function createTypeChecker(host) {
     const nextTypes = [];
     const isAsync = (getFunctionFlags(func) & 2 /* Async */) !== 0;
     forEachYieldExpression(func.body, (yieldExpression) => {
-      const yieldExpressionType = yieldExpression.expression ? checkExpression(yieldExpression.expression, checkMode) : undefinedWideningType;
+      const yieldExpressionType = yieldExpression.expression ? checkExpression(yieldExpression.expression, checkMode && checkMode & ~8 /* SkipGenericFunctions */) : undefinedWideningType;
       pushIfUnique(yieldTypes, getYieldedTypeOfYieldExpression(yieldExpression, yieldExpressionType, anyType, isAsync));
       let nextType;
       if (yieldExpression.asteriskToken) {

package/package.json

@@ -2,7 +2,7 @@
   "name": "@typescript-deploys/pr-build",
   "author": "Microsoft Corp.",
   "homepage": "https://www.typescriptlang.org/",
-  "version": "6.0.0-pr-62275-3",
+  "version": "6.0.0-pr-62243-25",
   "license": "Apache-2.0",
   "description": "TypeScript is a language for application scale JavaScript development",
   "keywords": [