typescript 5.7.0-dev.20240820 → 5.7.0-dev.20240821

package/lib/tsc.js

@@ -18,7 +18,7 @@ and limitations under the License.
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.7";
-var version = `${versionMajorMinor}.0-dev.20240820`;
+var version = `${versionMajorMinor}.0-dev.20240821`;
 
 // 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 */;
   }
@@ -69774,6 +69777,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 +69802,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 +69823,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 +69852,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 +70437,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 +70483,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 +91488,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 +93296,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 +98225,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 +99100,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 +102235,7 @@ function transformES2015(context) {
     );
   }
   let convertedLoopState;
-  let enabledSubstitutions;
+  let enabledSubstitutions = 0 /* None */;
   return chainBundle(context, transformSourceFile);
   function transformSourceFile(node) {
     if (node.isDeclarationFile) {

package/lib/typescript.js

@@ -2263,7 +2263,7 @@ module.exports = __toCommonJS(typescript_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.7";
-var version = `${versionMajorMinor}.0-dev.20240820`;
+var version = `${versionMajorMinor}.0-dev.20240821`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -21026,6 +21026,9 @@ function accessKind(node) {
       return node === parent2.objectAssignmentInitializer ? 0 /* Read */ : accessKind(parent2.parent);
     case 209 /* ArrayLiteralExpression */:
       return accessKind(parent2);
+    case 249 /* ForInStatement */:
+    case 250 /* ForOfStatement */:
+      return node === parent2.initializer ? 1 /* Write */ : 0 /* Read */;
     default:
       return 0 /* Read */;
   }
@@ -74394,6 +74397,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,
@@ -74413,7 +74422,7 @@ function createTypeChecker(host) {
         markNodeAssignments(parent2);
       }
     }
-    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));
@@ -74434,12 +74443,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;
@@ -74456,7 +74472,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;
@@ -75040,6 +75057,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, (parent2) => parent2 === declaration.parent)) {
       return nonInferrableAnyType;
     }
@@ -75085,7 +75103,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)) {
@@ -96271,7 +96290,7 @@ function transformTypeScript(context) {
   let currentNamespaceContainerName;
   let currentLexicalScope;
   let currentScopeFirstDeclarationsOfName;
-  let enabledSubstitutions;
+  let enabledSubstitutions = 0 /* None */;
   let applicableSubstitutions;
   return transformSourceFileOrBundle;
   function transformSourceFileOrBundle(node) {
@@ -98079,7 +98098,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;
@@ -103008,7 +103027,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;
@@ -103883,7 +103902,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;
@@ -107018,7 +107037,7 @@ function transformES2015(context) {
     );
   }
   let convertedLoopState;
-  let enabledSubstitutions;
+  let enabledSubstitutions = 0 /* None */;
   return chainBundle(context, transformSourceFile);
   function transformSourceFile(node) {
     if (node.isDeclarationFile) {
@@ -184235,19 +184254,12 @@ var Project2 = class _Project {
   }
   /** @internal */
   onAutoImportProviderSettingsChanged() {
-    var _a;
-    if (this.autoImportProviderHost === false) {
-      this.autoImportProviderHost = void 0;
-    } else {
-      (_a = this.autoImportProviderHost) == null ? void 0 : _a.markAsDirty();
-    }
+    this.markAutoImportProviderAsDirty();
   }
   /** @internal */
   onPackageJsonChange() {
     this.moduleSpecifierCache.clear();
-    if (this.autoImportProviderHost) {
-      this.autoImportProviderHost.markAsDirty();
-    }
+    this.markAutoImportProviderAsDirty();
   }
   /** @internal */
   onFileAddedOrRemoved(isSymlink) {
@@ -185003,7 +185015,7 @@ var Project2 = class _Project {
     if (dependencySelection) {
       (_a = tracing) == null ? void 0 : _a.push(tracing.Phase.Session, "getPackageJsonAutoImportProvider");
       const start = timestamp();
-      this.autoImportProviderHost = AutoImportProviderProject.create(dependencySelection, this, this.getHostForAutoImportProvider(), this.documentRegistry);
+      this.autoImportProviderHost = AutoImportProviderProject.create(dependencySelection, this, this.getHostForAutoImportProvider(), this.documentRegistry) ?? false;
       if (this.autoImportProviderHost) {
         updateProjectIfDirty(this.autoImportProviderHost);
         this.sendPerformanceEvent("CreatePackageJsonAutoImportProvider", timestamp() - start);
@@ -185261,7 +185273,7 @@ var _AutoImportProviderProject = class _AutoImportProviderProject extends Projec
     if (dependencyNames) {
       const symlinkCache = hostProject.getSymlinkCache();
       for (const name of arrayFrom(dependencyNames.keys())) {
-        if (dependencySelection === 2 /* Auto */ && dependenciesAdded > this.maxDependencies) {
+        if (dependencySelection === 2 /* Auto */ && dependenciesAdded >= this.maxDependencies) {
           hostProject.log(`AutoImportProviderProject: attempted to add more than ${this.maxDependencies} dependencies. Aborting.`);
           return emptyArray;
         }
@@ -188763,6 +188775,7 @@ Dynamic files must always be opened with service's current directory or service
       }
     };
     toRetainConfiguredProjects == null ? void 0 : toRetainConfiguredProjects.forEach(retainConfiguredProject);
+    if (!toRemoveConfiguredProjects.size) return toRemoveConfiguredProjects;
     this.inferredProjects.forEach(markOriginalProjectsAsUsed);
     this.externalProjects.forEach(markOriginalProjectsAsUsed);
     this.externalProjectToConfiguredProjectMap.forEach((projects, externalProjectName) => {
@@ -188770,7 +188783,8 @@ Dynamic files must always be opened with service's current directory or service
         projects.forEach(retainConfiguredProject);
       }
     });
-    this.openFiles.forEach((_projectRootPath, path) => {
+    if (!toRemoveConfiguredProjects.size) return toRemoveConfiguredProjects;
+    forEachEntry(this.openFiles, (_projectRootPath, path) => {
       if (openFilesWithRetainedConfiguredProject == null ? void 0 : openFilesWithRetainedConfiguredProject.has(path)) return;
       const info = this.getScriptInfoForPath(path);
       if (find(info.containingProjects, isExternalProject)) return;
@@ -188780,12 +188794,15 @@ Dynamic files must always be opened with service's current directory or service
       );
       if (result == null ? void 0 : result.defaultProject) {
         result == null ? void 0 : result.seenProjects.forEach(retainConfiguredProject);
+        if (!toRemoveConfiguredProjects.size) return toRemoveConfiguredProjects;
       }
     });
-    this.configuredProjects.forEach((project) => {
+    if (!toRemoveConfiguredProjects.size) return toRemoveConfiguredProjects;
+    forEachEntry(this.configuredProjects, (project) => {
       if (toRemoveConfiguredProjects.has(project)) {
         if (isPendingUpdate(project) || forEachReferencedProject(project, isRetained)) {
           retainConfiguredProject(project);
+          if (!toRemoveConfiguredProjects.size) return toRemoveConfiguredProjects;
         }
       }
     });

package/package.json

@@ -2,7 +2,7 @@
     "name": "typescript",
     "author": "Microsoft Corp.",
     "homepage": "https://www.typescriptlang.org/",
-    "version": "5.7.0-dev.20240820",
+    "version": "5.7.0-dev.20240821",
     "license": "Apache-2.0",
     "description": "TypeScript is a language for application scale JavaScript development",
     "keywords": [
@@ -117,5 +117,5 @@
         "node": "20.1.0",
         "npm": "8.19.4"
     },
-    "gitHead": "2192336dfee6f740b5828c8a4a8226e56626de1d"
+    "gitHead": "7f597beb2ea8fc101c5ae1bf0a7d02aa809a685a"
 }