typescript 6.0.0-dev.20251113 → 6.0.0-dev.20251114

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.20251113`;
+var version = `${versionMajorMinor}.0-dev.20251114`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -368,20 +368,6 @@ function some(array, predicate) {
   }
   return false;
 }
-function getRangesWhere(arr, pred, cb) {
-  let start;
-  for (let i = 0; i < arr.length; i++) {
-    if (pred(arr[i])) {
-      start = start === void 0 ? i : start;
-    } else {
-      if (start !== void 0) {
-        cb(start, i);
-        start = void 0;
-      }
-    }
-  }
-  if (start !== void 0) cb(start, arr.length);
-}
 function concatenate(array1, array2) {
   if (array2 === void 0 || array2.length === 0) return array1;
   if (array1 === void 0 || array1.length === 0) return array2;
@@ -3362,6 +3348,7 @@ var NodeFlags = /* @__PURE__ */ ((NodeFlags3) => {
   NodeFlags3[NodeFlags3["JsonFile"] = 134217728] = "JsonFile";
   NodeFlags3[NodeFlags3["TypeCached"] = 268435456] = "TypeCached";
   NodeFlags3[NodeFlags3["Deprecated"] = 536870912] = "Deprecated";
+  NodeFlags3[NodeFlags3["Unreachable"] = 1073741824] = "Unreachable";
   NodeFlags3[NodeFlags3["BlockScoped"] = 7] = "BlockScoped";
   NodeFlags3[NodeFlags3["Constant"] = 6] = "Constant";
   NodeFlags3[NodeFlags3["ReachabilityCheckFlags"] = 1536] = "ReachabilityCheckFlags";
@@ -12484,9 +12471,6 @@ function isDeclaration(node) {
 function isDeclarationStatement(node) {
   return isDeclarationStatementKind(node.kind);
 }
-function isStatementButNotDeclaration(node) {
-  return isStatementKindButNotDeclarationKind(node.kind);
-}
 function isStatement(node) {
   const kind = node.kind;
   return isStatementKindButNotDeclarationKind(kind) || isDeclarationStatementKind(kind) || isBlockStatement(node);
@@ -18225,12 +18209,6 @@ function hasJsonModuleEmitEnabled(options) {
   }
   return true;
 }
-function unreachableCodeIsError(options) {
-  return options.allowUnreachableCode === false;
-}
-function unusedLabelIsError(options) {
-  return options.allowUnusedLabels === false;
-}
 function moduleResolutionSupportsPackageJsonExportsAndImports(moduleResolution) {
   return moduleResolution >= 3 /* Node16 */ && moduleResolution <= 99 /* NodeNext */ || moduleResolution === 100 /* Bundler */;
 }
@@ -18801,11 +18779,6 @@ function matchPatternOrExact(parsedPatterns, candidate) {
   }
   return findBestPatternMatch(patterns, (_) => _, candidate);
 }
-function sliceAfter(arr, value) {
-  const index = arr.indexOf(value);
-  Debug.assert(index !== -1);
-  return arr.slice(index);
-}
 function addRelatedInfo(diagnostic, ...relatedInformation) {
   if (!relatedInformation.length) {
     return diagnostic;
@@ -20155,6 +20128,21 @@ function addEmitFlagsRecursively(node, flag, getChild) {
 function getFirstChild(node) {
   return forEachChild(node, (child) => child);
 }
+function canHaveStatements(node) {
+  return isBlock(node) || isModuleBlock(node) || isSourceFile(node) || isCaseClause(node) || isDefaultClause(node);
+}
+function isPotentiallyExecutableNode(node) {
+  if (244 /* FirstStatement */ <= node.kind && node.kind <= 260 /* LastStatement */) {
+    if (isVariableStatement(node)) {
+      if (getCombinedNodeFlags(node.declarationList) & 7 /* BlockScoped */) {
+        return true;
+      }
+      return some(node.declarationList.declarations, (d) => d.initializer !== void 0);
+    }
+    return true;
+  }
+  return isClassDeclaration(node) || isEnumDeclaration(node) || isModuleDeclaration(node);
+}
 
 // src/compiler/factory/baseNodeFactory.ts
 function createBaseNodeFactory() {
@@ -42370,13 +42358,6 @@ function createBinder() {
     /*antecedent*/
     void 0
   );
-  var reportedUnreachableFlow = createFlowNode(
-    1 /* Unreachable */,
-    /*node*/
-    void 0,
-    /*antecedent*/
-    void 0
-  );
   var bindBinaryExpressionFlow = createBindBinaryExpressionFlow();
   return bindSourceFile2;
   function createDiagnosticForNode2(node, message, ...args) {
@@ -42392,7 +42373,6 @@ function createBinder() {
     symbolCount = 0;
     Symbol13 = objectAllocator.getSymbolConstructor();
     Debug.attachFlowNodeDebugInfo(unreachableFlow);
-    Debug.attachFlowNodeDebugInfo(reportedUnreachableFlow);
     if (!file.locals) {
       (_a = tracing) == null ? void 0 : _a.push(
         tracing.Phase.Bind,
@@ -42765,16 +42745,19 @@ function createBinder() {
   function bindChildren(node) {
     const saveInAssignmentPattern = inAssignmentPattern;
     inAssignmentPattern = false;
-    if (checkUnreachable(node)) {
-      if (canHaveFlowNode(node) && node.flowNode) {
+    if (currentFlow === unreachableFlow) {
+      if (canHaveFlowNode(node)) {
         node.flowNode = void 0;
       }
+      if (isPotentiallyExecutableNode(node)) {
+        node.flags |= 1073741824 /* Unreachable */;
+      }
       bindEachChild(node);
       bindJSDoc(node);
       inAssignmentPattern = saveInAssignmentPattern;
       return;
     }
-    if (node.kind >= 244 /* FirstStatement */ && node.kind <= 260 /* LastStatement */ && (!options.allowUnreachableCode || node.kind === 254 /* ReturnStatement */)) {
+    if (244 /* FirstStatement */ <= node.kind && node.kind <= 260 /* LastStatement */ && canHaveFlowNode(node)) {
       node.flowNode = currentFlow;
     }
     switch (node.kind) {
@@ -43361,8 +43344,8 @@ function createBinder() {
     };
     bind(node.label);
     bind(node.statement);
-    if (!activeLabelList.referenced && !options.allowUnusedLabels) {
-      errorOrSuggestionOnNode(unusedLabelIsError(options), node.label, Diagnostics.Unused_label);
+    if (!activeLabelList.referenced) {
+      node.label.flags |= 1073741824 /* Unreachable */;
     }
     activeLabelList = activeLabelList.next;
     addAntecedent(postStatementLabel, currentFlow);
@@ -44139,20 +44122,6 @@ function createBinder() {
     const span = getSpanOfTokenAtPosition(file, node.pos);
     file.bindDiagnostics.push(createFileDiagnostic(file, span.start, span.length, message, ...args));
   }
-  function errorOrSuggestionOnNode(isError, node, message) {
-    errorOrSuggestionOnRange(isError, node, node, message);
-  }
-  function errorOrSuggestionOnRange(isError, startNode, endNode, message) {
-    addErrorOrSuggestionDiagnostic(isError, { pos: getTokenPosOfNode(startNode, file), end: endNode.end }, message);
-  }
-  function addErrorOrSuggestionDiagnostic(isError, range, message) {
-    const diag2 = createFileDiagnostic(file, range.pos, range.end - range.pos, message);
-    if (isError) {
-      file.bindDiagnostics.push(diag2);
-    } else {
-      file.bindSuggestionDiagnostics = append(file.bindSuggestionDiagnostics, { ...diag2, category: 2 /* Suggestion */ });
-    }
-  }
   function bind(node) {
     if (!node) {
       return;
@@ -45039,61 +45008,6 @@ function createBinder() {
       declareSymbolAndAddToSymbolTable(node, 262144 /* TypeParameter */, 526824 /* TypeParameterExcludes */);
     }
   }
-  function shouldReportErrorOnModuleDeclaration(node) {
-    const instanceState = getModuleInstanceState(node);
-    return instanceState === 1 /* Instantiated */ || instanceState === 2 /* ConstEnumOnly */ && shouldPreserveConstEnums(options);
-  }
-  function checkUnreachable(node) {
-    if (!(currentFlow.flags & 1 /* Unreachable */)) {
-      return false;
-    }
-    if (currentFlow === unreachableFlow) {
-      const reportError = (
-        // report error on all statements except empty ones
-        isStatementButNotDeclaration(node) && node.kind !== 243 /* EmptyStatement */ || // report error on class declarations
-        node.kind === 264 /* ClassDeclaration */ || // report errors on enums with preserved emit
-        isEnumDeclarationWithPreservedEmit(node, options) || // report error on instantiated modules
-        node.kind === 268 /* ModuleDeclaration */ && shouldReportErrorOnModuleDeclaration(node)
-      );
-      if (reportError) {
-        currentFlow = reportedUnreachableFlow;
-        if (!options.allowUnreachableCode) {
-          const isError = unreachableCodeIsError(options) && !(node.flags & 33554432 /* Ambient */) && (!isVariableStatement(node) || !!(getCombinedNodeFlags(node.declarationList) & 7 /* BlockScoped */) || node.declarationList.declarations.some((d) => !!d.initializer));
-          eachUnreachableRange(node, options, (start, end) => errorOrSuggestionOnRange(isError, start, end, Diagnostics.Unreachable_code_detected));
-        }
-      }
-    }
-    return true;
-  }
-}
-function isEnumDeclarationWithPreservedEmit(node, options) {
-  return node.kind === 267 /* EnumDeclaration */ && (!isEnumConst(node) || shouldPreserveConstEnums(options));
-}
-function eachUnreachableRange(node, options, cb) {
-  if (isStatement(node) && isExecutableStatement(node) && isBlock(node.parent)) {
-    const { statements } = node.parent;
-    const slice = sliceAfter(statements, node);
-    getRangesWhere(slice, isExecutableStatement, (start, afterEnd) => cb(slice[start], slice[afterEnd - 1]));
-  } else {
-    cb(node, node);
-  }
-  function isExecutableStatement(s) {
-    return !isFunctionDeclaration(s) && !isPurelyTypeDeclaration(s) && // `var x;` may declare a variable used above
-    !(isVariableStatement(s) && !(getCombinedNodeFlags(s) & 7 /* BlockScoped */) && s.declarationList.declarations.some((d) => !d.initializer));
-  }
-  function isPurelyTypeDeclaration(s) {
-    switch (s.kind) {
-      case 265 /* InterfaceDeclaration */:
-      case 266 /* TypeAliasDeclaration */:
-        return true;
-      case 268 /* ModuleDeclaration */:
-        return getModuleInstanceState(s) !== 1 /* Instantiated */;
-      case 267 /* EnumDeclaration */:
-        return !isEnumDeclarationWithPreservedEmit(s, options);
-      default:
-        return false;
-    }
-  }
 }
 function isExportsOrModuleExportsOrAlias(sourceFile, node) {
   let i = 0;
@@ -46434,6 +46348,8 @@ function createTypeChecker(host) {
   var currentNode;
   var varianceTypeParameter;
   var isInferencePartiallyBlocked = false;
+  var withinUnreachableCode = false;
+  var reportedUnreachableNodes;
   var emptySymbols = createSymbolTable();
   var arrayVariances = [1 /* Covariant */];
   var compilerOptions = host.getCompilerOptions();
@@ -84562,6 +84478,9 @@ function createTypeChecker(host) {
         return false;
       });
     }
+    if (node.label.flags & 1073741824 /* Unreachable */ && compilerOptions.allowUnusedLabels !== true) {
+      errorOrSuggestion(compilerOptions.allowUnusedLabels === false, node.label, Diagnostics.Unused_label);
+    }
     checkSourceElement(node.statement);
   }
   function checkThrowStatement(node) {
@@ -86454,10 +86373,12 @@ function createTypeChecker(host) {
   function checkSourceElement(node) {
     if (node) {
       const saveCurrentNode = currentNode;
+      const saveWithinUnreachableCode = withinUnreachableCode;
       currentNode = node;
       instantiationCount = 0;
       checkSourceElementWorker(node);
       currentNode = saveCurrentNode;
+      withinUnreachableCode = saveWithinUnreachableCode;
     }
   }
   function checkSourceElementWorker(node) {
@@ -86485,8 +86406,10 @@ function createTypeChecker(host) {
           cancellationToken.throwIfCancellationRequested();
       }
     }
-    if (kind >= 244 /* FirstStatement */ && kind <= 260 /* LastStatement */ && canHaveFlowNode(node) && node.flowNode && !isReachableFlowNode(node.flowNode)) {
-      errorOrSuggestion(compilerOptions.allowUnreachableCode === false, node, Diagnostics.Unreachable_code_detected);
+    if (compilerOptions.allowUnreachableCode !== true && !withinUnreachableCode) {
+      if (checkSourceElementUnreachable(node)) {
+        withinUnreachableCode = true;
+      }
     }
     switch (kind) {
       case 169 /* TypeParameter */:
@@ -86664,6 +86587,66 @@ function createTypeChecker(host) {
         return checkMissingDeclaration(node);
     }
   }
+  function checkSourceElementUnreachable(node) {
+    if (!isPotentiallyExecutableNode(node)) {
+      return false;
+    }
+    if (reportedUnreachableNodes == null ? void 0 : reportedUnreachableNodes.has(node)) {
+      return true;
+    }
+    if (!isSourceElementUnreachable(node)) {
+      return false;
+    }
+    (reportedUnreachableNodes ?? (reportedUnreachableNodes = /* @__PURE__ */ new Set())).add(node);
+    const sourceFile = getSourceFileOfNode(node);
+    let start = node.pos;
+    let end = node.end;
+    const parent = node.parent;
+    if (canHaveStatements(parent)) {
+      const statements = parent.statements;
+      const offset = statements.indexOf(node);
+      if (offset >= 0) {
+        let first2 = offset;
+        for (let i = offset - 1; i >= 0; i--) {
+          const prevNode = statements[i];
+          if (!isPotentiallyExecutableNode(prevNode) || reportedUnreachableNodes.has(prevNode) || !isSourceElementUnreachable(prevNode)) {
+            break;
+          }
+          first2 = i;
+          reportedUnreachableNodes.add(prevNode);
+        }
+        let last2 = offset;
+        for (let i = offset + 1; i < statements.length; i++) {
+          const nextNode = statements[i];
+          if (!isPotentiallyExecutableNode(nextNode) || !isSourceElementUnreachable(nextNode)) {
+            break;
+          }
+          last2 = i;
+          reportedUnreachableNodes.add(nextNode);
+        }
+        start = statements[first2].pos;
+        end = statements[last2].end;
+      }
+    }
+    start = skipTrivia(sourceFile.text, start);
+    addErrorOrSuggestion(compilerOptions.allowUnreachableCode === false, createFileDiagnostic(sourceFile, start, end - start, Diagnostics.Unreachable_code_detected));
+    return true;
+  }
+  function isSourceElementUnreachable(node) {
+    if (node.flags & 1073741824 /* Unreachable */) {
+      switch (node.kind) {
+        case 267 /* EnumDeclaration */:
+          return !isEnumConst(node) || shouldPreserveConstEnums(compilerOptions);
+        case 268 /* ModuleDeclaration */:
+          return isInstantiatedModule(node, shouldPreserveConstEnums(compilerOptions));
+        default:
+          return true;
+      }
+    } else if (canHaveFlowNode(node) && node.flowNode) {
+      return !isReachableFlowNode(node.flowNode);
+    }
+    return false;
+  }
   function checkJSDocCommentWorker(node) {
     if (isArray(node)) {
       forEach(node, (tag) => {
@@ -86826,6 +86809,7 @@ function createTypeChecker(host) {
     mark(afterMark);
     measure("Check", beforeMark, afterMark);
     (_b = tracing) == null ? void 0 : _b.pop();
+    reportedUnreachableNodes = void 0;
   }
   function unusedIsError(kind, isAmbient) {
     if (isAmbient) {

package/lib/typescript.js

@@ -251,6 +251,7 @@ __export(typescript_exports, {
   canHaveLocals: () => canHaveLocals,
   canHaveModifiers: () => canHaveModifiers,
   canHaveModuleSpecifier: () => canHaveModuleSpecifier,
+  canHaveStatements: () => canHaveStatements,
   canHaveSymbol: () => canHaveSymbol,
   canIncludeBindAndCheckDiagnostics: () => canIncludeBindAndCheckDiagnostics,
   canJsonReportNoInputFiles: () => canJsonReportNoInputFiles,
@@ -1643,6 +1644,7 @@ __export(typescript_exports, {
   isPlusToken: () => isPlusToken,
   isPossiblyTypeArgumentPosition: () => isPossiblyTypeArgumentPosition,
   isPostfixUnaryExpression: () => isPostfixUnaryExpression,
+  isPotentiallyExecutableNode: () => isPotentiallyExecutableNode,
   isPrefixUnaryExpression: () => isPrefixUnaryExpression,
   isPrimitiveLiteralValue: () => isPrimitiveLiteralValue,
   isPrivateIdentifier: () => isPrivateIdentifier,
@@ -2245,9 +2247,7 @@ __export(typescript_exports, {
   unmangleScopedPackageName: () => unmangleScopedPackageName,
   unorderedRemoveItem: () => unorderedRemoveItem,
   unprefixedNodeCoreModules: () => unprefixedNodeCoreModules,
-  unreachableCodeIsError: () => unreachableCodeIsError,
   unsetNodeChildren: () => unsetNodeChildren,
-  unusedLabelIsError: () => unusedLabelIsError,
   unwrapInnermostStatementOfLabel: () => unwrapInnermostStatementOfLabel,
   unwrapParenthesizedExpression: () => unwrapParenthesizedExpression,
   updateErrorForNoInputFiles: () => updateErrorForNoInputFiles,
@@ -2286,7 +2286,7 @@ module.exports = __toCommonJS(typescript_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "6.0";
-var version = `${versionMajorMinor}.0-dev.20251113`;
+var version = `${versionMajorMinor}.0-dev.20251114`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -5952,6 +5952,7 @@ var NodeFlags = /* @__PURE__ */ ((NodeFlags3) => {
   NodeFlags3[NodeFlags3["JsonFile"] = 134217728] = "JsonFile";
   NodeFlags3[NodeFlags3["TypeCached"] = 268435456] = "TypeCached";
   NodeFlags3[NodeFlags3["Deprecated"] = 536870912] = "Deprecated";
+  NodeFlags3[NodeFlags3["Unreachable"] = 1073741824] = "Unreachable";
   NodeFlags3[NodeFlags3["BlockScoped"] = 7] = "BlockScoped";
   NodeFlags3[NodeFlags3["Constant"] = 6] = "Constant";
   NodeFlags3[NodeFlags3["ReachabilityCheckFlags"] = 1536] = "ReachabilityCheckFlags";
@@ -22178,12 +22179,6 @@ function hasJsonModuleEmitEnabled(options) {
   }
   return true;
 }
-function unreachableCodeIsError(options) {
-  return options.allowUnreachableCode === false;
-}
-function unusedLabelIsError(options) {
-  return options.allowUnusedLabels === false;
-}
 function moduleResolutionSupportsPackageJsonExportsAndImports(moduleResolution) {
   return moduleResolution >= 3 /* Node16 */ && moduleResolution <= 99 /* NodeNext */ || moduleResolution === 100 /* Bundler */;
 }
@@ -24247,6 +24242,21 @@ function addEmitFlagsRecursively(node, flag, getChild) {
 function getFirstChild(node) {
   return forEachChild(node, (child) => child);
 }
+function canHaveStatements(node) {
+  return isBlock(node) || isModuleBlock(node) || isSourceFile(node) || isCaseClause(node) || isDefaultClause(node);
+}
+function isPotentiallyExecutableNode(node) {
+  if (244 /* FirstStatement */ <= node.kind && node.kind <= 260 /* LastStatement */) {
+    if (isVariableStatement(node)) {
+      if (getCombinedNodeFlags(node.declarationList) & 7 /* BlockScoped */) {
+        return true;
+      }
+      return some(node.declarationList.declarations, (d) => d.initializer !== void 0);
+    }
+    return true;
+  }
+  return isClassDeclaration(node) || isEnumDeclaration(node) || isModuleDeclaration(node);
+}
 
 // src/compiler/factory/baseNodeFactory.ts
 function createBaseNodeFactory() {
@@ -46876,13 +46886,6 @@ function createBinder() {
     /*antecedent*/
     void 0
   );
-  var reportedUnreachableFlow = createFlowNode(
-    1 /* Unreachable */,
-    /*node*/
-    void 0,
-    /*antecedent*/
-    void 0
-  );
   var bindBinaryExpressionFlow = createBindBinaryExpressionFlow();
   return bindSourceFile2;
   function createDiagnosticForNode2(node, message, ...args) {
@@ -46898,7 +46901,6 @@ function createBinder() {
     symbolCount = 0;
     Symbol48 = objectAllocator.getSymbolConstructor();
     Debug.attachFlowNodeDebugInfo(unreachableFlow);
-    Debug.attachFlowNodeDebugInfo(reportedUnreachableFlow);
     if (!file.locals) {
       (_a = tracing) == null ? void 0 : _a.push(
         tracing.Phase.Bind,
@@ -47271,16 +47273,19 @@ function createBinder() {
   function bindChildren(node) {
     const saveInAssignmentPattern = inAssignmentPattern;
     inAssignmentPattern = false;
-    if (checkUnreachable(node)) {
-      if (canHaveFlowNode(node) && node.flowNode) {
+    if (currentFlow === unreachableFlow) {
+      if (canHaveFlowNode(node)) {
         node.flowNode = void 0;
       }
+      if (isPotentiallyExecutableNode(node)) {
+        node.flags |= 1073741824 /* Unreachable */;
+      }
       bindEachChild(node);
       bindJSDoc(node);
       inAssignmentPattern = saveInAssignmentPattern;
       return;
     }
-    if (node.kind >= 244 /* FirstStatement */ && node.kind <= 260 /* LastStatement */ && (!options.allowUnreachableCode || node.kind === 254 /* ReturnStatement */)) {
+    if (244 /* FirstStatement */ <= node.kind && node.kind <= 260 /* LastStatement */ && canHaveFlowNode(node)) {
       node.flowNode = currentFlow;
     }
     switch (node.kind) {
@@ -47867,8 +47872,8 @@ function createBinder() {
     };
     bind(node.label);
     bind(node.statement);
-    if (!activeLabelList.referenced && !options.allowUnusedLabels) {
-      errorOrSuggestionOnNode(unusedLabelIsError(options), node.label, Diagnostics.Unused_label);
+    if (!activeLabelList.referenced) {
+      node.label.flags |= 1073741824 /* Unreachable */;
     }
     activeLabelList = activeLabelList.next;
     addAntecedent(postStatementLabel, currentFlow);
@@ -48645,20 +48650,6 @@ function createBinder() {
     const span = getSpanOfTokenAtPosition(file, node.pos);
     file.bindDiagnostics.push(createFileDiagnostic(file, span.start, span.length, message, ...args));
   }
-  function errorOrSuggestionOnNode(isError, node, message) {
-    errorOrSuggestionOnRange(isError, node, node, message);
-  }
-  function errorOrSuggestionOnRange(isError, startNode2, endNode2, message) {
-    addErrorOrSuggestionDiagnostic(isError, { pos: getTokenPosOfNode(startNode2, file), end: endNode2.end }, message);
-  }
-  function addErrorOrSuggestionDiagnostic(isError, range, message) {
-    const diag2 = createFileDiagnostic(file, range.pos, range.end - range.pos, message);
-    if (isError) {
-      file.bindDiagnostics.push(diag2);
-    } else {
-      file.bindSuggestionDiagnostics = append(file.bindSuggestionDiagnostics, { ...diag2, category: 2 /* Suggestion */ });
-    }
-  }
   function bind(node) {
     if (!node) {
       return;
@@ -49545,61 +49536,6 @@ function createBinder() {
       declareSymbolAndAddToSymbolTable(node, 262144 /* TypeParameter */, 526824 /* TypeParameterExcludes */);
     }
   }
-  function shouldReportErrorOnModuleDeclaration(node) {
-    const instanceState = getModuleInstanceState(node);
-    return instanceState === 1 /* Instantiated */ || instanceState === 2 /* ConstEnumOnly */ && shouldPreserveConstEnums(options);
-  }
-  function checkUnreachable(node) {
-    if (!(currentFlow.flags & 1 /* Unreachable */)) {
-      return false;
-    }
-    if (currentFlow === unreachableFlow) {
-      const reportError = (
-        // report error on all statements except empty ones
-        isStatementButNotDeclaration(node) && node.kind !== 243 /* EmptyStatement */ || // report error on class declarations
-        node.kind === 264 /* ClassDeclaration */ || // report errors on enums with preserved emit
-        isEnumDeclarationWithPreservedEmit(node, options) || // report error on instantiated modules
-        node.kind === 268 /* ModuleDeclaration */ && shouldReportErrorOnModuleDeclaration(node)
-      );
-      if (reportError) {
-        currentFlow = reportedUnreachableFlow;
-        if (!options.allowUnreachableCode) {
-          const isError = unreachableCodeIsError(options) && !(node.flags & 33554432 /* Ambient */) && (!isVariableStatement(node) || !!(getCombinedNodeFlags(node.declarationList) & 7 /* BlockScoped */) || node.declarationList.declarations.some((d) => !!d.initializer));
-          eachUnreachableRange(node, options, (start, end) => errorOrSuggestionOnRange(isError, start, end, Diagnostics.Unreachable_code_detected));
-        }
-      }
-    }
-    return true;
-  }
-}
-function isEnumDeclarationWithPreservedEmit(node, options) {
-  return node.kind === 267 /* EnumDeclaration */ && (!isEnumConst(node) || shouldPreserveConstEnums(options));
-}
-function eachUnreachableRange(node, options, cb) {
-  if (isStatement(node) && isExecutableStatement(node) && isBlock(node.parent)) {
-    const { statements } = node.parent;
-    const slice = sliceAfter(statements, node);
-    getRangesWhere(slice, isExecutableStatement, (start, afterEnd) => cb(slice[start], slice[afterEnd - 1]));
-  } else {
-    cb(node, node);
-  }
-  function isExecutableStatement(s) {
-    return !isFunctionDeclaration(s) && !isPurelyTypeDeclaration(s) && // `var x;` may declare a variable used above
-    !(isVariableStatement(s) && !(getCombinedNodeFlags(s) & 7 /* BlockScoped */) && s.declarationList.declarations.some((d) => !d.initializer));
-  }
-  function isPurelyTypeDeclaration(s) {
-    switch (s.kind) {
-      case 265 /* InterfaceDeclaration */:
-      case 266 /* TypeAliasDeclaration */:
-        return true;
-      case 268 /* ModuleDeclaration */:
-        return getModuleInstanceState(s) !== 1 /* Instantiated */;
-      case 267 /* EnumDeclaration */:
-        return !isEnumDeclarationWithPreservedEmit(s, options);
-      default:
-        return false;
-    }
-  }
 }
 function isExportsOrModuleExportsOrAlias(sourceFile, node) {
   let i = 0;
@@ -51040,6 +50976,8 @@ function createTypeChecker(host) {
   var currentNode;
   var varianceTypeParameter;
   var isInferencePartiallyBlocked = false;
+  var withinUnreachableCode = false;
+  var reportedUnreachableNodes;
   var emptySymbols = createSymbolTable();
   var arrayVariances = [1 /* Covariant */];
   var compilerOptions = host.getCompilerOptions();
@@ -89168,6 +89106,9 @@ function createTypeChecker(host) {
         return false;
       });
     }
+    if (node.label.flags & 1073741824 /* Unreachable */ && compilerOptions.allowUnusedLabels !== true) {
+      errorOrSuggestion(compilerOptions.allowUnusedLabels === false, node.label, Diagnostics.Unused_label);
+    }
     checkSourceElement(node.statement);
   }
   function checkThrowStatement(node) {
@@ -91060,10 +91001,12 @@ function createTypeChecker(host) {
   function checkSourceElement(node) {
     if (node) {
       const saveCurrentNode = currentNode;
+      const saveWithinUnreachableCode = withinUnreachableCode;
       currentNode = node;
       instantiationCount = 0;
       checkSourceElementWorker(node);
       currentNode = saveCurrentNode;
+      withinUnreachableCode = saveWithinUnreachableCode;
     }
   }
   function checkSourceElementWorker(node) {
@@ -91091,8 +91034,10 @@ function createTypeChecker(host) {
           cancellationToken.throwIfCancellationRequested();
       }
     }
-    if (kind >= 244 /* FirstStatement */ && kind <= 260 /* LastStatement */ && canHaveFlowNode(node) && node.flowNode && !isReachableFlowNode(node.flowNode)) {
-      errorOrSuggestion(compilerOptions.allowUnreachableCode === false, node, Diagnostics.Unreachable_code_detected);
+    if (compilerOptions.allowUnreachableCode !== true && !withinUnreachableCode) {
+      if (checkSourceElementUnreachable(node)) {
+        withinUnreachableCode = true;
+      }
     }
     switch (kind) {
       case 169 /* TypeParameter */:
@@ -91270,6 +91215,66 @@ function createTypeChecker(host) {
         return checkMissingDeclaration(node);
     }
   }
+  function checkSourceElementUnreachable(node) {
+    if (!isPotentiallyExecutableNode(node)) {
+      return false;
+    }
+    if (reportedUnreachableNodes == null ? void 0 : reportedUnreachableNodes.has(node)) {
+      return true;
+    }
+    if (!isSourceElementUnreachable(node)) {
+      return false;
+    }
+    (reportedUnreachableNodes ?? (reportedUnreachableNodes = /* @__PURE__ */ new Set())).add(node);
+    const sourceFile = getSourceFileOfNode(node);
+    let start = node.pos;
+    let end = node.end;
+    const parent2 = node.parent;
+    if (canHaveStatements(parent2)) {
+      const statements = parent2.statements;
+      const offset = statements.indexOf(node);
+      if (offset >= 0) {
+        let first2 = offset;
+        for (let i = offset - 1; i >= 0; i--) {
+          const prevNode = statements[i];
+          if (!isPotentiallyExecutableNode(prevNode) || reportedUnreachableNodes.has(prevNode) || !isSourceElementUnreachable(prevNode)) {
+            break;
+          }
+          first2 = i;
+          reportedUnreachableNodes.add(prevNode);
+        }
+        let last2 = offset;
+        for (let i = offset + 1; i < statements.length; i++) {
+          const nextNode = statements[i];
+          if (!isPotentiallyExecutableNode(nextNode) || !isSourceElementUnreachable(nextNode)) {
+            break;
+          }
+          last2 = i;
+          reportedUnreachableNodes.add(nextNode);
+        }
+        start = statements[first2].pos;
+        end = statements[last2].end;
+      }
+    }
+    start = skipTrivia(sourceFile.text, start);
+    addErrorOrSuggestion(compilerOptions.allowUnreachableCode === false, createFileDiagnostic(sourceFile, start, end - start, Diagnostics.Unreachable_code_detected));
+    return true;
+  }
+  function isSourceElementUnreachable(node) {
+    if (node.flags & 1073741824 /* Unreachable */) {
+      switch (node.kind) {
+        case 267 /* EnumDeclaration */:
+          return !isEnumConst(node) || shouldPreserveConstEnums(compilerOptions);
+        case 268 /* ModuleDeclaration */:
+          return isInstantiatedModule(node, shouldPreserveConstEnums(compilerOptions));
+        default:
+          return true;
+      }
+    } else if (canHaveFlowNode(node) && node.flowNode) {
+      return !isReachableFlowNode(node.flowNode);
+    }
+    return false;
+  }
   function checkJSDocCommentWorker(node) {
     if (isArray(node)) {
       forEach(node, (tag) => {
@@ -91432,6 +91437,7 @@ function createTypeChecker(host) {
     mark(afterMark);
     measure("Check", beforeMark, afterMark);
     (_b = tracing) == null ? void 0 : _b.pop();
+    reportedUnreachableNodes = void 0;
   }
   function unusedIsError(kind, isAmbient) {
     if (isAmbient) {
@@ -183638,6 +183644,7 @@ __export(ts_exports2, {
   canHaveLocals: () => canHaveLocals,
   canHaveModifiers: () => canHaveModifiers,
   canHaveModuleSpecifier: () => canHaveModuleSpecifier,
+  canHaveStatements: () => canHaveStatements,
   canHaveSymbol: () => canHaveSymbol,
   canIncludeBindAndCheckDiagnostics: () => canIncludeBindAndCheckDiagnostics,
   canJsonReportNoInputFiles: () => canJsonReportNoInputFiles,
@@ -185030,6 +185037,7 @@ __export(ts_exports2, {
   isPlusToken: () => isPlusToken,
   isPossiblyTypeArgumentPosition: () => isPossiblyTypeArgumentPosition,
   isPostfixUnaryExpression: () => isPostfixUnaryExpression,
+  isPotentiallyExecutableNode: () => isPotentiallyExecutableNode,
   isPrefixUnaryExpression: () => isPrefixUnaryExpression,
   isPrimitiveLiteralValue: () => isPrimitiveLiteralValue,
   isPrivateIdentifier: () => isPrivateIdentifier,
@@ -185632,9 +185640,7 @@ __export(ts_exports2, {
   unmangleScopedPackageName: () => unmangleScopedPackageName,
   unorderedRemoveItem: () => unorderedRemoveItem,
   unprefixedNodeCoreModules: () => unprefixedNodeCoreModules,
-  unreachableCodeIsError: () => unreachableCodeIsError,
   unsetNodeChildren: () => unsetNodeChildren,
-  unusedLabelIsError: () => unusedLabelIsError,
   unwrapInnermostStatementOfLabel: () => unwrapInnermostStatementOfLabel,
   unwrapParenthesizedExpression: () => unwrapParenthesizedExpression,
   updateErrorForNoInputFiles: () => updateErrorForNoInputFiles,
@@ -198400,6 +198406,7 @@ if (typeof console !== "undefined") {
   canHaveLocals,
   canHaveModifiers,
   canHaveModuleSpecifier,
+  canHaveStatements,
   canHaveSymbol,
   canIncludeBindAndCheckDiagnostics,
   canJsonReportNoInputFiles,
@@ -199792,6 +199799,7 @@ if (typeof console !== "undefined") {
   isPlusToken,
   isPossiblyTypeArgumentPosition,
   isPostfixUnaryExpression,
+  isPotentiallyExecutableNode,
   isPrefixUnaryExpression,
   isPrimitiveLiteralValue,
   isPrivateIdentifier,
@@ -200394,9 +200402,7 @@ if (typeof console !== "undefined") {
   unmangleScopedPackageName,
   unorderedRemoveItem,
   unprefixedNodeCoreModules,
-  unreachableCodeIsError,
   unsetNodeChildren,
-  unusedLabelIsError,
   unwrapInnermostStatementOfLabel,
   unwrapParenthesizedExpression,
   updateErrorForNoInputFiles,

package/package.json

@@ -2,7 +2,7 @@
     "name": "typescript",
     "author": "Microsoft Corp.",
     "homepage": "https://www.typescriptlang.org/",
-    "version": "6.0.0-dev.20251113",
+    "version": "6.0.0-dev.20251114",
     "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": "0f766a9aa7936079688b29893371e7821400b0df"
+    "gitHead": "09e31cf04a195475cc6e1b75bfc9fac126a15c84"
 }