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

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.20250811`;
+var version = `${versionMajorMinor}.0-insiders.20250812`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -14265,15 +14265,12 @@ function forEachYieldExpression(body, visitor) {
   function traverse(node) {
     switch (node.kind) {
       case 230 /* YieldExpression */:
-        const value = visitor(node);
-        if (value) {
-          return value;
-        }
+        visitor(node);
         const operand = node.expression;
-        if (!operand) {
-          return;
+        if (operand) {
+          traverse(operand);
         }
-        return traverse(operand);
+        return;
       case 267 /* EnumDeclaration */:
       case 265 /* InterfaceDeclaration */:
       case 268 /* ModuleDeclaration */:
@@ -14282,10 +14279,11 @@ function forEachYieldExpression(body, visitor) {
       default:
         if (isFunctionLike(node)) {
           if (node.name && node.name.kind === 168 /* ComputedPropertyName */) {
-            return traverse(node.name.expression);
+            traverse(node.name.expression);
+            return;
           }
         } else if (!isPartOfTypeNode(node)) {
-          return forEachChild(node, traverse);
+          forEachChild(node, traverse);
         }
     }
   }
@@ -19135,7 +19133,7 @@ function hasContextSensitiveParameters(node) {
     if (node.kind !== 220 /* ArrowFunction */) {
       const parameter = firstOrUndefined(node.parameters);
       if (!(parameter && parameterIsThisKeyword(parameter))) {
-        return !!(node.flags & 256 /* ContainsThis */);
+        return true;
       }
     }
   }
@@ -42649,7 +42647,6 @@ 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(
@@ -42669,17 +42666,13 @@ function createBinder() {
       currentContinueTarget = void 0;
       activeLabelList = void 0;
       hasExplicitReturn = false;
-      seenThisKeyword = false;
       bindChildren(node);
-      node.flags &= ~(5632 /* ReachabilityAndEmitFlags */ | 256 /* ContainsThis */);
+      node.flags &= ~5632 /* ReachabilityAndEmitFlags */;
       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;
@@ -42700,14 +42693,11 @@ 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);
     }
@@ -44195,9 +44185,6 @@ 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;
         }
@@ -45120,8 +45107,6 @@ 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 */:
@@ -45129,14 +45114,17 @@ function getContainerFlags(node) {
     case 185 /* FunctionType */:
     case 181 /* ConstructSignature */:
     case 186 /* ConstructorType */:
-      return 1 /* IsContainer */ | 32 /* HasLocals */ | 8 /* IsFunctionLike */;
+    case 176 /* ClassStaticBlockDeclaration */:
+      return 1 /* IsContainer */ | 4 /* IsControlFlowContainer */ | 32 /* HasLocals */ | 8 /* IsFunctionLike */;
     case 352 /* JSDocImportTag */:
-      return 1 /* IsContainer */ | 32 /* HasLocals */;
+      return 1 /* IsContainer */ | 4 /* IsControlFlowContainer */ | 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 */:
@@ -63750,8 +63738,7 @@ function createTypeChecker(host) {
         const { initializer } = node;
         return !!initializer && isContextSensitive(initializer);
       }
-      case 295 /* JsxExpression */:
-      case 230 /* YieldExpression */: {
+      case 295 /* JsxExpression */: {
         const { expression } = node;
         return !!expression && isContextSensitive(expression);
       }
@@ -63759,7 +63746,7 @@ function createTypeChecker(host) {
     return false;
   }
   function isContextSensitiveFunctionLikeDeclaration(node) {
-    return hasContextSensitiveParameters(node) || hasContextSensitiveReturnExpression(node) || !!(getFunctionFlags(node) & 1 /* Generator */ && node.body && forEachYieldExpression(node.body, isContextSensitive));
+    return hasContextSensitiveParameters(node) || hasContextSensitiveReturnExpression(node);
   }
   function hasContextSensitiveReturnExpression(node) {
     if (node.typeParameters || getEffectiveReturnTypeNode(node) || !node.body) {
@@ -67145,7 +67132,7 @@ function createTypeChecker(host) {
   }
   function discriminateTypeByDiscriminableItems(target, discriminators, related) {
     const types = target.types;
-    const include = types.map((t) => t.flags & 402784252 /* Primitive */ ? 0 /* False */ : -1 /* True */);
+    const include = types.map((t) => t.flags & 402784252 /* Primitive */ || getReducedType(t).flags & 131072 /* Never */ ? 0 /* False */ : -1 /* True */);
     for (const [getDiscriminatingType, propertyName] of discriminators) {
       let matched = false;
       for (let i = 0; i < types.length; i++) {
@@ -73301,10 +73288,7 @@ function createTypeChecker(host) {
     if (contextualType && maybeTypeOfKind(contextualType, 465829888 /* Instantiable */)) {
       const inferenceContext = getInferenceContext(node);
       if (inferenceContext && contextFlags & 1 /* Signature */ && some(inferenceContext.inferences, hasInferenceCandidatesOrDefault)) {
-        const type = instantiateInstantiableTypes(contextualType, inferenceContext.nonFixingMapper);
-        if (!(type.flags & 3 /* AnyOrUnknown */)) {
-          return type;
-        }
+        return instantiateInstantiableTypes(contextualType, inferenceContext.nonFixingMapper);
       }
       if (inferenceContext == null ? void 0 : inferenceContext.returnMapper) {
         const type = instantiateInstantiableTypes(contextualType, inferenceContext.returnMapper);

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.20250811`;
+var version = `${versionMajorMinor}.0-insiders.20250812`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -17952,15 +17952,12 @@ function forEachYieldExpression(body, visitor) {
   function traverse(node) {
     switch (node.kind) {
       case 230 /* YieldExpression */:
-        const value = visitor(node);
-        if (value) {
-          return value;
-        }
+        visitor(node);
         const operand = node.expression;
-        if (!operand) {
-          return;
+        if (operand) {
+          traverse(operand);
         }
-        return traverse(operand);
+        return;
       case 267 /* EnumDeclaration */:
       case 265 /* InterfaceDeclaration */:
       case 268 /* ModuleDeclaration */:
@@ -17969,10 +17966,11 @@ function forEachYieldExpression(body, visitor) {
       default:
         if (isFunctionLike(node)) {
           if (node.name && node.name.kind === 168 /* ComputedPropertyName */) {
-            return traverse(node.name.expression);
+            traverse(node.name.expression);
+            return;
           }
         } else if (!isPartOfTypeNode(node)) {
-          return forEachChild(node, traverse);
+          forEachChild(node, traverse);
         }
     }
   }
@@ -23123,7 +23121,7 @@ function hasContextSensitiveParameters(node) {
     if (node.kind !== 220 /* ArrowFunction */) {
       const parameter = firstOrUndefined(node.parameters);
       if (!(parameter && parameterIsThisKeyword(parameter))) {
-        return !!(node.flags & 256 /* ContainsThis */);
+        return true;
       }
     }
   }
@@ -47157,7 +47155,6 @@ 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(
@@ -47177,17 +47174,13 @@ function createBinder() {
       currentContinueTarget = void 0;
       activeLabelList = void 0;
       hasExplicitReturn = false;
-      seenThisKeyword = false;
       bindChildren(node);
-      node.flags &= ~(5632 /* ReachabilityAndEmitFlags */ | 256 /* ContainsThis */);
+      node.flags &= ~5632 /* ReachabilityAndEmitFlags */;
       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;
@@ -47208,14 +47201,11 @@ 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);
     }
@@ -48703,9 +48693,6 @@ 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;
         }
@@ -49628,8 +49615,6 @@ 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 */:
@@ -49637,14 +49622,17 @@ function getContainerFlags(node) {
     case 185 /* FunctionType */:
     case 181 /* ConstructSignature */:
     case 186 /* ConstructorType */:
-      return 1 /* IsContainer */ | 32 /* HasLocals */ | 8 /* IsFunctionLike */;
+    case 176 /* ClassStaticBlockDeclaration */:
+      return 1 /* IsContainer */ | 4 /* IsControlFlowContainer */ | 32 /* HasLocals */ | 8 /* IsFunctionLike */;
     case 352 /* JSDocImportTag */:
-      return 1 /* IsContainer */ | 32 /* HasLocals */;
+      return 1 /* IsContainer */ | 4 /* IsControlFlowContainer */ | 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 */:
@@ -68358,8 +68346,7 @@ function createTypeChecker(host) {
         const { initializer } = node;
         return !!initializer && isContextSensitive(initializer);
       }
-      case 295 /* JsxExpression */:
-      case 230 /* YieldExpression */: {
+      case 295 /* JsxExpression */: {
         const { expression } = node;
         return !!expression && isContextSensitive(expression);
       }
@@ -68367,7 +68354,7 @@ function createTypeChecker(host) {
     return false;
   }
   function isContextSensitiveFunctionLikeDeclaration(node) {
-    return hasContextSensitiveParameters(node) || hasContextSensitiveReturnExpression(node) || !!(getFunctionFlags(node) & 1 /* Generator */ && node.body && forEachYieldExpression(node.body, isContextSensitive));
+    return hasContextSensitiveParameters(node) || hasContextSensitiveReturnExpression(node);
   }
   function hasContextSensitiveReturnExpression(node) {
     if (node.typeParameters || getEffectiveReturnTypeNode(node) || !node.body) {
@@ -71753,7 +71740,7 @@ function createTypeChecker(host) {
   }
   function discriminateTypeByDiscriminableItems(target, discriminators, related) {
     const types = target.types;
-    const include = types.map((t) => t.flags & 402784252 /* Primitive */ ? 0 /* False */ : -1 /* True */);
+    const include = types.map((t) => t.flags & 402784252 /* Primitive */ || getReducedType(t).flags & 131072 /* Never */ ? 0 /* False */ : -1 /* True */);
     for (const [getDiscriminatingType, propertyName] of discriminators) {
       let matched = false;
       for (let i = 0; i < types.length; i++) {
@@ -77909,10 +77896,7 @@ function createTypeChecker(host) {
     if (contextualType && maybeTypeOfKind(contextualType, 465829888 /* Instantiable */)) {
       const inferenceContext = getInferenceContext(node);
       if (inferenceContext && contextFlags & 1 /* Signature */ && some(inferenceContext.inferences, hasInferenceCandidatesOrDefault)) {
-        const type = instantiateInstantiableTypes(contextualType, inferenceContext.nonFixingMapper);
-        if (!(type.flags & 3 /* AnyOrUnknown */)) {
-          return type;
-        }
+        return instantiateInstantiableTypes(contextualType, inferenceContext.nonFixingMapper);
       }
       if (inferenceContext == null ? void 0 : inferenceContext.returnMapper) {
         const type = instantiateInstantiableTypes(contextualType, inferenceContext.returnMapper);

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-62243-10",
+  "version": "6.0.0-pr-62275-3",
   "license": "Apache-2.0",
   "description": "TypeScript is a language for application scale JavaScript development",
   "keywords": [