@typescript-deploys/pr-build 5.5.0-pr-58703-2 → 5.5.0-pr-57842-25

package/lib/tsc.js

@@ -18,7 +18,7 @@ and limitations under the License.
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.5";
-var version = `${versionMajorMinor}.0-insiders.20240529`;
+var version = `${versionMajorMinor}.0-insiders.20240530`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -11047,8 +11047,8 @@ function textSpanIsEmpty(span) {
 function textSpanContainsPosition(span, position) {
   return position >= span.start && position < textSpanEnd(span);
 }
-function textRangeContainsPositionInclusive(span, position) {
-  return position >= span.pos && position <= span.end;
+function textRangeContainsPositionInclusive(range, position) {
+  return position >= range.pos && position <= range.end;
 }
 function createTextSpan(start, length2) {
   if (start < 0) {
@@ -18254,6 +18254,13 @@ function rangeOfTypeParameters(sourceFile, typeParameters) {
 function skipTypeChecking(sourceFile, options, host) {
   return options.skipLibCheck && sourceFile.isDeclarationFile || options.skipDefaultLibCheck && sourceFile.hasNoDefaultLib || options.noCheck || host.isSourceOfProjectReferenceRedirect(sourceFile.fileName);
 }
+function shouldIncludeBindAndCheckDiagnostics(sourceFile, options) {
+  const isJs = sourceFile.scriptKind === 1 /* JS */ || sourceFile.scriptKind === 2 /* JSX */;
+  const isCheckJs = isJs && isCheckJsEnabledForFile(sourceFile, options);
+  const isPlainJs = isPlainJsFile(sourceFile, options.checkJs);
+  const isTsNoCheck = !!sourceFile.checkJsDirective && sourceFile.checkJsDirective.enabled === false;
+  return !isTsNoCheck && (sourceFile.scriptKind === 3 /* TS */ || sourceFile.scriptKind === 4 /* TSX */ || sourceFile.scriptKind === 5 /* External */ || isPlainJs || isCheckJs || sourceFile.scriptKind === 7 /* Deferred */);
+}
 function isJsonEqual(a, b) {
   return a === b || typeof a === "object" && a !== null && typeof b === "object" && b !== null && equalOwnProperties(a, b, isJsonEqual);
 }
@@ -45032,6 +45039,9 @@ function createTypeChecker(host) {
     deferredDiagnosticsCallbacks.push(arg);
   };
   var cancellationToken;
+  var requestedExternalEmitHelperNames = /* @__PURE__ */ new Set();
+  var requestedExternalEmitHelpers;
+  var externalHelpersModule;
   var scanner;
   var Symbol12 = objectAllocator.getSymbolConstructor();
   var Type7 = objectAllocator.getTypeConstructor();
@@ -59679,6 +59689,7 @@ function createTypeChecker(host) {
     return links.resolvedType;
   }
   function getTemplateLiteralType(texts, types) {
+    var _a, _b;
     const unionIndex = findIndex(types, (t) => !!(t.flags & (131072 /* Never */ | 1048576 /* Union */)));
     if (unionIndex >= 0) {
       return checkCrossProductUnion(types) ? mapType(types[unionIndex], (t) => getTemplateLiteralType(texts, replaceElement(types, unionIndex, t))) : errorType;
@@ -59686,7 +59697,7 @@ function createTypeChecker(host) {
     if (contains(types, wildcardType)) {
       return wildcardType;
     }
-    if (texts.length === 2 && texts[0] === "" && texts[1] === "" && types[0].flags & 268435456 /* StringMapping */) {
+    if (texts.length === 2 && texts[0] === "" && texts[1] === "" && !(types[0].flags & 2944 /* Literal */) && !((_b = (_a = types[0].symbol) == null ? void 0 : _a.declarations) == null ? void 0 : _b.some((d) => d.parent.kind === 195 /* InferType */)) && isTypeAssignableTo(types[0], stringType)) {
       return types[0];
     }
     const newTypes = [];
@@ -66068,13 +66079,6 @@ function createTypeChecker(host) {
     }
     return false;
   }
-  function isTemplateLiteralTypeWithSinglePlaceholderAndNoExtraTexts(type) {
-    if (!(type.flags & 134217728 /* TemplateLiteral */)) {
-      return false;
-    }
-    const texts = type.texts;
-    return texts.length === 2 && texts[0] === "" && texts[1] === "";
-  }
   function isValidTypeForTemplateLiteralPlaceholder(source, target) {
     if (target.flags & 2097152 /* Intersection */) {
       return every(target.types, (t) => t === emptyTypeLiteralType || isValidTypeForTemplateLiteralPlaceholder(source, t));
@@ -66554,10 +66558,6 @@ function createTypeChecker(host) {
       }
     }
     function inferToTemplateLiteralType(source, target) {
-      if (isTemplateLiteralTypeWithSinglePlaceholderAndNoExtraTexts(source) && isTemplateLiteralTypeWithSinglePlaceholderAndNoExtraTexts(target)) {
-        inferFromTypes(source.types[0], target.types[0]);
-        return;
-      }
       const matches = inferTypesFromTemplateLiteralType(source, target);
       const types = target.types;
       if (matches || every(target.texts, (s) => s.length === 0)) {
@@ -83369,6 +83369,9 @@ function createTypeChecker(host) {
     }
   }
   function checkSourceElementWorker(node) {
+    if (getNodeCheckFlags(node) & 8388608 /* PartiallyTypeChecked */) {
+      return;
+    }
     if (canHaveJSDoc(node)) {
       forEach(node.jsDoc, ({ comment, tags }) => {
         checkJSDocCommentWorker(comment);
@@ -83712,19 +83715,21 @@ function createTypeChecker(host) {
     currentNode = saveCurrentNode;
     (_b = tracing) == null ? void 0 : _b.pop();
   }
-  function checkSourceFile(node) {
+  function checkSourceFile(node, nodesToCheck) {
     var _a, _b;
     (_a = tracing) == null ? void 0 : _a.push(
       tracing.Phase.Check,
-      "checkSourceFile",
+      nodesToCheck ? "checkSourceFileNodes" : "checkSourceFile",
       { path: node.path },
       /*separateBeginAndEnd*/
       true
     );
-    mark("beforeCheck");
-    checkSourceFileWorker(node);
-    mark("afterCheck");
-    measure("Check", "beforeCheck", "afterCheck");
+    const beforeMark = nodesToCheck ? "beforeCheckNodes" : "beforeCheck";
+    const afterMark = nodesToCheck ? "afterCheckNodes" : "afterCheck";
+    mark(beforeMark);
+    nodesToCheck ? checkSourceFileNodesWorker(node, nodesToCheck) : checkSourceFileWorker(node);
+    mark(afterMark);
+    measure("Check", beforeMark, afterMark);
     (_b = tracing) == null ? void 0 : _b.pop();
   }
   function unusedIsError(kind, isAmbient) {
@@ -83755,6 +83760,13 @@ function createTypeChecker(host) {
       clear(potentialWeakMapSetCollisions);
       clear(potentialReflectCollisions);
       clear(potentialUnusedRenamedBindingElementsInTypes);
+      if (links.flags & 8388608 /* PartiallyTypeChecked */) {
+        potentialThisCollisions = links.potentialThisCollisions;
+        potentialNewTargetCollisions = links.potentialNewTargetCollisions;
+        potentialWeakMapSetCollisions = links.potentialWeakMapSetCollisions;
+        potentialReflectCollisions = links.potentialReflectCollisions;
+        potentialUnusedRenamedBindingElementsInTypes = links.potentialUnusedRenamedBindingElementsInTypes;
+      }
       forEach(node.statements, checkSourceElement);
       checkSourceElement(node.endOfFileToken);
       checkDeferredNodes(node);
@@ -83795,10 +83807,38 @@ function createTypeChecker(host) {
       links.flags |= 1 /* TypeChecked */;
     }
   }
-  function getDiagnostics(sourceFile, ct) {
+  function checkSourceFileNodesWorker(file, nodes) {
+    const links = getNodeLinks(file);
+    if (!(links.flags & 1 /* TypeChecked */)) {
+      if (skipTypeChecking(file, compilerOptions, host)) {
+        return;
+      }
+      checkGrammarSourceFile(file);
+      clear(potentialThisCollisions);
+      clear(potentialNewTargetCollisions);
+      clear(potentialWeakMapSetCollisions);
+      clear(potentialReflectCollisions);
+      clear(potentialUnusedRenamedBindingElementsInTypes);
+      forEach(nodes, checkSourceElement);
+      checkDeferredNodes(file);
+      (links.potentialThisCollisions || (links.potentialThisCollisions = [])).push(...potentialThisCollisions);
+      (links.potentialNewTargetCollisions || (links.potentialNewTargetCollisions = [])).push(...potentialNewTargetCollisions);
+      (links.potentialWeakMapSetCollisions || (links.potentialWeakMapSetCollisions = [])).push(...potentialWeakMapSetCollisions);
+      (links.potentialReflectCollisions || (links.potentialReflectCollisions = [])).push(...potentialReflectCollisions);
+      (links.potentialUnusedRenamedBindingElementsInTypes || (links.potentialUnusedRenamedBindingElementsInTypes = [])).push(
+        ...potentialUnusedRenamedBindingElementsInTypes
+      );
+      links.flags |= 8388608 /* PartiallyTypeChecked */;
+      for (const node of nodes) {
+        const nodeLinks2 = getNodeLinks(node);
+        nodeLinks2.flags |= 8388608 /* PartiallyTypeChecked */;
+      }
+    }
+  }
+  function getDiagnostics(sourceFile, ct, nodesToCheck) {
     try {
       cancellationToken = ct;
-      return getDiagnosticsWorker(sourceFile);
+      return getDiagnosticsWorker(sourceFile, nodesToCheck);
     } finally {
       cancellationToken = void 0;
     }
@@ -83809,20 +83849,23 @@ function createTypeChecker(host) {
     }
     deferredDiagnosticsCallbacks = [];
   }
-  function checkSourceFileWithEagerDiagnostics(sourceFile) {
+  function checkSourceFileWithEagerDiagnostics(sourceFile, nodesToCheck) {
     ensurePendingDiagnosticWorkComplete();
     const oldAddLazyDiagnostics = addLazyDiagnostic;
     addLazyDiagnostic = (cb) => cb();
-    checkSourceFile(sourceFile);
+    checkSourceFile(sourceFile, nodesToCheck);
     addLazyDiagnostic = oldAddLazyDiagnostics;
   }
-  function getDiagnosticsWorker(sourceFile) {
+  function getDiagnosticsWorker(sourceFile, nodesToCheck) {
     if (sourceFile) {
       ensurePendingDiagnosticWorkComplete();
       const previousGlobalDiagnostics = diagnostics.getGlobalDiagnostics();
       const previousGlobalDiagnosticsSize = previousGlobalDiagnostics.length;
-      checkSourceFileWithEagerDiagnostics(sourceFile);
+      checkSourceFileWithEagerDiagnostics(sourceFile, nodesToCheck);
       const semanticDiagnostics = diagnostics.getDiagnostics(sourceFile.fileName);
+      if (nodesToCheck) {
+        return semanticDiagnostics;
+      }
       const currentGlobalDiagnostics = diagnostics.getGlobalDiagnostics();
       if (currentGlobalDiagnostics !== previousGlobalDiagnostics) {
         const deferredGlobalDiagnostics = relativeComplement(previousGlobalDiagnostics, currentGlobalDiagnostics, compareDiagnostics);
@@ -83832,7 +83875,7 @@ function createTypeChecker(host) {
       }
       return semanticDiagnostics;
     }
-    forEach(host.getSourceFiles(), checkSourceFileWithEagerDiagnostics);
+    forEach(host.getSourceFiles(), (file) => checkSourceFileWithEagerDiagnostics(file));
     return diagnostics.getDiagnostics();
   }
   function getGlobalDiagnostics() {
@@ -85425,40 +85468,38 @@ function createTypeChecker(host) {
     amalgamatedDuplicates = void 0;
   }
   function checkExternalEmitHelpers(location, helpers) {
-    if (compilerOptions.importHelpers) {
+    if ((requestedExternalEmitHelpers & helpers) !== helpers && compilerOptions.importHelpers) {
       const sourceFile = getSourceFileOfNode(location);
       if (isEffectiveExternalModule(sourceFile, compilerOptions) && !(location.flags & 33554432 /* Ambient */)) {
         const helpersModule = resolveHelpersModule(sourceFile, location);
         if (helpersModule !== unknownSymbol) {
-          const links = getSymbolLinks(helpersModule);
-          links.requestedExternalEmitHelpers ?? (links.requestedExternalEmitHelpers = 0);
-          if ((links.requestedExternalEmitHelpers & helpers) !== helpers) {
-            const uncheckedHelpers = helpers & ~links.requestedExternalEmitHelpers;
-            for (let helper = 1 /* FirstEmitHelper */; helper <= 16777216 /* LastEmitHelper */; helper <<= 1) {
-              if (uncheckedHelpers & helper) {
-                for (const name of getHelperNames(helper)) {
-                  const symbol = resolveSymbol(getSymbol(getExportsOfModule(helpersModule), escapeLeadingUnderscores(name), 111551 /* Value */));
-                  if (!symbol) {
-                    error(location, Diagnostics.This_syntax_requires_an_imported_helper_named_1_which_does_not_exist_in_0_Consider_upgrading_your_version_of_0, externalHelpersModuleNameText, name);
-                  } else if (helper & 524288 /* ClassPrivateFieldGet */) {
-                    if (!some(getSignaturesOfSymbol(symbol), (signature) => getParameterCount(signature) > 3)) {
-                      error(location, Diagnostics.This_syntax_requires_an_imported_helper_named_1_with_2_parameters_which_is_not_compatible_with_the_one_in_0_Consider_upgrading_your_version_of_0, externalHelpersModuleNameText, name, 4);
-                    }
-                  } else if (helper & 1048576 /* ClassPrivateFieldSet */) {
-                    if (!some(getSignaturesOfSymbol(symbol), (signature) => getParameterCount(signature) > 4)) {
-                      error(location, Diagnostics.This_syntax_requires_an_imported_helper_named_1_with_2_parameters_which_is_not_compatible_with_the_one_in_0_Consider_upgrading_your_version_of_0, externalHelpersModuleNameText, name, 5);
-                    }
-                  } else if (helper & 1024 /* SpreadArray */) {
-                    if (!some(getSignaturesOfSymbol(symbol), (signature) => getParameterCount(signature) > 2)) {
-                      error(location, Diagnostics.This_syntax_requires_an_imported_helper_named_1_with_2_parameters_which_is_not_compatible_with_the_one_in_0_Consider_upgrading_your_version_of_0, externalHelpersModuleNameText, name, 3);
-                    }
+          const uncheckedHelpers = helpers & ~requestedExternalEmitHelpers;
+          for (let helper = 1 /* FirstEmitHelper */; helper <= 16777216 /* LastEmitHelper */; helper <<= 1) {
+            if (uncheckedHelpers & helper) {
+              for (const name of getHelperNames(helper)) {
+                if (requestedExternalEmitHelperNames.has(name)) continue;
+                requestedExternalEmitHelperNames.add(name);
+                const symbol = resolveSymbol(getSymbol(getExportsOfModule(helpersModule), escapeLeadingUnderscores(name), 111551 /* Value */));
+                if (!symbol) {
+                  error(location, Diagnostics.This_syntax_requires_an_imported_helper_named_1_which_does_not_exist_in_0_Consider_upgrading_your_version_of_0, externalHelpersModuleNameText, name);
+                } else if (helper & 524288 /* ClassPrivateFieldGet */) {
+                  if (!some(getSignaturesOfSymbol(symbol), (signature) => getParameterCount(signature) > 3)) {
+                    error(location, Diagnostics.This_syntax_requires_an_imported_helper_named_1_with_2_parameters_which_is_not_compatible_with_the_one_in_0_Consider_upgrading_your_version_of_0, externalHelpersModuleNameText, name, 4);
+                  }
+                } else if (helper & 1048576 /* ClassPrivateFieldSet */) {
+                  if (!some(getSignaturesOfSymbol(symbol), (signature) => getParameterCount(signature) > 4)) {
+                    error(location, Diagnostics.This_syntax_requires_an_imported_helper_named_1_with_2_parameters_which_is_not_compatible_with_the_one_in_0_Consider_upgrading_your_version_of_0, externalHelpersModuleNameText, name, 5);
+                  }
+                } else if (helper & 1024 /* SpreadArray */) {
+                  if (!some(getSignaturesOfSymbol(symbol), (signature) => getParameterCount(signature) > 2)) {
+                    error(location, Diagnostics.This_syntax_requires_an_imported_helper_named_1_with_2_parameters_which_is_not_compatible_with_the_one_in_0_Consider_upgrading_your_version_of_0, externalHelpersModuleNameText, name, 3);
                   }
                 }
               }
             }
           }
-          links.requestedExternalEmitHelpers |= helpers;
         }
+        requestedExternalEmitHelpers |= helpers;
       }
     }
   }
@@ -85519,11 +85560,10 @@ function createTypeChecker(host) {
     }
   }
   function resolveHelpersModule(file, errorNode) {
-    const links = getNodeLinks(file);
-    if (!links.externalHelpersModule) {
-      links.externalHelpersModule = resolveExternalModule(getImportHelpersImportSpecifier(file), externalHelpersModuleNameText, Diagnostics.This_syntax_requires_an_imported_helper_but_module_0_cannot_be_found, errorNode) || unknownSymbol;
+    if (!externalHelpersModule) {
+      externalHelpersModule = resolveExternalModule(getImportHelpersImportSpecifier(file), externalHelpersModuleNameText, Diagnostics.This_syntax_requires_an_imported_helper_but_module_0_cannot_be_found, errorNode) || unknownSymbol;
     }
-    return links.externalHelpersModule;
+    return externalHelpersModule;
   }
   function checkGrammarModifiers(node) {
     var _a;
@@ -88913,8 +88953,8 @@ function collectExternalModuleInfo(context, sourceFile) {
   const exportSpecifiers = new IdentifierNameMultiMap();
   const exportedBindings = [];
   const uniqueExports = /* @__PURE__ */ new Map();
-  const exportedFunctions = /* @__PURE__ */ new Set();
   let exportedNames;
+  let exportedFunctions;
   let hasExportDefault = false;
   let exportEquals;
   let hasExportStarsToExportValues = false;
@@ -88974,12 +89014,19 @@ function collectExternalModuleInfo(context, sourceFile) {
         break;
       case 262 /* FunctionDeclaration */:
         if (hasSyntacticModifier(node, 32 /* Export */)) {
-          addExportedFunctionDeclaration(
-            node,
-            /*name*/
-            void 0,
-            hasSyntacticModifier(node, 2048 /* Default */)
-          );
+          exportedFunctions = append(exportedFunctions, node);
+          if (hasSyntacticModifier(node, 2048 /* Default */)) {
+            if (!hasExportDefault) {
+              multiMapSparseArrayAdd(exportedBindings, getOriginalNodeId(node), context.factory.getDeclarationName(node));
+              hasExportDefault = true;
+            }
+          } else {
+            const name = node.name;
+            if (!uniqueExports.get(idText(name))) {
+              multiMapSparseArrayAdd(exportedBindings, getOriginalNodeId(node), name);
+              uniqueExports.set(idText(name), true);
+            }
+          }
         }
         break;
       case 263 /* ClassDeclaration */:
@@ -89015,10 +89062,6 @@ function collectExternalModuleInfo(context, sourceFile) {
         }
         const decl = resolver.getReferencedImportDeclaration(name) || resolver.getReferencedValueDeclaration(name);
         if (decl) {
-          if (decl.kind === 262 /* FunctionDeclaration */) {
-            addExportedFunctionDeclaration(decl, specifier.name, specifier.name.escapedText === "default" /* Default */);
-            continue;
-          }
           multiMapSparseArrayAdd(exportedBindings, getOriginalNodeId(decl), specifier.name);
         }
         uniqueExports.set(idText(specifier.name), true);
@@ -89026,21 +89069,6 @@ function collectExternalModuleInfo(context, sourceFile) {
       }
     }
   }
-  function addExportedFunctionDeclaration(node, name, isDefault) {
-    exportedFunctions.add(node);
-    if (isDefault) {
-      if (!hasExportDefault) {
-        multiMapSparseArrayAdd(exportedBindings, getOriginalNodeId(node), name ?? context.factory.getDeclarationName(node));
-        hasExportDefault = true;
-      }
-    } else {
-      name ?? (name = node.name);
-      if (!uniqueExports.get(idText(name))) {
-        multiMapSparseArrayAdd(exportedBindings, getOriginalNodeId(node), name);
-        uniqueExports.set(idText(name), true);
-      }
-    }
-  }
 }
 function collectExportedVariableInfo(decl, uniqueExports, exportedNames, exportedBindings) {
   if (isBindingPattern(decl.name)) {
@@ -106323,8 +106351,10 @@ function transformModule(context) {
         );
       }
     }
-    for (const f of currentModuleInfo.exportedFunctions) {
-      appendExportsOfHoistedDeclaration(statements, f);
+    if (some(currentModuleInfo.exportedFunctions)) {
+      for (const f of currentModuleInfo.exportedFunctions) {
+        appendExportsOfHoistedDeclaration(statements, f);
+      }
     }
     append(statements, visitNode(currentModuleInfo.externalHelpersImportDeclaration, topLevelVisitor, isStatement));
     addRange(statements, visitNodes2(node.statements, topLevelVisitor, isStatement, statementOffset));
@@ -106641,8 +106671,10 @@ function transformModule(context) {
     if (some(currentModuleInfo.exportedNames)) {
       append(statements, factory2.createExpressionStatement(reduceLeft(currentModuleInfo.exportedNames, (prev, nextId) => factory2.createAssignment(factory2.createPropertyAccessExpression(factory2.createIdentifier("exports"), factory2.createIdentifier(idText(nextId))), prev), factory2.createVoidZero())));
     }
-    for (const f of currentModuleInfo.exportedFunctions) {
-      appendExportsOfHoistedDeclaration(statements, f);
+    if (some(currentModuleInfo.exportedFunctions)) {
+      for (const f of currentModuleInfo.exportedFunctions) {
+        appendExportsOfHoistedDeclaration(statements, f);
+      }
     }
     append(statements, visitNode(currentModuleInfo.externalHelpersImportDeclaration, topLevelVisitor, isStatement));
     if (moduleKind === 2 /* AMD */) {
@@ -108356,7 +108388,7 @@ function transformSystemModule(context) {
     if (!moduleInfo.hasExportStarsToExportValues) {
       return;
     }
-    if (!some(moduleInfo.exportedNames) && moduleInfo.exportedFunctions.size === 0 && moduleInfo.exportSpecifiers.size === 0) {
+    if (!some(moduleInfo.exportedNames) && !some(moduleInfo.exportedFunctions) && moduleInfo.exportSpecifiers.size === 0) {
       let hasExportDeclarationWithExportClause = false;
       for (const externalImport of moduleInfo.externalImports) {
         if (externalImport.kind === 278 /* ExportDeclaration */ && externalImport.exportClause) {
@@ -108387,17 +108419,19 @@ function transformSystemModule(context) {
         );
       }
     }
-    for (const f of moduleInfo.exportedFunctions) {
-      if (hasSyntacticModifier(f, 2048 /* Default */)) {
-        continue;
+    if (moduleInfo.exportedFunctions) {
+      for (const f of moduleInfo.exportedFunctions) {
+        if (hasSyntacticModifier(f, 2048 /* Default */)) {
+          continue;
+        }
+        Debug.assert(!!f.name);
+        exportedNames.push(
+          factory2.createPropertyAssignment(
+            factory2.createStringLiteralFromNode(f.name),
+            factory2.createTrue()
+          )
+        );
       }
-      Debug.assert(!!f.name);
-      exportedNames.push(
-        factory2.createPropertyAssignment(
-          factory2.createStringLiteralFromNode(f.name),
-          factory2.createTrue()
-        )
-      );
     }
     const exportedNamesStorageRef = factory2.createUniqueName("exportedNames");
     statements.push(
@@ -119668,15 +119702,24 @@ function createProgram(rootNamesOrOptions, _options, _host, _oldProgram, _config
   function getSyntacticDiagnostics(sourceFile, cancellationToken) {
     return getDiagnosticsHelper(sourceFile, getSyntacticDiagnosticsForFile, cancellationToken);
   }
-  function getSemanticDiagnostics(sourceFile, cancellationToken) {
-    return getDiagnosticsHelper(sourceFile, getSemanticDiagnosticsForFile, cancellationToken);
+  function getSemanticDiagnostics(sourceFile, cancellationToken, nodesToCheck) {
+    return getDiagnosticsHelper(
+      sourceFile,
+      (sourceFile2, cancellationToken2) => getSemanticDiagnosticsForFile(sourceFile2, cancellationToken2, nodesToCheck),
+      cancellationToken
+    );
   }
   function getCachedSemanticDiagnostics(sourceFile) {
     var _a2;
     return sourceFile ? (_a2 = cachedBindAndCheckDiagnosticsForFile.perFile) == null ? void 0 : _a2.get(sourceFile.path) : cachedBindAndCheckDiagnosticsForFile.allDiagnostics;
   }
   function getBindAndCheckDiagnostics(sourceFile, cancellationToken) {
-    return getBindAndCheckDiagnosticsForFile(sourceFile, cancellationToken);
+    return getBindAndCheckDiagnosticsForFile(
+      sourceFile,
+      cancellationToken,
+      /*nodesToCheck*/
+      void 0
+    );
   }
   function getProgramDiagnostics(sourceFile) {
     var _a2;
@@ -119716,16 +119759,19 @@ function createProgram(rootNamesOrOptions, _options, _host, _oldProgram, _config
       throw e;
     }
   }
-  function getSemanticDiagnosticsForFile(sourceFile, cancellationToken) {
+  function getSemanticDiagnosticsForFile(sourceFile, cancellationToken, nodesToCheck) {
     return concatenate(
-      filterSemanticDiagnostics(getBindAndCheckDiagnosticsForFile(sourceFile, cancellationToken), options),
+      filterSemanticDiagnostics(getBindAndCheckDiagnosticsForFile(sourceFile, cancellationToken, nodesToCheck), options),
       getProgramDiagnostics(sourceFile)
     );
   }
-  function getBindAndCheckDiagnosticsForFile(sourceFile, cancellationToken) {
+  function getBindAndCheckDiagnosticsForFile(sourceFile, cancellationToken, nodesToCheck) {
+    if (nodesToCheck) {
+      return getBindAndCheckDiagnosticsForFileNoCache(sourceFile, cancellationToken, nodesToCheck);
+    }
     return getAndCacheDiagnostics(sourceFile, cancellationToken, cachedBindAndCheckDiagnosticsForFile, getBindAndCheckDiagnosticsForFileNoCache);
   }
-  function getBindAndCheckDiagnosticsForFileNoCache(sourceFile, cancellationToken) {
+  function getBindAndCheckDiagnosticsForFileNoCache(sourceFile, cancellationToken, nodesToCheck) {
     return runWithCancellationToken(() => {
       if (skipTypeChecking(sourceFile, options, program)) {
         return emptyArray;
@@ -119733,26 +119779,35 @@ function createProgram(rootNamesOrOptions, _options, _host, _oldProgram, _config
       const typeChecker2 = getTypeChecker();
       Debug.assert(!!sourceFile.bindDiagnostics);
       const isJs = sourceFile.scriptKind === 1 /* JS */ || sourceFile.scriptKind === 2 /* JSX */;
-      const isCheckJs = isJs && isCheckJsEnabledForFile(sourceFile, options);
       const isPlainJs = isPlainJsFile(sourceFile, options.checkJs);
-      const isTsNoCheck = !!sourceFile.checkJsDirective && sourceFile.checkJsDirective.enabled === false;
-      const includeBindAndCheckDiagnostics = !isTsNoCheck && (sourceFile.scriptKind === 3 /* TS */ || sourceFile.scriptKind === 4 /* TSX */ || sourceFile.scriptKind === 5 /* External */ || isPlainJs || isCheckJs || sourceFile.scriptKind === 7 /* Deferred */);
+      const isCheckJs = isJs && isCheckJsEnabledForFile(sourceFile, options);
+      const includeBindAndCheckDiagnostics = shouldIncludeBindAndCheckDiagnostics(sourceFile, options);
       let bindDiagnostics = includeBindAndCheckDiagnostics ? sourceFile.bindDiagnostics : emptyArray;
-      let checkDiagnostics = includeBindAndCheckDiagnostics ? typeChecker2.getDiagnostics(sourceFile, cancellationToken) : emptyArray;
+      let checkDiagnostics = includeBindAndCheckDiagnostics ? typeChecker2.getDiagnostics(sourceFile, cancellationToken, nodesToCheck) : emptyArray;
       if (isPlainJs) {
         bindDiagnostics = filter(bindDiagnostics, (d) => plainJSErrors.has(d.code));
         checkDiagnostics = filter(checkDiagnostics, (d) => plainJSErrors.has(d.code));
       }
-      return getMergedBindAndCheckDiagnostics(sourceFile, includeBindAndCheckDiagnostics && !isPlainJs, bindDiagnostics, checkDiagnostics, isCheckJs ? sourceFile.jsDocDiagnostics : void 0);
+      return getMergedBindAndCheckDiagnostics(
+        sourceFile,
+        includeBindAndCheckDiagnostics && !isPlainJs,
+        !!nodesToCheck,
+        bindDiagnostics,
+        checkDiagnostics,
+        isCheckJs ? sourceFile.jsDocDiagnostics : void 0
+      );
     });
   }
-  function getMergedBindAndCheckDiagnostics(sourceFile, includeBindAndCheckDiagnostics, ...allDiagnostics) {
+  function getMergedBindAndCheckDiagnostics(sourceFile, includeBindAndCheckDiagnostics, partialCheck, ...allDiagnostics) {
     var _a2;
     const flatDiagnostics = flatten(allDiagnostics);
     if (!includeBindAndCheckDiagnostics || !((_a2 = sourceFile.commentDirectives) == null ? void 0 : _a2.length)) {
       return flatDiagnostics;
     }
     const { diagnostics, directives } = getDiagnosticsWithPrecedingDirectives(sourceFile, sourceFile.commentDirectives, flatDiagnostics);
+    if (partialCheck) {
+      return diagnostics;
+    }
     for (const errorExpectation of directives.getUnusedExpectations()) {
       diagnostics.push(createDiagnosticForRange(sourceFile, errorExpectation.range, Diagnostics.Unused_ts_expect_error_directive));
     }