typescript 5.4.0-dev.20240108 → 5.4.0-dev.20240109

package/lib/tsc.js

@@ -18,7 +18,7 @@ and limitations under the License.
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.4";
-var version = `${versionMajorMinor}.0-dev.20240108`;
+var version = `${versionMajorMinor}.0-dev.20240109`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -16070,7 +16070,7 @@ function Symbol4(flags, name) {
   this.exportSymbol = void 0;
   this.constEnumOnlyModule = void 0;
   this.isReferenced = void 0;
-  this.isAssigned = void 0;
+  this.lastAssignmentPos = void 0;
   this.links = void 0;
 }
 function Type3(checker, flags) {
@@ -17495,10 +17495,6 @@ function isInfinityOrNaNString(name) {
 function isCatchClauseVariableDeclaration(node) {
   return node.kind === 260 /* VariableDeclaration */ && node.parent.kind === 299 /* CatchClause */;
 }
-function isParameterOrCatchClauseVariable(symbol) {
-  const declaration = symbol.valueDeclaration && getRootDeclaration(symbol.valueDeclaration);
-  return !!declaration && (isParameter(declaration) || isCatchClauseVariableDeclaration(declaration));
-}
 function isFunctionExpressionOrArrowFunction(node) {
   return node.kind === 218 /* FunctionExpression */ || node.kind === 219 /* ArrowFunction */;
 }
@@ -66178,7 +66174,7 @@ function createTypeChecker(host) {
       case 80 /* Identifier */:
         if (!isThisInTypeQuery(node)) {
           const symbol = getResolvedSymbol(node);
-          return isConstantVariable(symbol) || isParameterOrCatchClauseVariable(symbol) && !isSymbolAssigned(symbol);
+          return isConstantVariable(symbol) || isParameterOrMutableLocalVariable(symbol) && !isSymbolAssigned(symbol);
         }
         break;
       case 211 /* PropertyAccessExpression */:
@@ -66187,7 +66183,7 @@ function createTypeChecker(host) {
       case 206 /* ObjectBindingPattern */:
       case 207 /* ArrayBindingPattern */:
         const rootDeclaration = getRootDeclaration(node.parent);
-        return isVariableDeclaration(rootDeclaration) && isVarConstLike(rootDeclaration);
+        return isParameter(rootDeclaration) || isCatchClauseVariableDeclaration(rootDeclaration) ? !isSomeSymbolAssigned(rootDeclaration) : isVariableDeclaration(rootDeclaration) && isVarConstLike(rootDeclaration);
     }
     return false;
   }
@@ -67268,10 +67264,17 @@ function createTypeChecker(host) {
     return findAncestor(node.parent, (node2) => isFunctionLike(node2) && !getImmediatelyInvokedFunctionExpression(node2) || node2.kind === 268 /* ModuleBlock */ || node2.kind === 312 /* SourceFile */ || node2.kind === 172 /* PropertyDeclaration */);
   }
   function isSymbolAssigned(symbol) {
-    if (!symbol.valueDeclaration) {
+    return !isPastLastAssignment(
+      symbol,
+      /*location*/
+      void 0
+    );
+  }
+  function isPastLastAssignment(symbol, location) {
+    const parent = findAncestor(symbol.valueDeclaration, isFunctionOrSourceFile);
+    if (!parent) {
       return false;
     }
-    const parent = getRootDeclaration(symbol.valueDeclaration).parent;
     const links = getNodeLinks(parent);
     if (!(links.flags & 131072 /* AssignmentsMarked */)) {
       links.flags |= 131072 /* AssignmentsMarked */;
@@ -67279,7 +67282,7 @@ function createTypeChecker(host) {
         markNodeAssignments(parent);
       }
     }
-    return symbol.isAssigned || false;
+    return !symbol.lastAssignmentPos || location && symbol.lastAssignmentPos < location.pos;
   }
   function isSomeSymbolAssigned(rootDeclaration) {
     Debug.assert(isVariableDeclaration(rootDeclaration) || isParameter(rootDeclaration));
@@ -67292,23 +67295,81 @@ function createTypeChecker(host) {
     return some(node.elements, (e) => e.kind !== 232 /* OmittedExpression */ && isSomeSymbolAssignedWorker(e.name));
   }
   function hasParentWithAssignmentsMarked(node) {
-    return !!findAncestor(node.parent, (node2) => (isFunctionLike(node2) || isCatchClause(node2)) && !!(getNodeLinks(node2).flags & 131072 /* AssignmentsMarked */));
+    return !!findAncestor(node.parent, (node2) => isFunctionOrSourceFile(node2) && !!(getNodeLinks(node2).flags & 131072 /* AssignmentsMarked */));
+  }
+  function isFunctionOrSourceFile(node) {
+    return isFunctionLikeDeclaration(node) || isSourceFile(node);
   }
   function markNodeAssignments(node) {
-    if (node.kind === 80 /* Identifier */) {
-      if (isAssignmentTarget(node)) {
-        const symbol = getResolvedSymbol(node);
-        if (isParameterOrCatchClauseVariable(symbol)) {
-          symbol.isAssigned = true;
+    switch (node.kind) {
+      case 80 /* Identifier */:
+        if (isAssignmentTarget(node)) {
+          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;
+          }
         }
+        return;
+      case 281 /* ExportSpecifier */:
+        const exportDeclaration = node.parent.parent;
+        if (!node.isTypeOnly && !exportDeclaration.isTypeOnly && !exportDeclaration.moduleSpecifier) {
+          const symbol = resolveEntityName(
+            node.propertyName || node.name,
+            111551 /* Value */,
+            /*ignoreErrors*/
+            true,
+            /*dontResolveAlias*/
+            true
+          );
+          if (symbol && isParameterOrMutableLocalVariable(symbol)) {
+            symbol.lastAssignmentPos = Number.MAX_VALUE;
+          }
+        }
+        return;
+      case 264 /* InterfaceDeclaration */:
+      case 265 /* TypeAliasDeclaration */:
+      case 266 /* EnumDeclaration */:
+        return;
+    }
+    if (isTypeNode(node)) {
+      return;
+    }
+    forEachChild(node, markNodeAssignments);
+  }
+  function extendAssignmentPosition(node, declaration) {
+    let pos = node.pos;
+    while (node && node.pos > declaration.pos) {
+      switch (node.kind) {
+        case 243 /* VariableStatement */:
+        case 244 /* ExpressionStatement */:
+        case 245 /* IfStatement */:
+        case 246 /* DoStatement */:
+        case 247 /* WhileStatement */:
+        case 248 /* ForStatement */:
+        case 249 /* ForInStatement */:
+        case 250 /* ForOfStatement */:
+        case 254 /* WithStatement */:
+        case 255 /* SwitchStatement */:
+        case 258 /* TryStatement */:
+        case 263 /* ClassDeclaration */:
+          pos = node.end;
       }
-    } else {
-      forEachChild(node, markNodeAssignments);
+      node = node.parent;
     }
+    return pos;
   }
   function isConstantVariable(symbol) {
     return symbol.flags & 3 /* Variable */ && (getDeclarationNodeFlagsFromSymbol(symbol) & 6 /* Constant */) !== 0;
   }
+  function isParameterOrMutableLocalVariable(symbol) {
+    const declaration = symbol.valueDeclaration && getRootDeclaration(symbol.valueDeclaration);
+    return !!declaration && (isParameter(declaration) || isVariableDeclaration(declaration) && (isCatchClause(declaration.parent) || isMutableLocalVariableDeclaration(declaration)));
+  }
+  function isMutableLocalVariableDeclaration(declaration) {
+    return !!(declaration.parent.flags & 1 /* Let */) && !(getCombinedModifierFlags(declaration) & 32 /* Export */ || declaration.parent.parent.kind === 243 /* VariableStatement */ && isGlobalSourceFile(declaration.parent.parent.parent));
+  }
   function parameterInitializerContainsUndefined(declaration) {
     const links = getNodeLinks(declaration);
     if (links.parameterInitializerContainsUndefined === void 0) {
@@ -67557,7 +67618,7 @@ function createTypeChecker(host) {
     const isModuleExports = symbol.flags & 134217728 /* ModuleExports */;
     const typeIsAutomatic = type === autoType || type === autoArrayType;
     const isAutomaticTypeInNonNull = typeIsAutomatic && node.parent.kind === 235 /* NonNullExpression */;
-    while (flowContainer !== declarationContainer && (flowContainer.kind === 218 /* FunctionExpression */ || flowContainer.kind === 219 /* ArrowFunction */ || isObjectLiteralOrClassExpressionMethodOrAccessor(flowContainer)) && (isConstantVariable(localOrExportSymbol) && type !== autoArrayType || isParameter2 && !isSymbolAssigned(localOrExportSymbol))) {
+    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 */;

package/lib/tsserver.js

@@ -1655,7 +1655,6 @@ __export(server_exports, {
   isPackedArrayLiteral: () => isPackedArrayLiteral,
   isParameter: () => isParameter,
   isParameterDeclaration: () => isParameterDeclaration,
-  isParameterOrCatchClauseVariable: () => isParameterOrCatchClauseVariable,
   isParameterPropertyDeclaration: () => isParameterPropertyDeclaration,
   isParameterPropertyModifier: () => isParameterPropertyModifier,
   isParenthesizedExpression: () => isParenthesizedExpression,
@@ -2341,7 +2340,7 @@ module.exports = __toCommonJS(server_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.4";
-var version = `${versionMajorMinor}.0-dev.20240108`;
+var version = `${versionMajorMinor}.0-dev.20240109`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -20241,7 +20240,7 @@ function Symbol4(flags, name) {
   this.exportSymbol = void 0;
   this.constEnumOnlyModule = void 0;
   this.isReferenced = void 0;
-  this.isAssigned = void 0;
+  this.lastAssignmentPos = void 0;
   this.links = void 0;
 }
 function Type3(checker, flags) {
@@ -21716,10 +21715,6 @@ function isInfinityOrNaNString(name) {
 function isCatchClauseVariableDeclaration(node) {
   return node.kind === 260 /* VariableDeclaration */ && node.parent.kind === 299 /* CatchClause */;
 }
-function isParameterOrCatchClauseVariable(symbol) {
-  const declaration = symbol.valueDeclaration && getRootDeclaration(symbol.valueDeclaration);
-  return !!declaration && (isParameter(declaration) || isCatchClauseVariableDeclaration(declaration));
-}
 function isFunctionExpressionOrArrowFunction(node) {
   return node.kind === 218 /* FunctionExpression */ || node.kind === 219 /* ArrowFunction */;
 }
@@ -70917,7 +70912,7 @@ function createTypeChecker(host) {
       case 80 /* Identifier */:
         if (!isThisInTypeQuery(node)) {
           const symbol = getResolvedSymbol(node);
-          return isConstantVariable(symbol) || isParameterOrCatchClauseVariable(symbol) && !isSymbolAssigned(symbol);
+          return isConstantVariable(symbol) || isParameterOrMutableLocalVariable(symbol) && !isSymbolAssigned(symbol);
         }
         break;
       case 211 /* PropertyAccessExpression */:
@@ -70926,7 +70921,7 @@ function createTypeChecker(host) {
       case 206 /* ObjectBindingPattern */:
       case 207 /* ArrayBindingPattern */:
         const rootDeclaration = getRootDeclaration(node.parent);
-        return isVariableDeclaration(rootDeclaration) && isVarConstLike(rootDeclaration);
+        return isParameter(rootDeclaration) || isCatchClauseVariableDeclaration(rootDeclaration) ? !isSomeSymbolAssigned(rootDeclaration) : isVariableDeclaration(rootDeclaration) && isVarConstLike(rootDeclaration);
     }
     return false;
   }
@@ -72007,10 +72002,17 @@ function createTypeChecker(host) {
     return findAncestor(node.parent, (node2) => isFunctionLike(node2) && !getImmediatelyInvokedFunctionExpression(node2) || node2.kind === 268 /* ModuleBlock */ || node2.kind === 312 /* SourceFile */ || node2.kind === 172 /* PropertyDeclaration */);
   }
   function isSymbolAssigned(symbol) {
-    if (!symbol.valueDeclaration) {
+    return !isPastLastAssignment(
+      symbol,
+      /*location*/
+      void 0
+    );
+  }
+  function isPastLastAssignment(symbol, location) {
+    const parent2 = findAncestor(symbol.valueDeclaration, isFunctionOrSourceFile);
+    if (!parent2) {
       return false;
     }
-    const parent2 = getRootDeclaration(symbol.valueDeclaration).parent;
     const links = getNodeLinks(parent2);
     if (!(links.flags & 131072 /* AssignmentsMarked */)) {
       links.flags |= 131072 /* AssignmentsMarked */;
@@ -72018,7 +72020,7 @@ function createTypeChecker(host) {
         markNodeAssignments(parent2);
       }
     }
-    return symbol.isAssigned || false;
+    return !symbol.lastAssignmentPos || location && symbol.lastAssignmentPos < location.pos;
   }
   function isSomeSymbolAssigned(rootDeclaration) {
     Debug.assert(isVariableDeclaration(rootDeclaration) || isParameter(rootDeclaration));
@@ -72031,23 +72033,81 @@ function createTypeChecker(host) {
     return some(node.elements, (e) => e.kind !== 232 /* OmittedExpression */ && isSomeSymbolAssignedWorker(e.name));
   }
   function hasParentWithAssignmentsMarked(node) {
-    return !!findAncestor(node.parent, (node2) => (isFunctionLike(node2) || isCatchClause(node2)) && !!(getNodeLinks(node2).flags & 131072 /* AssignmentsMarked */));
+    return !!findAncestor(node.parent, (node2) => isFunctionOrSourceFile(node2) && !!(getNodeLinks(node2).flags & 131072 /* AssignmentsMarked */));
+  }
+  function isFunctionOrSourceFile(node) {
+    return isFunctionLikeDeclaration(node) || isSourceFile(node);
   }
   function markNodeAssignments(node) {
-    if (node.kind === 80 /* Identifier */) {
-      if (isAssignmentTarget(node)) {
-        const symbol = getResolvedSymbol(node);
-        if (isParameterOrCatchClauseVariable(symbol)) {
-          symbol.isAssigned = true;
+    switch (node.kind) {
+      case 80 /* Identifier */:
+        if (isAssignmentTarget(node)) {
+          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;
+          }
         }
+        return;
+      case 281 /* ExportSpecifier */:
+        const exportDeclaration = node.parent.parent;
+        if (!node.isTypeOnly && !exportDeclaration.isTypeOnly && !exportDeclaration.moduleSpecifier) {
+          const symbol = resolveEntityName(
+            node.propertyName || node.name,
+            111551 /* Value */,
+            /*ignoreErrors*/
+            true,
+            /*dontResolveAlias*/
+            true
+          );
+          if (symbol && isParameterOrMutableLocalVariable(symbol)) {
+            symbol.lastAssignmentPos = Number.MAX_VALUE;
+          }
+        }
+        return;
+      case 264 /* InterfaceDeclaration */:
+      case 265 /* TypeAliasDeclaration */:
+      case 266 /* EnumDeclaration */:
+        return;
+    }
+    if (isTypeNode(node)) {
+      return;
+    }
+    forEachChild(node, markNodeAssignments);
+  }
+  function extendAssignmentPosition(node, declaration) {
+    let pos = node.pos;
+    while (node && node.pos > declaration.pos) {
+      switch (node.kind) {
+        case 243 /* VariableStatement */:
+        case 244 /* ExpressionStatement */:
+        case 245 /* IfStatement */:
+        case 246 /* DoStatement */:
+        case 247 /* WhileStatement */:
+        case 248 /* ForStatement */:
+        case 249 /* ForInStatement */:
+        case 250 /* ForOfStatement */:
+        case 254 /* WithStatement */:
+        case 255 /* SwitchStatement */:
+        case 258 /* TryStatement */:
+        case 263 /* ClassDeclaration */:
+          pos = node.end;
       }
-    } else {
-      forEachChild(node, markNodeAssignments);
+      node = node.parent;
     }
+    return pos;
   }
   function isConstantVariable(symbol) {
     return symbol.flags & 3 /* Variable */ && (getDeclarationNodeFlagsFromSymbol(symbol) & 6 /* Constant */) !== 0;
   }
+  function isParameterOrMutableLocalVariable(symbol) {
+    const declaration = symbol.valueDeclaration && getRootDeclaration(symbol.valueDeclaration);
+    return !!declaration && (isParameter(declaration) || isVariableDeclaration(declaration) && (isCatchClause(declaration.parent) || isMutableLocalVariableDeclaration(declaration)));
+  }
+  function isMutableLocalVariableDeclaration(declaration) {
+    return !!(declaration.parent.flags & 1 /* Let */) && !(getCombinedModifierFlags(declaration) & 32 /* Export */ || declaration.parent.parent.kind === 243 /* VariableStatement */ && isGlobalSourceFile(declaration.parent.parent.parent));
+  }
   function parameterInitializerContainsUndefined(declaration) {
     const links = getNodeLinks(declaration);
     if (links.parameterInitializerContainsUndefined === void 0) {
@@ -72296,7 +72356,7 @@ function createTypeChecker(host) {
     const isModuleExports = symbol.flags & 134217728 /* ModuleExports */;
     const typeIsAutomatic = type === autoType || type === autoArrayType;
     const isAutomaticTypeInNonNull = typeIsAutomatic && node.parent.kind === 235 /* NonNullExpression */;
-    while (flowContainer !== declarationContainer && (flowContainer.kind === 218 /* FunctionExpression */ || flowContainer.kind === 219 /* ArrowFunction */ || isObjectLiteralOrClassExpressionMethodOrAccessor(flowContainer)) && (isConstantVariable(localOrExportSymbol) && type !== autoArrayType || isParameter2 && !isSymbolAssigned(localOrExportSymbol))) {
+    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 */;
@@ -175484,7 +175544,6 @@ __export(ts_exports2, {
   isPackedArrayLiteral: () => isPackedArrayLiteral,
   isParameter: () => isParameter,
   isParameterDeclaration: () => isParameterDeclaration,
-  isParameterOrCatchClauseVariable: () => isParameterOrCatchClauseVariable,
   isParameterPropertyDeclaration: () => isParameterPropertyDeclaration,
   isParameterPropertyModifier: () => isParameterPropertyModifier,
   isParenthesizedExpression: () => isParenthesizedExpression,
@@ -190285,7 +190344,6 @@ start(initializeNodeSystem(), require("os").platform());
   isPackedArrayLiteral,
   isParameter,
   isParameterDeclaration,
-  isParameterOrCatchClauseVariable,
   isParameterPropertyDeclaration,
   isParameterPropertyModifier,
   isParenthesizedExpression,

package/lib/typescript.js

@@ -35,7 +35,7 @@ var ts = (() => {
     "src/compiler/corePublic.ts"() {
       "use strict";
       versionMajorMinor = "5.4";
-      version = `${versionMajorMinor}.0-dev.20240108`;
+      version = `${versionMajorMinor}.0-dev.20240109`;
       Comparison = /* @__PURE__ */ ((Comparison3) => {
         Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
         Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -17529,7 +17529,7 @@ ${lanes.join("\n")}
     this.exportSymbol = void 0;
     this.constEnumOnlyModule = void 0;
     this.isReferenced = void 0;
-    this.isAssigned = void 0;
+    this.lastAssignmentPos = void 0;
     this.links = void 0;
   }
   function Type3(checker, flags) {
@@ -18711,10 +18711,6 @@ ${lanes.join("\n")}
   function isCatchClauseVariableDeclaration(node) {
     return node.kind === 260 /* VariableDeclaration */ && node.parent.kind === 299 /* CatchClause */;
   }
-  function isParameterOrCatchClauseVariable(symbol) {
-    const declaration = symbol.valueDeclaration && getRootDeclaration(symbol.valueDeclaration);
-    return !!declaration && (isParameter(declaration) || isCatchClauseVariableDeclaration(declaration));
-  }
   function isFunctionExpressionOrArrowFunction(node) {
     return node.kind === 218 /* FunctionExpression */ || node.kind === 219 /* ArrowFunction */;
   }
@@ -68671,7 +68667,7 @@ ${lanes.join("\n")}
         case 80 /* Identifier */:
           if (!isThisInTypeQuery(node)) {
             const symbol = getResolvedSymbol(node);
-            return isConstantVariable(symbol) || isParameterOrCatchClauseVariable(symbol) && !isSymbolAssigned(symbol);
+            return isConstantVariable(symbol) || isParameterOrMutableLocalVariable(symbol) && !isSymbolAssigned(symbol);
           }
           break;
         case 211 /* PropertyAccessExpression */:
@@ -68680,7 +68676,7 @@ ${lanes.join("\n")}
         case 206 /* ObjectBindingPattern */:
         case 207 /* ArrayBindingPattern */:
           const rootDeclaration = getRootDeclaration(node.parent);
-          return isVariableDeclaration(rootDeclaration) && isVarConstLike(rootDeclaration);
+          return isParameter(rootDeclaration) || isCatchClauseVariableDeclaration(rootDeclaration) ? !isSomeSymbolAssigned(rootDeclaration) : isVariableDeclaration(rootDeclaration) && isVarConstLike(rootDeclaration);
       }
       return false;
     }
@@ -69761,10 +69757,17 @@ ${lanes.join("\n")}
       return findAncestor(node.parent, (node2) => isFunctionLike(node2) && !getImmediatelyInvokedFunctionExpression(node2) || node2.kind === 268 /* ModuleBlock */ || node2.kind === 312 /* SourceFile */ || node2.kind === 172 /* PropertyDeclaration */);
     }
     function isSymbolAssigned(symbol) {
-      if (!symbol.valueDeclaration) {
+      return !isPastLastAssignment(
+        symbol,
+        /*location*/
+        void 0
+      );
+    }
+    function isPastLastAssignment(symbol, location) {
+      const parent2 = findAncestor(symbol.valueDeclaration, isFunctionOrSourceFile);
+      if (!parent2) {
         return false;
       }
-      const parent2 = getRootDeclaration(symbol.valueDeclaration).parent;
       const links = getNodeLinks(parent2);
       if (!(links.flags & 131072 /* AssignmentsMarked */)) {
         links.flags |= 131072 /* AssignmentsMarked */;
@@ -69772,7 +69775,7 @@ ${lanes.join("\n")}
           markNodeAssignments(parent2);
         }
       }
-      return symbol.isAssigned || false;
+      return !symbol.lastAssignmentPos || location && symbol.lastAssignmentPos < location.pos;
     }
     function isSomeSymbolAssigned(rootDeclaration) {
       Debug.assert(isVariableDeclaration(rootDeclaration) || isParameter(rootDeclaration));
@@ -69785,23 +69788,81 @@ ${lanes.join("\n")}
       return some(node.elements, (e) => e.kind !== 232 /* OmittedExpression */ && isSomeSymbolAssignedWorker(e.name));
     }
     function hasParentWithAssignmentsMarked(node) {
-      return !!findAncestor(node.parent, (node2) => (isFunctionLike(node2) || isCatchClause(node2)) && !!(getNodeLinks(node2).flags & 131072 /* AssignmentsMarked */));
+      return !!findAncestor(node.parent, (node2) => isFunctionOrSourceFile(node2) && !!(getNodeLinks(node2).flags & 131072 /* AssignmentsMarked */));
+    }
+    function isFunctionOrSourceFile(node) {
+      return isFunctionLikeDeclaration(node) || isSourceFile(node);
     }
     function markNodeAssignments(node) {
-      if (node.kind === 80 /* Identifier */) {
-        if (isAssignmentTarget(node)) {
-          const symbol = getResolvedSymbol(node);
-          if (isParameterOrCatchClauseVariable(symbol)) {
-            symbol.isAssigned = true;
+      switch (node.kind) {
+        case 80 /* Identifier */:
+          if (isAssignmentTarget(node)) {
+            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;
+            }
           }
+          return;
+        case 281 /* ExportSpecifier */:
+          const exportDeclaration = node.parent.parent;
+          if (!node.isTypeOnly && !exportDeclaration.isTypeOnly && !exportDeclaration.moduleSpecifier) {
+            const symbol = resolveEntityName(
+              node.propertyName || node.name,
+              111551 /* Value */,
+              /*ignoreErrors*/
+              true,
+              /*dontResolveAlias*/
+              true
+            );
+            if (symbol && isParameterOrMutableLocalVariable(symbol)) {
+              symbol.lastAssignmentPos = Number.MAX_VALUE;
+            }
+          }
+          return;
+        case 264 /* InterfaceDeclaration */:
+        case 265 /* TypeAliasDeclaration */:
+        case 266 /* EnumDeclaration */:
+          return;
+      }
+      if (isTypeNode(node)) {
+        return;
+      }
+      forEachChild(node, markNodeAssignments);
+    }
+    function extendAssignmentPosition(node, declaration) {
+      let pos = node.pos;
+      while (node && node.pos > declaration.pos) {
+        switch (node.kind) {
+          case 243 /* VariableStatement */:
+          case 244 /* ExpressionStatement */:
+          case 245 /* IfStatement */:
+          case 246 /* DoStatement */:
+          case 247 /* WhileStatement */:
+          case 248 /* ForStatement */:
+          case 249 /* ForInStatement */:
+          case 250 /* ForOfStatement */:
+          case 254 /* WithStatement */:
+          case 255 /* SwitchStatement */:
+          case 258 /* TryStatement */:
+          case 263 /* ClassDeclaration */:
+            pos = node.end;
         }
-      } else {
-        forEachChild(node, markNodeAssignments);
+        node = node.parent;
       }
+      return pos;
     }
     function isConstantVariable(symbol) {
       return symbol.flags & 3 /* Variable */ && (getDeclarationNodeFlagsFromSymbol(symbol) & 6 /* Constant */) !== 0;
     }
+    function isParameterOrMutableLocalVariable(symbol) {
+      const declaration = symbol.valueDeclaration && getRootDeclaration(symbol.valueDeclaration);
+      return !!declaration && (isParameter(declaration) || isVariableDeclaration(declaration) && (isCatchClause(declaration.parent) || isMutableLocalVariableDeclaration(declaration)));
+    }
+    function isMutableLocalVariableDeclaration(declaration) {
+      return !!(declaration.parent.flags & 1 /* Let */) && !(getCombinedModifierFlags(declaration) & 32 /* Export */ || declaration.parent.parent.kind === 243 /* VariableStatement */ && isGlobalSourceFile(declaration.parent.parent.parent));
+    }
     function parameterInitializerContainsUndefined(declaration) {
       const links = getNodeLinks(declaration);
       if (links.parameterInitializerContainsUndefined === void 0) {
@@ -70050,7 +70111,7 @@ ${lanes.join("\n")}
       const isModuleExports = symbol.flags & 134217728 /* ModuleExports */;
       const typeIsAutomatic = type === autoType || type === autoArrayType;
       const isAutomaticTypeInNonNull = typeIsAutomatic && node.parent.kind === 235 /* NonNullExpression */;
-      while (flowContainer !== declarationContainer && (flowContainer.kind === 218 /* FunctionExpression */ || flowContainer.kind === 219 /* ArrowFunction */ || isObjectLiteralOrClassExpressionMethodOrAccessor(flowContainer)) && (isConstantVariable(localOrExportSymbol) && type !== autoArrayType || isParameter2 && !isSymbolAssigned(localOrExportSymbol))) {
+      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 */;
@@ -187033,7 +187094,6 @@ ${e.message}`;
     isPackedArrayLiteral: () => isPackedArrayLiteral,
     isParameter: () => isParameter,
     isParameterDeclaration: () => isParameterDeclaration,
-    isParameterOrCatchClauseVariable: () => isParameterOrCatchClauseVariable,
     isParameterPropertyDeclaration: () => isParameterPropertyDeclaration,
     isParameterPropertyModifier: () => isParameterPropertyModifier,
     isParenthesizedExpression: () => isParenthesizedExpression,
@@ -189455,7 +189515,6 @@ ${e.message}`;
     isPackedArrayLiteral: () => isPackedArrayLiteral,
     isParameter: () => isParameter,
     isParameterDeclaration: () => isParameterDeclaration,
-    isParameterOrCatchClauseVariable: () => isParameterOrCatchClauseVariable,
     isParameterPropertyDeclaration: () => isParameterPropertyDeclaration,
     isParameterPropertyModifier: () => isParameterPropertyModifier,
     isParenthesizedExpression: () => isParenthesizedExpression,

package/lib/typingsInstaller.js

@@ -54,7 +54,7 @@ var path = __toESM(require("path"));
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.4";
-var version = `${versionMajorMinor}.0-dev.20240108`;
+var version = `${versionMajorMinor}.0-dev.20240109`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -11129,7 +11129,7 @@ function Symbol4(flags, name) {
   this.exportSymbol = void 0;
   this.constEnumOnlyModule = void 0;
   this.isReferenced = void 0;
-  this.isAssigned = void 0;
+  this.lastAssignmentPos = void 0;
   this.links = void 0;
 }
 function Type3(checker, flags) {

package/package.json

@@ -2,7 +2,7 @@
     "name": "typescript",
     "author": "Microsoft Corp.",
     "homepage": "https://www.typescriptlang.org/",
-    "version": "5.4.0-dev.20240108",
+    "version": "5.4.0-dev.20240109",
     "license": "Apache-2.0",
     "description": "TypeScript is a language for application scale JavaScript development",
     "keywords": [
@@ -59,7 +59,7 @@
         "chalk": "^4.1.2",
         "chokidar": "^3.5.3",
         "diff": "^5.1.0",
-        "dprint": "^0.42.3",
+        "dprint": "^0.45.0",
         "esbuild": "^0.19.0",
         "eslint": "^8.22.0",
         "eslint-formatter-autolinkable-stylish": "^1.2.0",
@@ -113,5 +113,5 @@
         "node": "20.1.0",
         "npm": "8.19.4"
     },
-    "gitHead": "01a51d2d017dd50d487835282b7e4a2a4f7300ab"
+    "gitHead": "f57e5104a3e21e82cafb818b531c8ec54ec0baa0"
 }