@typescript-deploys/pr-build 5.6.0-pr-59689-2 → 5.7.0-pr-59688-4

package/lib/tsc.js

@@ -17,8 +17,8 @@ and limitations under the License.
 "use strict";
 
 // src/compiler/corePublic.ts
-var versionMajorMinor = "5.6";
-var version = `${versionMajorMinor}.0-insiders.20240819`;
+var versionMajorMinor = "5.7";
+var version = `${versionMajorMinor}.0-insiders.20240820`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -17134,6 +17134,9 @@ function accessKind(node) {
       return node === parent.objectAssignmentInitializer ? 0 /* Read */ : accessKind(parent.parent);
     case 209 /* ArrayLiteralExpression */:
       return accessKind(parent);
+    case 249 /* ForInStatement */:
+    case 250 /* ForOfStatement */:
+      return node === parent.initializer ? 1 /* Write */ : 0 /* Read */;
     default:
       return 0 /* Read */;
   }
@@ -38244,6 +38247,9 @@ function getErrorForNoInputFiles({ includeSpecs, excludeSpecs }, configFileName)
 function shouldReportNoInputFiles(fileNames, canJsonReportNoInutFiles, resolutionStack) {
   return fileNames.length === 0 && canJsonReportNoInutFiles && (!resolutionStack || resolutionStack.length === 0);
 }
+function isSolutionConfig(config) {
+  return !config.fileNames.length && hasProperty(config.raw, "references");
+}
 function canJsonReportNoInputFiles(raw) {
   return !hasProperty(raw, "files") && !hasProperty(raw, "references");
 }
@@ -69774,6 +69780,12 @@ function createTypeChecker(host) {
   function getControlFlowContainer(node) {
     return findAncestor(node.parent, (node2) => isFunctionLike(node2) && !getImmediatelyInvokedFunctionExpression(node2) || node2.kind === 268 /* ModuleBlock */ || node2.kind === 307 /* SourceFile */ || node2.kind === 172 /* PropertyDeclaration */);
   }
+  function isSymbolAssignedDefinitely(symbol) {
+    if (symbol.lastAssignmentPos !== void 0) {
+      return symbol.lastAssignmentPos < 0;
+    }
+    return isSymbolAssigned(symbol) && symbol.lastAssignmentPos !== void 0 && symbol.lastAssignmentPos < 0;
+  }
   function isSymbolAssigned(symbol) {
     return !isPastLastAssignment(
       symbol,
@@ -69793,7 +69805,7 @@ function createTypeChecker(host) {
         markNodeAssignments(parent);
       }
     }
-    return !symbol.lastAssignmentPos || location && symbol.lastAssignmentPos < location.pos;
+    return !symbol.lastAssignmentPos || location && Math.abs(symbol.lastAssignmentPos) < location.pos;
   }
   function isSomeSymbolAssigned(rootDeclaration) {
     Debug.assert(isVariableDeclaration(rootDeclaration) || isParameter(rootDeclaration));
@@ -69814,12 +69826,19 @@ function createTypeChecker(host) {
   function markNodeAssignments(node) {
     switch (node.kind) {
       case 80 /* Identifier */:
-        if (isAssignmentTarget(node)) {
+        const assigmentTarget = getAssignmentTargetKind(node);
+        if (assigmentTarget !== 0 /* None */) {
           const symbol = getResolvedSymbol(node);
-          if (isParameterOrMutableLocalVariable(symbol) && symbol.lastAssignmentPos !== Number.MAX_VALUE) {
-            const referencingFunction = findAncestor(node, isFunctionOrSourceFile);
-            const declaringFunction = findAncestor(symbol.valueDeclaration, isFunctionOrSourceFile);
-            symbol.lastAssignmentPos = referencingFunction === declaringFunction ? extendAssignmentPosition(node, symbol.valueDeclaration) : Number.MAX_VALUE;
+          const hasDefiniteAssignment = assigmentTarget === 1 /* Definite */ || symbol.lastAssignmentPos !== void 0 && symbol.lastAssignmentPos < 0;
+          if (isParameterOrMutableLocalVariable(symbol)) {
+            if (symbol.lastAssignmentPos === void 0 || Math.abs(symbol.lastAssignmentPos) !== Number.MAX_VALUE) {
+              const referencingFunction = findAncestor(node, isFunctionOrSourceFile);
+              const declaringFunction = findAncestor(symbol.valueDeclaration, isFunctionOrSourceFile);
+              symbol.lastAssignmentPos = referencingFunction === declaringFunction ? extendAssignmentPosition(node, symbol.valueDeclaration) : Number.MAX_VALUE;
+            }
+            if (hasDefiniteAssignment && symbol.lastAssignmentPos > 0) {
+              symbol.lastAssignmentPos *= -1;
+            }
           }
         }
         return;
@@ -69836,7 +69855,8 @@ function createTypeChecker(host) {
             true
           );
           if (symbol && isParameterOrMutableLocalVariable(symbol)) {
-            symbol.lastAssignmentPos = Number.MAX_VALUE;
+            const sign = symbol.lastAssignmentPos !== void 0 && symbol.lastAssignmentPos < 0 ? -1 : 1;
+            symbol.lastAssignmentPos = sign * Number.MAX_VALUE;
           }
         }
         return;
@@ -70420,6 +70440,7 @@ function createTypeChecker(host) {
     }
     const localOrExportSymbol = getExportSymbolOfValueSymbolIfExported(symbol);
     let declaration = localOrExportSymbol.valueDeclaration;
+    const immediateDeclaration = declaration;
     if (declaration && declaration.kind === 208 /* BindingElement */ && contains(contextualBindingPatterns, declaration.parent) && findAncestor(node, (parent) => parent === declaration.parent)) {
       return nonInferrableAnyType;
     }
@@ -70465,7 +70486,8 @@ function createTypeChecker(host) {
     while (flowContainer !== declarationContainer && (flowContainer.kind === 218 /* FunctionExpression */ || flowContainer.kind === 219 /* ArrowFunction */ || isObjectLiteralOrClassExpressionMethodOrAccessor(flowContainer)) && (isConstantVariable(localOrExportSymbol) && type !== autoArrayType || isParameterOrMutableLocalVariable(localOrExportSymbol) && isPastLastAssignment(localOrExportSymbol, node))) {
       flowContainer = getControlFlowContainer(flowContainer);
     }
-    const assumeInitialized = isParameter2 || isAlias || isOuterVariable || isSpreadDestructuringAssignmentTarget || isModuleExports || isSameScopedBindingElement(node, declaration) || type !== autoType && type !== autoArrayType && (!strictNullChecks || (type.flags & (3 /* AnyOrUnknown */ | 16384 /* Void */)) !== 0 || isInTypeQuery(node) || isInAmbientOrTypeNode(node) || node.parent.kind === 281 /* ExportSpecifier */) || node.parent.kind === 235 /* NonNullExpression */ || declaration.kind === 260 /* VariableDeclaration */ && declaration.exclamationToken || declaration.flags & 33554432 /* Ambient */;
+    const isNeverInitialized = immediateDeclaration && isVariableDeclaration(immediateDeclaration) && !immediateDeclaration.initializer && !immediateDeclaration.exclamationToken && isMutableLocalVariableDeclaration(immediateDeclaration) && !isSymbolAssignedDefinitely(symbol);
+    const assumeInitialized = isParameter2 || isAlias || isOuterVariable && !isNeverInitialized || isSpreadDestructuringAssignmentTarget || isModuleExports || isSameScopedBindingElement(node, declaration) || type !== autoType && type !== autoArrayType && (!strictNullChecks || (type.flags & (3 /* AnyOrUnknown */ | 16384 /* Void */)) !== 0 || isInTypeQuery(node) || isInAmbientOrTypeNode(node) || node.parent.kind === 281 /* ExportSpecifier */) || node.parent.kind === 235 /* NonNullExpression */ || declaration.kind === 260 /* VariableDeclaration */ && declaration.exclamationToken || declaration.flags & 33554432 /* Ambient */;
     const initialType = isAutomaticTypeInNonNull ? undefinedType : assumeInitialized ? isParameter2 ? removeOptionalityFromDeclaredType(type, declaration) : type : typeIsAutomatic ? undefinedType : getOptionalType(type);
     const flowType = isAutomaticTypeInNonNull ? getNonNullableType(getFlowTypeOfReference(node, type, initialType, flowContainer)) : getFlowTypeOfReference(node, type, initialType, flowContainer);
     if (!isEvolvingArrayOperationTarget(node) && (type === autoType || type === autoArrayType)) {
@@ -91469,7 +91491,7 @@ function transformTypeScript(context) {
   let currentNamespaceContainerName;
   let currentLexicalScope;
   let currentScopeFirstDeclarationsOfName;
-  let enabledSubstitutions;
+  let enabledSubstitutions = 0 /* None */;
   let applicableSubstitutions;
   return transformSourceFileOrBundle;
   function transformSourceFileOrBundle(node) {
@@ -93277,7 +93299,7 @@ function transformClassFields(context) {
   const previousOnEmitNode = context.onEmitNode;
   context.onEmitNode = onEmitNode;
   let shouldTransformPrivateStaticElementsInFile = false;
-  let enabledSubstitutions;
+  let enabledSubstitutions = 0 /* None */;
   let classAliases;
   let pendingExpressions;
   let pendingStatements;
@@ -98206,7 +98228,7 @@ function transformES2017(context) {
   const resolver = context.getEmitResolver();
   const compilerOptions = context.getCompilerOptions();
   const languageVersion = getEmitScriptTarget(compilerOptions);
-  let enabledSubstitutions;
+  let enabledSubstitutions = 0 /* None */;
   let enclosingSuperContainerFlags = 0;
   let enclosingFunctionParameterNames;
   let capturedSuperProperties;
@@ -99081,7 +99103,7 @@ function transformES2018(context) {
   const previousOnSubstituteNode = context.onSubstituteNode;
   context.onSubstituteNode = onSubstituteNode;
   let exportedVariableStatement = false;
-  let enabledSubstitutions;
+  let enabledSubstitutions = 0 /* None */;
   let enclosingFunctionFlags;
   let parametersWithPrecedingObjectRestOrSpread;
   let enclosingSuperContainerFlags = 0;
@@ -102216,7 +102238,7 @@ function transformES2015(context) {
     );
   }
   let convertedLoopState;
-  let enabledSubstitutions;
+  let enabledSubstitutions = 0 /* None */;
   return chainBundle(context, transformSourceFile);
   function transformSourceFile(node) {
     if (node.isDeclarationFile) {
@@ -119664,15 +119686,22 @@ function forEachProjectReference(projectReferences, resolvedProjectReferences, c
       const result = cbRef(projectReferences2, parent);
       if (result) return result;
     }
-    return forEach(resolvedProjectReferences2, (resolvedRef, index) => {
-      if (resolvedRef && (seenResolvedRefs == null ? void 0 : seenResolvedRefs.has(resolvedRef.sourceFile.path))) {
-        return void 0;
+    let skipChildren;
+    return forEach(
+      resolvedProjectReferences2,
+      (resolvedRef, index) => {
+        if (resolvedRef && (seenResolvedRefs == null ? void 0 : seenResolvedRefs.has(resolvedRef.sourceFile.path))) {
+          (skipChildren ?? (skipChildren = /* @__PURE__ */ new Set())).add(resolvedRef);
+          return void 0;
+        }
+        const result = cbResolvedRef(resolvedRef, parent, index);
+        if (result || !resolvedRef) return result;
+        (seenResolvedRefs || (seenResolvedRefs = /* @__PURE__ */ new Set())).add(resolvedRef.sourceFile.path);
       }
-      const result = cbResolvedRef(resolvedRef, parent, index);
-      if (result || !resolvedRef) return result;
-      (seenResolvedRefs || (seenResolvedRefs = /* @__PURE__ */ new Set())).add(resolvedRef.sourceFile.path);
-      return worker(resolvedRef.commandLine.projectReferences, resolvedRef.references, resolvedRef);
-    });
+    ) || forEach(
+      resolvedProjectReferences2,
+      (resolvedRef) => resolvedRef && !(skipChildren == null ? void 0 : skipChildren.has(resolvedRef)) ? worker(resolvedRef.commandLine.projectReferences, resolvedRef.references, resolvedRef) : void 0
+    );
   }
 }
 var inferredTypesContainingFile = "__inferred type names__.ts";
@@ -119770,7 +119799,13 @@ function isProgramUptoDate(program, rootFileNames, newOptions, getSourceVersion,
       if (oldResolvedRef.commandLine.options.configFile !== newParsedCommandLine.options.configFile) return false;
       if (!arrayIsEqualTo(oldResolvedRef.commandLine.fileNames, newParsedCommandLine.fileNames)) return false;
       (seenResolvedRefs || (seenResolvedRefs = [])).push(oldResolvedRef);
-      return !forEach(oldResolvedRef.references, (childResolvedRef, index) => !resolvedProjectReferenceUptoDate(childResolvedRef, oldResolvedRef.commandLine.projectReferences[index]));
+      return !forEach(
+        oldResolvedRef.references,
+        (childResolvedRef, index) => !resolvedProjectReferenceUptoDate(
+          childResolvedRef,
+          oldResolvedRef.commandLine.projectReferences[index]
+        )
+      );
     }
     const refPath = resolveProjectReferencePath(oldRef);
     return !getParsedCommandLine(refPath);
@@ -122702,7 +122737,11 @@ function createProgram(rootNamesOrOptions, _options, _host, _oldProgram, _config
       case 1 /* SourceFromProjectReference */:
       case 2 /* OutputFromProjectReference */:
         const referencedResolvedRef = Debug.checkDefined(resolvedProjectReferences == null ? void 0 : resolvedProjectReferences[reason.index]);
-        const referenceInfo = forEachProjectReference(projectReferences, resolvedProjectReferences, (resolvedRef, parent, index2) => resolvedRef === referencedResolvedRef ? { sourceFile: (parent == null ? void 0 : parent.sourceFile) || options.configFile, index: index2 } : void 0);
+        const referenceInfo = forEachProjectReference(
+          projectReferences,
+          resolvedProjectReferences,
+          (resolvedRef, parent, index2) => resolvedRef === referencedResolvedRef ? { sourceFile: (parent == null ? void 0 : parent.sourceFile) || options.configFile, index: index2 } : void 0
+        );
         if (!referenceInfo) return void 0;
         const { sourceFile, index } = referenceInfo;
         const referencesSyntax = forEachTsConfigPropArray(sourceFile, "references", (property) => isArrayLiteralExpression(property.initializer) ? property.initializer : void 0);
@@ -122737,27 +122776,31 @@ function createProgram(rootNamesOrOptions, _options, _host, _oldProgram, _config
   }
   function verifyProjectReferences() {
     const buildInfoPath = !options.suppressOutputPathCheck ? getTsBuildInfoEmitOutputFilePath(options) : void 0;
-    forEachProjectReference(projectReferences, resolvedProjectReferences, (resolvedRef, parent, index) => {
-      const ref = (parent ? parent.commandLine.projectReferences : projectReferences)[index];
-      const parentFile = parent && parent.sourceFile;
-      verifyDeprecatedProjectReference(ref, parentFile, index);
-      if (!resolvedRef) {
-        createDiagnosticForReference(parentFile, index, Diagnostics.File_0_not_found, ref.path);
-        return;
-      }
-      const options2 = resolvedRef.commandLine.options;
-      if (!options2.composite || options2.noEmit) {
-        const inputs = parent ? parent.commandLine.fileNames : rootNames;
-        if (inputs.length) {
-          if (!options2.composite) createDiagnosticForReference(parentFile, index, Diagnostics.Referenced_project_0_must_have_setting_composite_Colon_true, ref.path);
-          if (options2.noEmit) createDiagnosticForReference(parentFile, index, Diagnostics.Referenced_project_0_may_not_disable_emit, ref.path);
+    forEachProjectReference(
+      projectReferences,
+      resolvedProjectReferences,
+      (resolvedRef, parent, index) => {
+        const ref = (parent ? parent.commandLine.projectReferences : projectReferences)[index];
+        const parentFile = parent && parent.sourceFile;
+        verifyDeprecatedProjectReference(ref, parentFile, index);
+        if (!resolvedRef) {
+          createDiagnosticForReference(parentFile, index, Diagnostics.File_0_not_found, ref.path);
+          return;
+        }
+        const options2 = resolvedRef.commandLine.options;
+        if (!options2.composite || options2.noEmit) {
+          const inputs = parent ? parent.commandLine.fileNames : rootNames;
+          if (inputs.length) {
+            if (!options2.composite) createDiagnosticForReference(parentFile, index, Diagnostics.Referenced_project_0_must_have_setting_composite_Colon_true, ref.path);
+            if (options2.noEmit) createDiagnosticForReference(parentFile, index, Diagnostics.Referenced_project_0_may_not_disable_emit, ref.path);
+          }
+        }
+        if (!parent && buildInfoPath && buildInfoPath === getTsBuildInfoEmitOutputFilePath(options2)) {
+          createDiagnosticForReference(parentFile, index, Diagnostics.Cannot_write_file_0_because_it_will_overwrite_tsbuildinfo_file_generated_by_referenced_project_1, buildInfoPath, ref.path);
+          hasEmitBlockingDiagnostics.set(toPath3(buildInfoPath), true);
         }
       }
-      if (!parent && buildInfoPath && buildInfoPath === getTsBuildInfoEmitOutputFilePath(options2)) {
-        createDiagnosticForReference(parentFile, index, Diagnostics.Cannot_write_file_0_because_it_will_overwrite_tsbuildinfo_file_generated_by_referenced_project_1, buildInfoPath, ref.path);
-        hasEmitBlockingDiagnostics.set(toPath3(buildInfoPath), true);
-      }
-    });
+    );
   }
   function createDiagnosticForOptionPathKeyValue(key, valueIndex, message, ...args) {
     let needCompilerDiagnostic = true;
@@ -127294,7 +127337,13 @@ function createWatchProgram(host) {
     Debug.assert(configFileName);
     updateLevel = 0 /* Update */;
     rootFileNames = getFileNamesFromConfigSpecs(compilerOptions.configFile.configFileSpecs, getNormalizedAbsolutePath(getDirectoryPath(configFileName), currentDirectory), compilerOptions, parseConfigFileHost, extraFileExtensions);
-    if (updateErrorForNoInputFiles(rootFileNames, getNormalizedAbsolutePath(configFileName, currentDirectory), compilerOptions.configFile.configFileSpecs, configFileParsingDiagnostics, canConfigFileJsonReportNoInputFiles)) {
+    if (updateErrorForNoInputFiles(
+      rootFileNames,
+      getNormalizedAbsolutePath(configFileName, currentDirectory),
+      compilerOptions.configFile.configFileSpecs,
+      configFileParsingDiagnostics,
+      canConfigFileJsonReportNoInputFiles
+    )) {
       hasChangedConfigFileParsingErrors = true;
     }
     synchronizeProgram();
@@ -128255,7 +128304,13 @@ function getNextInvalidatedProjectCreateInfo(state, buildOrder, reportQueue) {
       watchPackageJsonFiles(state, project, projectPath, config);
     } else if (updateLevel === 1 /* RootNamesAndUpdate */) {
       config.fileNames = getFileNamesFromConfigSpecs(config.options.configFile.configFileSpecs, getDirectoryPath(project), config.options, state.parseConfigFileHost);
-      updateErrorForNoInputFiles(config.fileNames, project, config.options.configFile.configFileSpecs, config.errors, canJsonReportNoInputFiles(config.raw));
+      updateErrorForNoInputFiles(
+        config.fileNames,
+        project,
+        config.options.configFile.configFileSpecs,
+        config.errors,
+        canJsonReportNoInputFiles(config.raw)
+      );
       watchInputFiles(state, project, projectPath, config);
       watchPackageJsonFiles(state, project, projectPath, config);
     }
@@ -128436,11 +128491,7 @@ function checkConfigFileUpToDateStatus(state, configFile, oldestOutputFileTime,
 }
 function getUpToDateStatusWorker(state, project, resolvedPath) {
   var _a, _b, _c, _d, _e;
-  if (!project.fileNames.length && !canJsonReportNoInputFiles(project.raw)) {
-    return {
-      type: 16 /* ContainerOnly */
-    };
-  }
+  if (isSolutionConfig(project)) return { type: 16 /* ContainerOnly */ };
   let referenceStatuses;
   const force = !!state.options.force;
   if (project.projectReferences) {

package/lib/typescript.d.ts

@@ -2828,7 +2828,6 @@ declare namespace ts {
             private lastReportedFileNames;
             private lastReportedVersion;
             protected projectErrors: Diagnostic[] | undefined;
-            protected isInitialLoadPending: () => boolean;
             private typingsCache;
             private typingWatchers;
             private readonly cancellationToken;
@@ -3277,6 +3276,7 @@ declare namespace ts {
             private deleteScriptInfo;
             private configFileExists;
             private createConfigFileWatcherForParsedConfig;
+            private ensureConfigFileWatcherForProject;
             private forEachConfigFileLocation;
             private getConfigFileNameForFileFromCache;
             private setConfigFileNameForFileInCache;
@@ -3290,6 +3290,7 @@ declare namespace ts {
             private updateNonInferredProjectFiles;
             private updateRootAndOptionsOfNonInferredProject;
             private reloadFileNamesOfParsedConfig;
+            private setProjectForReload;
             private clearSemanticCache;
             private getOrCreateInferredProjectForProjectRootPathIfEnabled;
             private getOrCreateSingleInferredProjectIfEnabled;
@@ -3336,6 +3337,8 @@ declare namespace ts {
             private getOrCreateOpenScriptInfo;
             private assignProjectToOpenedScriptInfo;
             private tryFindDefaultConfiguredProjectForOpenScriptInfo;
+            private isMatchedByConfig;
+            private tryFindDefaultConfiguredProjectForOpenScriptInfoOrClosedFileInfo;
             private tryFindDefaultConfiguredProjectAndLoadAncestorsForOpenScriptInfo;
             private ensureProjectChildren;
             private cleanupConfiguredProjects;
@@ -3595,7 +3598,7 @@ declare namespace ts {
             readDirectory(rootDir: string, extensions: readonly string[], excludes: readonly string[] | undefined, includes: readonly string[] | undefined, depth?: number): string[];
         }
     }
-    const versionMajorMinor = "5.6";
+    const versionMajorMinor = "5.7";
     /** The version of the TypeScript compiler release */
     const version: string;
     /**