@typescript-deploys/pr-build 5.3.0-pr-55860-30 → 5.3.0-pr-55887-24

package/lib/tsc.js

@@ -6651,7 +6651,6 @@ var Diagnostics = {
   Import_attributes_cannot_be_used_with_type_only_imports_or_exports: diag(2857, 1 /* Error */, "Import_attributes_cannot_be_used_with_type_only_imports_or_exports_2857", "Import attributes cannot be used with type-only imports or exports."),
   Import_attribute_values_must_be_string_literal_expressions: diag(2858, 1 /* Error */, "Import_attribute_values_must_be_string_literal_expressions_2858", "Import attribute values must be string literal expressions."),
   Excessive_complexity_comparing_types_0_and_1: diag(2859, 1 /* Error */, "Excessive_complexity_comparing_types_0_and_1_2859", "Excessive complexity comparing types '{0}' and '{1}'."),
-  The_type_of_this_declaration_is_ambiguous_and_may_be_observed_as_either_0_or_1: diag(2860, 1 /* Error */, "The_type_of_this_declaration_is_ambiguous_and_may_be_observed_as_either_0_or_1_2860", "The type of this declaration is ambiguous and may be observed as either '{0}' or '{1}'."),
   Import_declaration_0_is_using_private_name_1: diag(4e3, 1 /* Error */, "Import_declaration_0_is_using_private_name_1_4000", "Import declaration '{0}' is using private name '{1}'."),
   Type_parameter_0_of_exported_class_has_or_is_using_private_name_1: diag(4002, 1 /* Error */, "Type_parameter_0_of_exported_class_has_or_is_using_private_name_1_4002", "Type parameter '{0}' of exported class has or is using private name '{1}'."),
   Type_parameter_0_of_exported_interface_has_or_is_using_private_name_1: diag(4004, 1 /* Error */, "Type_parameter_0_of_exported_interface_has_or_is_using_private_name_1_4004", "Type parameter '{0}' of exported interface has or is using private name '{1}'."),
@@ -15862,6 +15861,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 */;
   }
@@ -43525,11 +43527,16 @@ function createTypeChecker(host) {
         checkSourceFileWithEagerDiagnostics(file);
         Debug.assert(!!(getNodeLinks(file).flags & 1 /* TypeChecked */));
         diagnostics2 = addRange(diagnostics2, suggestionDiagnostics.getDiagnostics(file.fileName));
-        checkUnusedIdentifiers(getPotentiallyUnusedIdentifiers(file), (containingNode, kind, diag2) => {
-          if (!containsParseError(containingNode) && !unusedIsError(kind, !!(containingNode.flags & 33554432 /* Ambient */))) {
-            (diagnostics2 || (diagnostics2 = [])).push({ ...diag2, category: 2 /* Suggestion */ });
-          }
-        });
+        checkUnusedOrUninitializedIdentifiers(
+          getPotentiallyUnusedOrUninitializedIdentifiers(file),
+          (containingNode, kind, diag2) => {
+            if (!containsParseError(containingNode) && !unusedIsError(kind, !!(containingNode.flags & 33554432 /* Ambient */))) {
+              (diagnostics2 || (diagnostics2 = [])).push({ ...diag2, category: 2 /* Suggestion */ });
+            }
+          },
+          /*checkUnused*/
+          true
+        );
         return diagnostics2 || emptyArray;
       } finally {
         cancellationToken = void 0;
@@ -44026,7 +44033,7 @@ function createTypeChecker(host) {
   var deferredGlobalClassAccessorDecoratorTargetType;
   var deferredGlobalClassAccessorDecoratorResultType;
   var deferredGlobalClassFieldDecoratorContextType;
-  var allPotentiallyUnusedIdentifiers = /* @__PURE__ */ new Map();
+  var allPotentiallyUnusedOrUninitializedIdentifiers = /* @__PURE__ */ new Map();
   var flowLoopStart = 0;
   var flowLoopCount = 0;
   var sharedFlowCount = 0;
@@ -44069,7 +44076,6 @@ function createTypeChecker(host) {
   var potentialReflectCollisions = [];
   var potentialUnusedRenamedBindingElementsInTypes = [];
   var awaitedTypeStack = [];
-  var ambiguousVariableDeclarationsWhenWidened = [];
   var diagnostics = createDiagnosticCollection();
   var suggestionDiagnostics = createDiagnosticCollection();
   var typeofType = createTypeofType();
@@ -44738,10 +44744,10 @@ function createTypeChecker(host) {
   function isConstAssertion(location) {
     return isAssertionExpression(location) && isConstTypeReference(location.type) || isJSDocTypeTag(location) && isConstTypeReference(location.typeExpression);
   }
-  function resolveName(location, name, meaning, nameNotFoundMessage, nameArg, isUse, excludeGlobals = false, getSpellingSuggestions = true) {
-    return resolveNameHelper(location, name, meaning, nameNotFoundMessage, nameArg, isUse, excludeGlobals, getSpellingSuggestions, getSymbol);
+  function resolveName(location, name, meaning, nameNotFoundMessage, nameArg, isUse, excludeGlobals = false, getSpellingSuggestions = true, isWritten = false) {
+    return resolveNameHelper(location, name, meaning, nameNotFoundMessage, nameArg, isUse, excludeGlobals, getSpellingSuggestions, isWritten, getSymbol);
   }
-  function resolveNameHelper(location, name, meaning, nameNotFoundMessage, nameArg, isUse, excludeGlobals, getSpellingSuggestions, lookup) {
+  function resolveNameHelper(location, name, meaning, nameNotFoundMessage, nameArg, isUse, excludeGlobals, getSpellingSuggestions, isWritten, lookup) {
     var _a, _b, _c;
     const originalLocation = location;
     let result;
@@ -44967,6 +44973,9 @@ function createTypeChecker(host) {
     if (isUse && result && (!lastSelfReferenceLocation || result !== lastSelfReferenceLocation.symbol)) {
       result.isReferenced |= meaning;
     }
+    if (isWritten && result) {
+      result.isAssigned = true;
+    }
     if (!result) {
       if (lastLocation) {
         Debug.assertNode(lastLocation, isSourceFile);
@@ -64474,7 +64483,10 @@ function createTypeChecker(host) {
         node,
         !isWriteOnlyAccess(node),
         /*excludeGlobals*/
-        false
+        false,
+        /*getSpellingSuggestions*/
+        void 0,
+        isWriteAccess(node)
       ) || unknownSymbol;
     }
     return links.resolvedSymbol;
@@ -69908,6 +69920,8 @@ function createTypeChecker(host) {
       false,
       /*getSpellingSuggestions*/
       true,
+      /*isWritten*/
+      false,
       (symbols, name, meaning2) => {
         Debug.assertEqual(outerName, name, "name should equal outerName");
         const symbol = getSymbol(symbols, name, meaning2);
@@ -75362,7 +75376,7 @@ function createTypeChecker(host) {
         }
       }
       if (node.kind !== 181 /* IndexSignature */ && node.kind !== 324 /* JSDocFunctionType */) {
-        registerForUnusedIdentifiersCheck(node);
+        registerForUnusedOrUninitializedIdentifiersCheck(node);
       }
     }
   }
@@ -75907,7 +75921,7 @@ function createTypeChecker(host) {
         }
       }
     }
-    registerForUnusedIdentifiersCheck(node);
+    registerForUnusedOrUninitializedIdentifiersCheck(node);
   }
   function checkTemplateLiteralType(node) {
     for (const span of node.templateSpans) {
@@ -76893,25 +76907,27 @@ function createTypeChecker(host) {
       }
     }
   }
-  function registerForUnusedIdentifiersCheck(node) {
-    addLazyDiagnostic(registerForUnusedIdentifiersCheckDiagnostics);
-    function registerForUnusedIdentifiersCheckDiagnostics() {
+  function registerForUnusedOrUninitializedIdentifiersCheck(node) {
+    addLazyDiagnostic(registerForUnusedOrUninitializedIdentifiersCheckDiagnostics);
+    function registerForUnusedOrUninitializedIdentifiersCheckDiagnostics() {
       const sourceFile = getSourceFileOfNode(node);
-      let potentiallyUnusedIdentifiers = allPotentiallyUnusedIdentifiers.get(sourceFile.path);
-      if (!potentiallyUnusedIdentifiers) {
-        potentiallyUnusedIdentifiers = [];
-        allPotentiallyUnusedIdentifiers.set(sourceFile.path, potentiallyUnusedIdentifiers);
+      let potentiallyUnusedOrUninitializedIdentifiers = allPotentiallyUnusedOrUninitializedIdentifiers.get(sourceFile.path);
+      if (!potentiallyUnusedOrUninitializedIdentifiers) {
+        potentiallyUnusedOrUninitializedIdentifiers = [];
+        allPotentiallyUnusedOrUninitializedIdentifiers.set(sourceFile.path, potentiallyUnusedOrUninitializedIdentifiers);
       }
-      potentiallyUnusedIdentifiers.push(node);
+      potentiallyUnusedOrUninitializedIdentifiers.push(node);
     }
   }
-  function checkUnusedIdentifiers(potentiallyUnusedIdentifiers, addDiagnostic) {
+  function checkUnusedOrUninitializedIdentifiers(potentiallyUnusedIdentifiers, addDiagnostic, checkUnused, checkUninitialized) {
     for (const node of potentiallyUnusedIdentifiers) {
       switch (node.kind) {
         case 263 /* ClassDeclaration */:
         case 231 /* ClassExpression */:
-          checkUnusedClassMembers(node, addDiagnostic);
-          checkUnusedTypeParameters(node, addDiagnostic);
+          if (checkUnused) {
+            checkUnusedClassMembers(node, addDiagnostic);
+            checkUnusedTypeParameters(node, addDiagnostic);
+          }
           break;
         case 312 /* SourceFile */:
         case 267 /* ModuleDeclaration */:
@@ -76920,7 +76936,12 @@ function createTypeChecker(host) {
         case 248 /* ForStatement */:
         case 249 /* ForInStatement */:
         case 250 /* ForOfStatement */:
-          checkUnusedLocalsAndParameters(node, addDiagnostic);
+          if (checkUnused) {
+            checkUnusedLocalsAndParameters(node, addDiagnostic);
+          }
+          if (checkUninitialized) {
+            checkUninitializedLocals(node);
+          }
           break;
         case 176 /* Constructor */:
         case 218 /* FunctionExpression */:
@@ -76929,10 +76950,15 @@ function createTypeChecker(host) {
         case 174 /* MethodDeclaration */:
         case 177 /* GetAccessor */:
         case 178 /* SetAccessor */:
-          if (node.body) {
-            checkUnusedLocalsAndParameters(node, addDiagnostic);
+          if (checkUnused) {
+            if (node.body) {
+              checkUnusedLocalsAndParameters(node, addDiagnostic);
+            }
+            checkUnusedTypeParameters(node, addDiagnostic);
+          }
+          if (checkUninitialized) {
+            checkUninitializedLocals(node);
           }
-          checkUnusedTypeParameters(node, addDiagnostic);
           break;
         case 173 /* MethodSignature */:
         case 179 /* CallSignature */:
@@ -76941,10 +76967,14 @@ function createTypeChecker(host) {
         case 185 /* ConstructorType */:
         case 265 /* TypeAliasDeclaration */:
         case 264 /* InterfaceDeclaration */:
-          checkUnusedTypeParameters(node, addDiagnostic);
+          if (checkUnused) {
+            checkUnusedTypeParameters(node, addDiagnostic);
+          }
           break;
         case 195 /* InferType */:
-          checkUnusedInferTypeParameter(node, addDiagnostic);
+          if (checkUnused) {
+            checkUnusedInferTypeParameter(node, addDiagnostic);
+          }
           break;
         default:
           Debug.assertNever(node, "Node should not have been registered for unused identifiers check");
@@ -77134,6 +77164,26 @@ function createTypeChecker(host) {
       }
     });
   }
+  function checkUninitializedLocals(nodeWithLocals) {
+    nodeWithLocals.locals.forEach((local) => {
+      if (!(local.flags & 3 /* Variable */) || local.isAssigned || !local.isReferenced) {
+        return;
+      }
+      const declaration = local.valueDeclaration;
+      if (!declaration) {
+        return;
+      }
+      if (isVariableDeclaration(declaration)) {
+        if (getCombinedNodeFlagsCached(declaration) & 33554432 /* Ambient */ || declaration.exclamationToken || declaration.initializer || !declaration.type) {
+          return;
+        }
+        const type = getTypeFromTypeNode(declaration.type);
+        if (!(type.flags & 3 /* AnyOrUnknown */) && !containsUndefinedType(type)) {
+          error(declaration, Diagnostics.Variable_0_is_used_before_being_assigned, idText(declaration.name));
+        }
+      }
+    });
+  }
   function checkPotentialUncheckedRenamedBindingElementsInTypes() {
     var _a;
     for (const node of potentialUnusedRenamedBindingElementsInTypes) {
@@ -77180,7 +77230,7 @@ function createTypeChecker(host) {
       forEach(node.statements, checkSourceElement);
     }
     if (node.locals) {
-      registerForUnusedIdentifiersCheck(node);
+      registerForUnusedOrUninitializedIdentifiersCheck(node);
     }
   }
   function checkCollisionWithArgumentsInGeneratedCode(node) {
@@ -77529,29 +77579,6 @@ function createTypeChecker(host) {
       }
       checkCollisionsForDeclarationName(node, node.name);
     }
-    function canHaveLiteralInitializer2(node2) {
-      switch (node2.kind) {
-        case 172 /* PropertyDeclaration */:
-        case 171 /* PropertySignature */:
-          return !hasEffectiveModifier(node2, 8 /* Private */);
-        case 169 /* Parameter */:
-        case 260 /* VariableDeclaration */:
-          return true;
-      }
-      return false;
-    }
-    function shouldPrintWithInitializer(node2) {
-      return canHaveLiteralInitializer2(node2) && isLiteralConstDeclaration(node2);
-    }
-    function isPrivateDeclaration(node2) {
-      return hasEffectiveModifier(node2, 8 /* Private */) || isPrivateIdentifierClassElementDeclaration(node2);
-    }
-    if (getEmitDeclarations(compilerOptions) && !(symbol.flags & (2048 /* TypeLiteral */ | 131072 /* Signature */)) && !shouldPrintWithInitializer(node) && !isPrivateDeclaration(node)) {
-      const widenedLiteralType = getWidenedLiteralType(type);
-      if (!isTypeIdenticalTo(type, widenedLiteralType)) {
-        ambiguousVariableDeclarationsWhenWidened.push([node, type, widenedLiteralType]);
-      }
-    }
   }
   function errorNextVariableOrPropertyDeclarationMustHaveSameType(firstDeclaration, firstType, nextDeclaration, nextType) {
     const nextDeclarationName = getNameOfDeclaration(nextDeclaration);
@@ -77753,7 +77780,7 @@ function createTypeChecker(host) {
       checkExpression(node.incrementor);
     checkSourceElement(node.statement);
     if (node.locals) {
-      registerForUnusedIdentifiersCheck(node);
+      registerForUnusedOrUninitializedIdentifiersCheck(node);
     }
   }
   function checkForOfStatement(node) {
@@ -77792,7 +77819,7 @@ function createTypeChecker(host) {
     }
     checkSourceElement(node.statement);
     if (node.locals) {
-      registerForUnusedIdentifiersCheck(node);
+      registerForUnusedOrUninitializedIdentifiersCheck(node);
     }
   }
   function checkForInStatement(node) {
@@ -77824,7 +77851,7 @@ function createTypeChecker(host) {
     }
     checkSourceElement(node.statement);
     if (node.locals) {
-      registerForUnusedIdentifiersCheck(node);
+      registerForUnusedOrUninitializedIdentifiersCheck(node);
     }
   }
   function checkRightHandSideOfForOf(statement) {
@@ -78556,7 +78583,7 @@ function createTypeChecker(host) {
       }
     });
     if (node.caseBlock.locals) {
-      registerForUnusedIdentifiersCheck(node.caseBlock);
+      registerForUnusedOrUninitializedIdentifiersCheck(node.caseBlock);
     }
   }
   function checkLabeledStatement(node) {
@@ -78896,7 +78923,7 @@ function createTypeChecker(host) {
   }
   function checkClassExpressionDeferred(node) {
     forEach(node.members, checkSourceElement);
-    registerForUnusedIdentifiersCheck(node);
+    registerForUnusedOrUninitializedIdentifiersCheck(node);
   }
   function checkClassDeclaration(node) {
     const firstDecorator = find(node.modifiers, isDecorator);
@@ -78908,7 +78935,7 @@ function createTypeChecker(host) {
     }
     checkClassLikeDeclaration(node);
     forEach(node.members, checkSourceElement);
-    registerForUnusedIdentifiersCheck(node);
+    registerForUnusedOrUninitializedIdentifiersCheck(node);
   }
   function checkClassLikeDeclaration(node) {
     checkGrammarClassLikeDeclaration(node);
@@ -79469,7 +79496,7 @@ function createTypeChecker(host) {
     forEach(node.members, checkSourceElement);
     addLazyDiagnostic(() => {
       checkTypeForDuplicateIndexSignatures(node);
-      registerForUnusedIdentifiersCheck(node);
+      registerForUnusedOrUninitializedIdentifiersCheck(node);
     });
   }
   function checkTypeAliasDeclaration(node) {
@@ -79483,7 +79510,7 @@ function createTypeChecker(host) {
       }
     } else {
       checkSourceElement(node.type);
-      registerForUnusedIdentifiersCheck(node);
+      registerForUnusedOrUninitializedIdentifiersCheck(node);
     }
   }
   function computeEnumMemberValues(node) {
@@ -79754,7 +79781,7 @@ function createTypeChecker(host) {
     if (node.body) {
       checkSourceElement(node.body);
       if (!isGlobalScopeAugmentation(node)) {
-        registerForUnusedIdentifiersCheck(node);
+        registerForUnusedOrUninitializedIdentifiersCheck(node);
       }
     }
     addLazyDiagnostic(checkModuleDeclarationDiagnostics);
@@ -80752,8 +80779,8 @@ function createTypeChecker(host) {
         return Debug.assertNever(kind);
     }
   }
-  function getPotentiallyUnusedIdentifiers(sourceFile) {
-    return allPotentiallyUnusedIdentifiers.get(sourceFile.path) || emptyArray;
+  function getPotentiallyUnusedOrUninitializedIdentifiers(sourceFile) {
+    return allPotentiallyUnusedOrUninitializedIdentifiers.get(sourceFile.path) || emptyArray;
   }
   function checkSourceFileWorker(node) {
     const links = getNodeLinks(node);
@@ -80767,42 +80794,30 @@ function createTypeChecker(host) {
       clear(potentialWeakMapSetCollisions);
       clear(potentialReflectCollisions);
       clear(potentialUnusedRenamedBindingElementsInTypes);
-      clear(ambiguousVariableDeclarationsWhenWidened);
       forEach(node.statements, checkSourceElement);
       checkSourceElement(node.endOfFileToken);
       checkDeferredNodes(node);
       if (isExternalOrCommonJsModule(node)) {
-        registerForUnusedIdentifiersCheck(node);
+        registerForUnusedOrUninitializedIdentifiersCheck(node);
       }
       addLazyDiagnostic(() => {
-        if (!node.isDeclarationFile && (compilerOptions.noUnusedLocals || compilerOptions.noUnusedParameters)) {
-          checkUnusedIdentifiers(getPotentiallyUnusedIdentifiers(node), (containingNode, kind, diag2) => {
-            if (!containsParseError(containingNode) && unusedIsError(kind, !!(containingNode.flags & 33554432 /* Ambient */))) {
-              diagnostics.add(diag2);
-            }
-          });
+        const checkUnused = !node.isDeclarationFile && (compilerOptions.noUnusedLocals || compilerOptions.noUnusedParameters);
+        if (checkUnused || strictNullChecks) {
+          checkUnusedOrUninitializedIdentifiers(
+            getPotentiallyUnusedOrUninitializedIdentifiers(node),
+            (containingNode, kind, diag2) => {
+              if (!containsParseError(containingNode) && unusedIsError(kind, !!(containingNode.flags & 33554432 /* Ambient */))) {
+                diagnostics.add(diag2);
+              }
+            },
+            checkUnused,
+            strictNullChecks
+          );
         }
         if (!node.isDeclarationFile) {
           checkPotentialUncheckedRenamedBindingElementsInTypes();
         }
       });
-      addLazyDiagnostic(() => {
-        function isVisibleExternally(elem) {
-          if (isOmittedExpression(elem)) {
-            return false;
-          }
-          if (isBindingPattern(elem.name)) {
-            return some(elem.name.elements, isVisibleExternally);
-          } else {
-            return isDeclarationVisible(elem);
-          }
-        }
-        for (const [node2, type, widenedLiteralType] of ambiguousVariableDeclarationsWhenWidened) {
-          if (isVisibleExternally(node2)) {
-            error(node2.name, Diagnostics.The_type_of_this_declaration_is_ambiguous_and_may_be_observed_as_either_0_or_1, typeToString(widenedLiteralType), typeToString(type));
-          }
-        }
-      });
       if (compilerOptions.importsNotUsedAsValues === 2 /* Error */ && !node.isDeclarationFile && isExternalModule(node)) {
         checkImportsForTypeOnlyConversion(node);
       }
@@ -80825,9 +80840,6 @@ function createTypeChecker(host) {
         forEach(potentialReflectCollisions, checkReflectCollision);
         clear(potentialReflectCollisions);
       }
-      if (ambiguousVariableDeclarationsWhenWidened.length) {
-        clear(ambiguousVariableDeclarationsWhenWidened);
-      }
       links.flags |= 1 /* TypeChecked */;
     }
   }

package/lib/tsserver.js

@@ -10181,7 +10181,6 @@ var Diagnostics = {
   Import_attributes_cannot_be_used_with_type_only_imports_or_exports: diag(2857, 1 /* Error */, "Import_attributes_cannot_be_used_with_type_only_imports_or_exports_2857", "Import attributes cannot be used with type-only imports or exports."),
   Import_attribute_values_must_be_string_literal_expressions: diag(2858, 1 /* Error */, "Import_attribute_values_must_be_string_literal_expressions_2858", "Import attribute values must be string literal expressions."),
   Excessive_complexity_comparing_types_0_and_1: diag(2859, 1 /* Error */, "Excessive_complexity_comparing_types_0_and_1_2859", "Excessive complexity comparing types '{0}' and '{1}'."),
-  The_type_of_this_declaration_is_ambiguous_and_may_be_observed_as_either_0_or_1: diag(2860, 1 /* Error */, "The_type_of_this_declaration_is_ambiguous_and_may_be_observed_as_either_0_or_1_2860", "The type of this declaration is ambiguous and may be observed as either '{0}' or '{1}'."),
   Import_declaration_0_is_using_private_name_1: diag(4e3, 1 /* Error */, "Import_declaration_0_is_using_private_name_1_4000", "Import declaration '{0}' is using private name '{1}'."),
   Type_parameter_0_of_exported_class_has_or_is_using_private_name_1: diag(4002, 1 /* Error */, "Type_parameter_0_of_exported_class_has_or_is_using_private_name_1_4002", "Type parameter '{0}' of exported class has or is using private name '{1}'."),
   Type_parameter_0_of_exported_interface_has_or_is_using_private_name_1: diag(4004, 1 /* Error */, "Type_parameter_0_of_exported_interface_has_or_is_using_private_name_1_4004", "Type parameter '{0}' of exported interface has or is using private name '{1}'."),
@@ -19922,6 +19921,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 */;
   }
@@ -48239,11 +48241,16 @@ function createTypeChecker(host) {
         checkSourceFileWithEagerDiagnostics(file);
         Debug.assert(!!(getNodeLinks(file).flags & 1 /* TypeChecked */));
         diagnostics2 = addRange(diagnostics2, suggestionDiagnostics.getDiagnostics(file.fileName));
-        checkUnusedIdentifiers(getPotentiallyUnusedIdentifiers(file), (containingNode, kind, diag2) => {
-          if (!containsParseError(containingNode) && !unusedIsError(kind, !!(containingNode.flags & 33554432 /* Ambient */))) {
-            (diagnostics2 || (diagnostics2 = [])).push({ ...diag2, category: 2 /* Suggestion */ });
-          }
-        });
+        checkUnusedOrUninitializedIdentifiers(
+          getPotentiallyUnusedOrUninitializedIdentifiers(file),
+          (containingNode, kind, diag2) => {
+            if (!containsParseError(containingNode) && !unusedIsError(kind, !!(containingNode.flags & 33554432 /* Ambient */))) {
+              (diagnostics2 || (diagnostics2 = [])).push({ ...diag2, category: 2 /* Suggestion */ });
+            }
+          },
+          /*checkUnused*/
+          true
+        );
         return diagnostics2 || emptyArray;
       } finally {
         cancellationToken = void 0;
@@ -48740,7 +48747,7 @@ function createTypeChecker(host) {
   var deferredGlobalClassAccessorDecoratorTargetType;
   var deferredGlobalClassAccessorDecoratorResultType;
   var deferredGlobalClassFieldDecoratorContextType;
-  var allPotentiallyUnusedIdentifiers = /* @__PURE__ */ new Map();
+  var allPotentiallyUnusedOrUninitializedIdentifiers = /* @__PURE__ */ new Map();
   var flowLoopStart = 0;
   var flowLoopCount = 0;
   var sharedFlowCount = 0;
@@ -48783,7 +48790,6 @@ function createTypeChecker(host) {
   var potentialReflectCollisions = [];
   var potentialUnusedRenamedBindingElementsInTypes = [];
   var awaitedTypeStack = [];
-  var ambiguousVariableDeclarationsWhenWidened = [];
   var diagnostics = createDiagnosticCollection();
   var suggestionDiagnostics = createDiagnosticCollection();
   var typeofType = createTypeofType();
@@ -49452,10 +49458,10 @@ function createTypeChecker(host) {
   function isConstAssertion(location) {
     return isAssertionExpression(location) && isConstTypeReference(location.type) || isJSDocTypeTag(location) && isConstTypeReference(location.typeExpression);
   }
-  function resolveName(location, name, meaning, nameNotFoundMessage, nameArg, isUse, excludeGlobals = false, getSpellingSuggestions = true) {
-    return resolveNameHelper(location, name, meaning, nameNotFoundMessage, nameArg, isUse, excludeGlobals, getSpellingSuggestions, getSymbol2);
+  function resolveName(location, name, meaning, nameNotFoundMessage, nameArg, isUse, excludeGlobals = false, getSpellingSuggestions = true, isWritten = false) {
+    return resolveNameHelper(location, name, meaning, nameNotFoundMessage, nameArg, isUse, excludeGlobals, getSpellingSuggestions, isWritten, getSymbol2);
   }
-  function resolveNameHelper(location, name, meaning, nameNotFoundMessage, nameArg, isUse, excludeGlobals, getSpellingSuggestions, lookup) {
+  function resolveNameHelper(location, name, meaning, nameNotFoundMessage, nameArg, isUse, excludeGlobals, getSpellingSuggestions, isWritten, lookup) {
     var _a, _b, _c;
     const originalLocation = location;
     let result;
@@ -49681,6 +49687,9 @@ function createTypeChecker(host) {
     if (isUse && result && (!lastSelfReferenceLocation || result !== lastSelfReferenceLocation.symbol)) {
       result.isReferenced |= meaning;
     }
+    if (isWritten && result) {
+      result.isAssigned = true;
+    }
     if (!result) {
       if (lastLocation) {
         Debug.assertNode(lastLocation, isSourceFile);
@@ -69188,7 +69197,10 @@ function createTypeChecker(host) {
         node,
         !isWriteOnlyAccess(node),
         /*excludeGlobals*/
-        false
+        false,
+        /*getSpellingSuggestions*/
+        void 0,
+        isWriteAccess(node)
       ) || unknownSymbol;
     }
     return links.resolvedSymbol;
@@ -74622,6 +74634,8 @@ function createTypeChecker(host) {
       false,
       /*getSpellingSuggestions*/
       true,
+      /*isWritten*/
+      false,
       (symbols, name, meaning2) => {
         Debug.assertEqual(outerName, name, "name should equal outerName");
         const symbol = getSymbol2(symbols, name, meaning2);
@@ -80076,7 +80090,7 @@ function createTypeChecker(host) {
         }
       }
       if (node.kind !== 181 /* IndexSignature */ && node.kind !== 324 /* JSDocFunctionType */) {
-        registerForUnusedIdentifiersCheck(node);
+        registerForUnusedOrUninitializedIdentifiersCheck(node);
       }
     }
   }
@@ -80621,7 +80635,7 @@ function createTypeChecker(host) {
         }
       }
     }
-    registerForUnusedIdentifiersCheck(node);
+    registerForUnusedOrUninitializedIdentifiersCheck(node);
   }
   function checkTemplateLiteralType(node) {
     for (const span of node.templateSpans) {
@@ -81607,25 +81621,27 @@ function createTypeChecker(host) {
       }
     }
   }
-  function registerForUnusedIdentifiersCheck(node) {
-    addLazyDiagnostic(registerForUnusedIdentifiersCheckDiagnostics);
-    function registerForUnusedIdentifiersCheckDiagnostics() {
+  function registerForUnusedOrUninitializedIdentifiersCheck(node) {
+    addLazyDiagnostic(registerForUnusedOrUninitializedIdentifiersCheckDiagnostics);
+    function registerForUnusedOrUninitializedIdentifiersCheckDiagnostics() {
       const sourceFile = getSourceFileOfNode(node);
-      let potentiallyUnusedIdentifiers = allPotentiallyUnusedIdentifiers.get(sourceFile.path);
-      if (!potentiallyUnusedIdentifiers) {
-        potentiallyUnusedIdentifiers = [];
-        allPotentiallyUnusedIdentifiers.set(sourceFile.path, potentiallyUnusedIdentifiers);
+      let potentiallyUnusedOrUninitializedIdentifiers = allPotentiallyUnusedOrUninitializedIdentifiers.get(sourceFile.path);
+      if (!potentiallyUnusedOrUninitializedIdentifiers) {
+        potentiallyUnusedOrUninitializedIdentifiers = [];
+        allPotentiallyUnusedOrUninitializedIdentifiers.set(sourceFile.path, potentiallyUnusedOrUninitializedIdentifiers);
       }
-      potentiallyUnusedIdentifiers.push(node);
+      potentiallyUnusedOrUninitializedIdentifiers.push(node);
     }
   }
-  function checkUnusedIdentifiers(potentiallyUnusedIdentifiers, addDiagnostic) {
+  function checkUnusedOrUninitializedIdentifiers(potentiallyUnusedIdentifiers, addDiagnostic, checkUnused, checkUninitialized) {
     for (const node of potentiallyUnusedIdentifiers) {
       switch (node.kind) {
         case 263 /* ClassDeclaration */:
         case 231 /* ClassExpression */:
-          checkUnusedClassMembers(node, addDiagnostic);
-          checkUnusedTypeParameters(node, addDiagnostic);
+          if (checkUnused) {
+            checkUnusedClassMembers(node, addDiagnostic);
+            checkUnusedTypeParameters(node, addDiagnostic);
+          }
           break;
         case 312 /* SourceFile */:
         case 267 /* ModuleDeclaration */:
@@ -81634,7 +81650,12 @@ function createTypeChecker(host) {
         case 248 /* ForStatement */:
         case 249 /* ForInStatement */:
         case 250 /* ForOfStatement */:
-          checkUnusedLocalsAndParameters(node, addDiagnostic);
+          if (checkUnused) {
+            checkUnusedLocalsAndParameters(node, addDiagnostic);
+          }
+          if (checkUninitialized) {
+            checkUninitializedLocals(node);
+          }
           break;
         case 176 /* Constructor */:
         case 218 /* FunctionExpression */:
@@ -81643,10 +81664,15 @@ function createTypeChecker(host) {
         case 174 /* MethodDeclaration */:
         case 177 /* GetAccessor */:
         case 178 /* SetAccessor */:
-          if (node.body) {
-            checkUnusedLocalsAndParameters(node, addDiagnostic);
+          if (checkUnused) {
+            if (node.body) {
+              checkUnusedLocalsAndParameters(node, addDiagnostic);
+            }
+            checkUnusedTypeParameters(node, addDiagnostic);
+          }
+          if (checkUninitialized) {
+            checkUninitializedLocals(node);
           }
-          checkUnusedTypeParameters(node, addDiagnostic);
           break;
         case 173 /* MethodSignature */:
         case 179 /* CallSignature */:
@@ -81655,10 +81681,14 @@ function createTypeChecker(host) {
         case 185 /* ConstructorType */:
         case 265 /* TypeAliasDeclaration */:
         case 264 /* InterfaceDeclaration */:
-          checkUnusedTypeParameters(node, addDiagnostic);
+          if (checkUnused) {
+            checkUnusedTypeParameters(node, addDiagnostic);
+          }
           break;
         case 195 /* InferType */:
-          checkUnusedInferTypeParameter(node, addDiagnostic);
+          if (checkUnused) {
+            checkUnusedInferTypeParameter(node, addDiagnostic);
+          }
           break;
         default:
           Debug.assertNever(node, "Node should not have been registered for unused identifiers check");
@@ -81848,6 +81878,26 @@ function createTypeChecker(host) {
       }
     });
   }
+  function checkUninitializedLocals(nodeWithLocals) {
+    nodeWithLocals.locals.forEach((local) => {
+      if (!(local.flags & 3 /* Variable */) || local.isAssigned || !local.isReferenced) {
+        return;
+      }
+      const declaration = local.valueDeclaration;
+      if (!declaration) {
+        return;
+      }
+      if (isVariableDeclaration(declaration)) {
+        if (getCombinedNodeFlagsCached(declaration) & 33554432 /* Ambient */ || declaration.exclamationToken || declaration.initializer || !declaration.type) {
+          return;
+        }
+        const type = getTypeFromTypeNode(declaration.type);
+        if (!(type.flags & 3 /* AnyOrUnknown */) && !containsUndefinedType(type)) {
+          error2(declaration, Diagnostics.Variable_0_is_used_before_being_assigned, idText(declaration.name));
+        }
+      }
+    });
+  }
   function checkPotentialUncheckedRenamedBindingElementsInTypes() {
     var _a;
     for (const node of potentialUnusedRenamedBindingElementsInTypes) {
@@ -81894,7 +81944,7 @@ function createTypeChecker(host) {
       forEach(node.statements, checkSourceElement);
     }
     if (node.locals) {
-      registerForUnusedIdentifiersCheck(node);
+      registerForUnusedOrUninitializedIdentifiersCheck(node);
     }
   }
   function checkCollisionWithArgumentsInGeneratedCode(node) {
@@ -82243,29 +82293,6 @@ function createTypeChecker(host) {
       }
       checkCollisionsForDeclarationName(node, node.name);
     }
-    function canHaveLiteralInitializer2(node2) {
-      switch (node2.kind) {
-        case 172 /* PropertyDeclaration */:
-        case 171 /* PropertySignature */:
-          return !hasEffectiveModifier(node2, 8 /* Private */);
-        case 169 /* Parameter */:
-        case 260 /* VariableDeclaration */:
-          return true;
-      }
-      return false;
-    }
-    function shouldPrintWithInitializer(node2) {
-      return canHaveLiteralInitializer2(node2) && isLiteralConstDeclaration(node2);
-    }
-    function isPrivateDeclaration(node2) {
-      return hasEffectiveModifier(node2, 8 /* Private */) || isPrivateIdentifierClassElementDeclaration(node2);
-    }
-    if (getEmitDeclarations(compilerOptions) && !(symbol.flags & (2048 /* TypeLiteral */ | 131072 /* Signature */)) && !shouldPrintWithInitializer(node) && !isPrivateDeclaration(node)) {
-      const widenedLiteralType = getWidenedLiteralType(type);
-      if (!isTypeIdenticalTo(type, widenedLiteralType)) {
-        ambiguousVariableDeclarationsWhenWidened.push([node, type, widenedLiteralType]);
-      }
-    }
   }
   function errorNextVariableOrPropertyDeclarationMustHaveSameType(firstDeclaration, firstType, nextDeclaration, nextType) {
     const nextDeclarationName = getNameOfDeclaration(nextDeclaration);
@@ -82467,7 +82494,7 @@ function createTypeChecker(host) {
       checkExpression(node.incrementor);
     checkSourceElement(node.statement);
     if (node.locals) {
-      registerForUnusedIdentifiersCheck(node);
+      registerForUnusedOrUninitializedIdentifiersCheck(node);
     }
   }
   function checkForOfStatement(node) {
@@ -82506,7 +82533,7 @@ function createTypeChecker(host) {
     }
     checkSourceElement(node.statement);
     if (node.locals) {
-      registerForUnusedIdentifiersCheck(node);
+      registerForUnusedOrUninitializedIdentifiersCheck(node);
     }
   }
   function checkForInStatement(node) {
@@ -82538,7 +82565,7 @@ function createTypeChecker(host) {
     }
     checkSourceElement(node.statement);
     if (node.locals) {
-      registerForUnusedIdentifiersCheck(node);
+      registerForUnusedOrUninitializedIdentifiersCheck(node);
     }
   }
   function checkRightHandSideOfForOf(statement) {
@@ -83270,7 +83297,7 @@ function createTypeChecker(host) {
       }
     });
     if (node.caseBlock.locals) {
-      registerForUnusedIdentifiersCheck(node.caseBlock);
+      registerForUnusedOrUninitializedIdentifiersCheck(node.caseBlock);
     }
   }
   function checkLabeledStatement(node) {
@@ -83610,7 +83637,7 @@ function createTypeChecker(host) {
   }
   function checkClassExpressionDeferred(node) {
     forEach(node.members, checkSourceElement);
-    registerForUnusedIdentifiersCheck(node);
+    registerForUnusedOrUninitializedIdentifiersCheck(node);
   }
   function checkClassDeclaration(node) {
     const firstDecorator = find(node.modifiers, isDecorator);
@@ -83622,7 +83649,7 @@ function createTypeChecker(host) {
     }
     checkClassLikeDeclaration(node);
     forEach(node.members, checkSourceElement);
-    registerForUnusedIdentifiersCheck(node);
+    registerForUnusedOrUninitializedIdentifiersCheck(node);
   }
   function checkClassLikeDeclaration(node) {
     checkGrammarClassLikeDeclaration(node);
@@ -84183,7 +84210,7 @@ function createTypeChecker(host) {
     forEach(node.members, checkSourceElement);
     addLazyDiagnostic(() => {
       checkTypeForDuplicateIndexSignatures(node);
-      registerForUnusedIdentifiersCheck(node);
+      registerForUnusedOrUninitializedIdentifiersCheck(node);
     });
   }
   function checkTypeAliasDeclaration(node) {
@@ -84197,7 +84224,7 @@ function createTypeChecker(host) {
       }
     } else {
       checkSourceElement(node.type);
-      registerForUnusedIdentifiersCheck(node);
+      registerForUnusedOrUninitializedIdentifiersCheck(node);
     }
   }
   function computeEnumMemberValues(node) {
@@ -84468,7 +84495,7 @@ function createTypeChecker(host) {
     if (node.body) {
       checkSourceElement(node.body);
       if (!isGlobalScopeAugmentation(node)) {
-        registerForUnusedIdentifiersCheck(node);
+        registerForUnusedOrUninitializedIdentifiersCheck(node);
       }
     }
     addLazyDiagnostic(checkModuleDeclarationDiagnostics);
@@ -85466,8 +85493,8 @@ function createTypeChecker(host) {
         return Debug.assertNever(kind);
     }
   }
-  function getPotentiallyUnusedIdentifiers(sourceFile) {
-    return allPotentiallyUnusedIdentifiers.get(sourceFile.path) || emptyArray;
+  function getPotentiallyUnusedOrUninitializedIdentifiers(sourceFile) {
+    return allPotentiallyUnusedOrUninitializedIdentifiers.get(sourceFile.path) || emptyArray;
   }
   function checkSourceFileWorker(node) {
     const links = getNodeLinks(node);
@@ -85481,42 +85508,30 @@ function createTypeChecker(host) {
       clear(potentialWeakMapSetCollisions);
       clear(potentialReflectCollisions);
       clear(potentialUnusedRenamedBindingElementsInTypes);
-      clear(ambiguousVariableDeclarationsWhenWidened);
       forEach(node.statements, checkSourceElement);
       checkSourceElement(node.endOfFileToken);
       checkDeferredNodes(node);
       if (isExternalOrCommonJsModule(node)) {
-        registerForUnusedIdentifiersCheck(node);
+        registerForUnusedOrUninitializedIdentifiersCheck(node);
       }
       addLazyDiagnostic(() => {
-        if (!node.isDeclarationFile && (compilerOptions.noUnusedLocals || compilerOptions.noUnusedParameters)) {
-          checkUnusedIdentifiers(getPotentiallyUnusedIdentifiers(node), (containingNode, kind, diag2) => {
-            if (!containsParseError(containingNode) && unusedIsError(kind, !!(containingNode.flags & 33554432 /* Ambient */))) {
-              diagnostics.add(diag2);
-            }
-          });
+        const checkUnused = !node.isDeclarationFile && (compilerOptions.noUnusedLocals || compilerOptions.noUnusedParameters);
+        if (checkUnused || strictNullChecks) {
+          checkUnusedOrUninitializedIdentifiers(
+            getPotentiallyUnusedOrUninitializedIdentifiers(node),
+            (containingNode, kind, diag2) => {
+              if (!containsParseError(containingNode) && unusedIsError(kind, !!(containingNode.flags & 33554432 /* Ambient */))) {
+                diagnostics.add(diag2);
+              }
+            },
+            checkUnused,
+            strictNullChecks
+          );
         }
         if (!node.isDeclarationFile) {
           checkPotentialUncheckedRenamedBindingElementsInTypes();
         }
       });
-      addLazyDiagnostic(() => {
-        function isVisibleExternally(elem) {
-          if (isOmittedExpression(elem)) {
-            return false;
-          }
-          if (isBindingPattern(elem.name)) {
-            return some(elem.name.elements, isVisibleExternally);
-          } else {
-            return isDeclarationVisible(elem);
-          }
-        }
-        for (const [node2, type, widenedLiteralType] of ambiguousVariableDeclarationsWhenWidened) {
-          if (isVisibleExternally(node2)) {
-            error2(node2.name, Diagnostics.The_type_of_this_declaration_is_ambiguous_and_may_be_observed_as_either_0_or_1, typeToString(widenedLiteralType), typeToString(type));
-          }
-        }
-      });
       if (compilerOptions.importsNotUsedAsValues === 2 /* Error */ && !node.isDeclarationFile && isExternalModule(node)) {
         checkImportsForTypeOnlyConversion(node);
       }
@@ -85539,9 +85554,6 @@ function createTypeChecker(host) {
         forEach(potentialReflectCollisions, checkReflectCollision);
         clear(potentialReflectCollisions);
       }
-      if (ambiguousVariableDeclarationsWhenWidened.length) {
-        clear(ambiguousVariableDeclarationsWhenWidened);
-      }
       links.flags |= 1 /* TypeChecked */;
     }
   }

package/lib/typescript.js

@@ -7961,7 +7961,6 @@ ${lanes.join("\n")}
         Import_attributes_cannot_be_used_with_type_only_imports_or_exports: diag(2857, 1 /* Error */, "Import_attributes_cannot_be_used_with_type_only_imports_or_exports_2857", "Import attributes cannot be used with type-only imports or exports."),
         Import_attribute_values_must_be_string_literal_expressions: diag(2858, 1 /* Error */, "Import_attribute_values_must_be_string_literal_expressions_2858", "Import attribute values must be string literal expressions."),
         Excessive_complexity_comparing_types_0_and_1: diag(2859, 1 /* Error */, "Excessive_complexity_comparing_types_0_and_1_2859", "Excessive complexity comparing types '{0}' and '{1}'."),
-        The_type_of_this_declaration_is_ambiguous_and_may_be_observed_as_either_0_or_1: diag(2860, 1 /* Error */, "The_type_of_this_declaration_is_ambiguous_and_may_be_observed_as_either_0_or_1_2860", "The type of this declaration is ambiguous and may be observed as either '{0}' or '{1}'."),
         Import_declaration_0_is_using_private_name_1: diag(4e3, 1 /* Error */, "Import_declaration_0_is_using_private_name_1_4000", "Import declaration '{0}' is using private name '{1}'."),
         Type_parameter_0_of_exported_class_has_or_is_using_private_name_1: diag(4002, 1 /* Error */, "Type_parameter_0_of_exported_class_has_or_is_using_private_name_1_4002", "Type parameter '{0}' of exported class has or is using private name '{1}'."),
         Type_parameter_0_of_exported_interface_has_or_is_using_private_name_1: diag(4004, 1 /* Error */, "Type_parameter_0_of_exported_interface_has_or_is_using_private_name_1_4004", "Type parameter '{0}' of exported interface has or is using private name '{1}'."),
@@ -17221,6 +17220,9 @@ ${lanes.join("\n")}
         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 */;
     }
@@ -46003,11 +46005,16 @@ ${lanes.join("\n")}
           checkSourceFileWithEagerDiagnostics(file);
           Debug.assert(!!(getNodeLinks(file).flags & 1 /* TypeChecked */));
           diagnostics2 = addRange(diagnostics2, suggestionDiagnostics.getDiagnostics(file.fileName));
-          checkUnusedIdentifiers(getPotentiallyUnusedIdentifiers(file), (containingNode, kind, diag2) => {
-            if (!containsParseError(containingNode) && !unusedIsError(kind, !!(containingNode.flags & 33554432 /* Ambient */))) {
-              (diagnostics2 || (diagnostics2 = [])).push({ ...diag2, category: 2 /* Suggestion */ });
-            }
-          });
+          checkUnusedOrUninitializedIdentifiers(
+            getPotentiallyUnusedOrUninitializedIdentifiers(file),
+            (containingNode, kind, diag2) => {
+              if (!containsParseError(containingNode) && !unusedIsError(kind, !!(containingNode.flags & 33554432 /* Ambient */))) {
+                (diagnostics2 || (diagnostics2 = [])).push({ ...diag2, category: 2 /* Suggestion */ });
+              }
+            },
+            /*checkUnused*/
+            true
+          );
           return diagnostics2 || emptyArray;
         } finally {
           cancellationToken = void 0;
@@ -46504,7 +46511,7 @@ ${lanes.join("\n")}
     var deferredGlobalClassAccessorDecoratorTargetType;
     var deferredGlobalClassAccessorDecoratorResultType;
     var deferredGlobalClassFieldDecoratorContextType;
-    var allPotentiallyUnusedIdentifiers = /* @__PURE__ */ new Map();
+    var allPotentiallyUnusedOrUninitializedIdentifiers = /* @__PURE__ */ new Map();
     var flowLoopStart = 0;
     var flowLoopCount = 0;
     var sharedFlowCount = 0;
@@ -46547,7 +46554,6 @@ ${lanes.join("\n")}
     var potentialReflectCollisions = [];
     var potentialUnusedRenamedBindingElementsInTypes = [];
     var awaitedTypeStack = [];
-    var ambiguousVariableDeclarationsWhenWidened = [];
     var diagnostics = createDiagnosticCollection();
     var suggestionDiagnostics = createDiagnosticCollection();
     var typeofType = createTypeofType();
@@ -47216,10 +47222,10 @@ ${lanes.join("\n")}
     function isConstAssertion(location) {
       return isAssertionExpression(location) && isConstTypeReference(location.type) || isJSDocTypeTag(location) && isConstTypeReference(location.typeExpression);
     }
-    function resolveName(location, name, meaning, nameNotFoundMessage, nameArg, isUse, excludeGlobals = false, getSpellingSuggestions = true) {
-      return resolveNameHelper(location, name, meaning, nameNotFoundMessage, nameArg, isUse, excludeGlobals, getSpellingSuggestions, getSymbol2);
+    function resolveName(location, name, meaning, nameNotFoundMessage, nameArg, isUse, excludeGlobals = false, getSpellingSuggestions = true, isWritten = false) {
+      return resolveNameHelper(location, name, meaning, nameNotFoundMessage, nameArg, isUse, excludeGlobals, getSpellingSuggestions, isWritten, getSymbol2);
     }
-    function resolveNameHelper(location, name, meaning, nameNotFoundMessage, nameArg, isUse, excludeGlobals, getSpellingSuggestions, lookup) {
+    function resolveNameHelper(location, name, meaning, nameNotFoundMessage, nameArg, isUse, excludeGlobals, getSpellingSuggestions, isWritten, lookup) {
       var _a, _b, _c;
       const originalLocation = location;
       let result;
@@ -47445,6 +47451,9 @@ ${lanes.join("\n")}
       if (isUse && result && (!lastSelfReferenceLocation || result !== lastSelfReferenceLocation.symbol)) {
         result.isReferenced |= meaning;
       }
+      if (isWritten && result) {
+        result.isAssigned = true;
+      }
       if (!result) {
         if (lastLocation) {
           Debug.assertNode(lastLocation, isSourceFile);
@@ -66952,7 +66961,10 @@ ${lanes.join("\n")}
           node,
           !isWriteOnlyAccess(node),
           /*excludeGlobals*/
-          false
+          false,
+          /*getSpellingSuggestions*/
+          void 0,
+          isWriteAccess(node)
         ) || unknownSymbol;
       }
       return links.resolvedSymbol;
@@ -72386,6 +72398,8 @@ ${lanes.join("\n")}
         false,
         /*getSpellingSuggestions*/
         true,
+        /*isWritten*/
+        false,
         (symbols, name, meaning2) => {
           Debug.assertEqual(outerName, name, "name should equal outerName");
           const symbol = getSymbol2(symbols, name, meaning2);
@@ -77840,7 +77854,7 @@ ${lanes.join("\n")}
           }
         }
         if (node.kind !== 181 /* IndexSignature */ && node.kind !== 324 /* JSDocFunctionType */) {
-          registerForUnusedIdentifiersCheck(node);
+          registerForUnusedOrUninitializedIdentifiersCheck(node);
         }
       }
     }
@@ -78385,7 +78399,7 @@ ${lanes.join("\n")}
           }
         }
       }
-      registerForUnusedIdentifiersCheck(node);
+      registerForUnusedOrUninitializedIdentifiersCheck(node);
     }
     function checkTemplateLiteralType(node) {
       for (const span of node.templateSpans) {
@@ -79371,25 +79385,27 @@ ${lanes.join("\n")}
         }
       }
     }
-    function registerForUnusedIdentifiersCheck(node) {
-      addLazyDiagnostic(registerForUnusedIdentifiersCheckDiagnostics);
-      function registerForUnusedIdentifiersCheckDiagnostics() {
+    function registerForUnusedOrUninitializedIdentifiersCheck(node) {
+      addLazyDiagnostic(registerForUnusedOrUninitializedIdentifiersCheckDiagnostics);
+      function registerForUnusedOrUninitializedIdentifiersCheckDiagnostics() {
         const sourceFile = getSourceFileOfNode(node);
-        let potentiallyUnusedIdentifiers = allPotentiallyUnusedIdentifiers.get(sourceFile.path);
-        if (!potentiallyUnusedIdentifiers) {
-          potentiallyUnusedIdentifiers = [];
-          allPotentiallyUnusedIdentifiers.set(sourceFile.path, potentiallyUnusedIdentifiers);
+        let potentiallyUnusedOrUninitializedIdentifiers = allPotentiallyUnusedOrUninitializedIdentifiers.get(sourceFile.path);
+        if (!potentiallyUnusedOrUninitializedIdentifiers) {
+          potentiallyUnusedOrUninitializedIdentifiers = [];
+          allPotentiallyUnusedOrUninitializedIdentifiers.set(sourceFile.path, potentiallyUnusedOrUninitializedIdentifiers);
         }
-        potentiallyUnusedIdentifiers.push(node);
+        potentiallyUnusedOrUninitializedIdentifiers.push(node);
       }
     }
-    function checkUnusedIdentifiers(potentiallyUnusedIdentifiers, addDiagnostic) {
+    function checkUnusedOrUninitializedIdentifiers(potentiallyUnusedIdentifiers, addDiagnostic, checkUnused, checkUninitialized) {
       for (const node of potentiallyUnusedIdentifiers) {
         switch (node.kind) {
           case 263 /* ClassDeclaration */:
           case 231 /* ClassExpression */:
-            checkUnusedClassMembers(node, addDiagnostic);
-            checkUnusedTypeParameters(node, addDiagnostic);
+            if (checkUnused) {
+              checkUnusedClassMembers(node, addDiagnostic);
+              checkUnusedTypeParameters(node, addDiagnostic);
+            }
             break;
           case 312 /* SourceFile */:
           case 267 /* ModuleDeclaration */:
@@ -79398,7 +79414,12 @@ ${lanes.join("\n")}
           case 248 /* ForStatement */:
           case 249 /* ForInStatement */:
           case 250 /* ForOfStatement */:
-            checkUnusedLocalsAndParameters(node, addDiagnostic);
+            if (checkUnused) {
+              checkUnusedLocalsAndParameters(node, addDiagnostic);
+            }
+            if (checkUninitialized) {
+              checkUninitializedLocals(node);
+            }
             break;
           case 176 /* Constructor */:
           case 218 /* FunctionExpression */:
@@ -79407,10 +79428,15 @@ ${lanes.join("\n")}
           case 174 /* MethodDeclaration */:
           case 177 /* GetAccessor */:
           case 178 /* SetAccessor */:
-            if (node.body) {
-              checkUnusedLocalsAndParameters(node, addDiagnostic);
+            if (checkUnused) {
+              if (node.body) {
+                checkUnusedLocalsAndParameters(node, addDiagnostic);
+              }
+              checkUnusedTypeParameters(node, addDiagnostic);
+            }
+            if (checkUninitialized) {
+              checkUninitializedLocals(node);
             }
-            checkUnusedTypeParameters(node, addDiagnostic);
             break;
           case 173 /* MethodSignature */:
           case 179 /* CallSignature */:
@@ -79419,10 +79445,14 @@ ${lanes.join("\n")}
           case 185 /* ConstructorType */:
           case 265 /* TypeAliasDeclaration */:
           case 264 /* InterfaceDeclaration */:
-            checkUnusedTypeParameters(node, addDiagnostic);
+            if (checkUnused) {
+              checkUnusedTypeParameters(node, addDiagnostic);
+            }
             break;
           case 195 /* InferType */:
-            checkUnusedInferTypeParameter(node, addDiagnostic);
+            if (checkUnused) {
+              checkUnusedInferTypeParameter(node, addDiagnostic);
+            }
             break;
           default:
             Debug.assertNever(node, "Node should not have been registered for unused identifiers check");
@@ -79612,6 +79642,26 @@ ${lanes.join("\n")}
         }
       });
     }
+    function checkUninitializedLocals(nodeWithLocals) {
+      nodeWithLocals.locals.forEach((local) => {
+        if (!(local.flags & 3 /* Variable */) || local.isAssigned || !local.isReferenced) {
+          return;
+        }
+        const declaration = local.valueDeclaration;
+        if (!declaration) {
+          return;
+        }
+        if (isVariableDeclaration(declaration)) {
+          if (getCombinedNodeFlagsCached(declaration) & 33554432 /* Ambient */ || declaration.exclamationToken || declaration.initializer || !declaration.type) {
+            return;
+          }
+          const type = getTypeFromTypeNode(declaration.type);
+          if (!(type.flags & 3 /* AnyOrUnknown */) && !containsUndefinedType(type)) {
+            error2(declaration, Diagnostics.Variable_0_is_used_before_being_assigned, idText(declaration.name));
+          }
+        }
+      });
+    }
     function checkPotentialUncheckedRenamedBindingElementsInTypes() {
       var _a;
       for (const node of potentialUnusedRenamedBindingElementsInTypes) {
@@ -79658,7 +79708,7 @@ ${lanes.join("\n")}
         forEach(node.statements, checkSourceElement);
       }
       if (node.locals) {
-        registerForUnusedIdentifiersCheck(node);
+        registerForUnusedOrUninitializedIdentifiersCheck(node);
       }
     }
     function checkCollisionWithArgumentsInGeneratedCode(node) {
@@ -80007,29 +80057,6 @@ ${lanes.join("\n")}
         }
         checkCollisionsForDeclarationName(node, node.name);
       }
-      function canHaveLiteralInitializer2(node2) {
-        switch (node2.kind) {
-          case 172 /* PropertyDeclaration */:
-          case 171 /* PropertySignature */:
-            return !hasEffectiveModifier(node2, 8 /* Private */);
-          case 169 /* Parameter */:
-          case 260 /* VariableDeclaration */:
-            return true;
-        }
-        return false;
-      }
-      function shouldPrintWithInitializer(node2) {
-        return canHaveLiteralInitializer2(node2) && isLiteralConstDeclaration(node2);
-      }
-      function isPrivateDeclaration(node2) {
-        return hasEffectiveModifier(node2, 8 /* Private */) || isPrivateIdentifierClassElementDeclaration(node2);
-      }
-      if (getEmitDeclarations(compilerOptions) && !(symbol.flags & (2048 /* TypeLiteral */ | 131072 /* Signature */)) && !shouldPrintWithInitializer(node) && !isPrivateDeclaration(node)) {
-        const widenedLiteralType = getWidenedLiteralType(type);
-        if (!isTypeIdenticalTo(type, widenedLiteralType)) {
-          ambiguousVariableDeclarationsWhenWidened.push([node, type, widenedLiteralType]);
-        }
-      }
     }
     function errorNextVariableOrPropertyDeclarationMustHaveSameType(firstDeclaration, firstType, nextDeclaration, nextType) {
       const nextDeclarationName = getNameOfDeclaration(nextDeclaration);
@@ -80231,7 +80258,7 @@ ${lanes.join("\n")}
         checkExpression(node.incrementor);
       checkSourceElement(node.statement);
       if (node.locals) {
-        registerForUnusedIdentifiersCheck(node);
+        registerForUnusedOrUninitializedIdentifiersCheck(node);
       }
     }
     function checkForOfStatement(node) {
@@ -80270,7 +80297,7 @@ ${lanes.join("\n")}
       }
       checkSourceElement(node.statement);
       if (node.locals) {
-        registerForUnusedIdentifiersCheck(node);
+        registerForUnusedOrUninitializedIdentifiersCheck(node);
       }
     }
     function checkForInStatement(node) {
@@ -80302,7 +80329,7 @@ ${lanes.join("\n")}
       }
       checkSourceElement(node.statement);
       if (node.locals) {
-        registerForUnusedIdentifiersCheck(node);
+        registerForUnusedOrUninitializedIdentifiersCheck(node);
       }
     }
     function checkRightHandSideOfForOf(statement) {
@@ -81034,7 +81061,7 @@ ${lanes.join("\n")}
         }
       });
       if (node.caseBlock.locals) {
-        registerForUnusedIdentifiersCheck(node.caseBlock);
+        registerForUnusedOrUninitializedIdentifiersCheck(node.caseBlock);
       }
     }
     function checkLabeledStatement(node) {
@@ -81374,7 +81401,7 @@ ${lanes.join("\n")}
     }
     function checkClassExpressionDeferred(node) {
       forEach(node.members, checkSourceElement);
-      registerForUnusedIdentifiersCheck(node);
+      registerForUnusedOrUninitializedIdentifiersCheck(node);
     }
     function checkClassDeclaration(node) {
       const firstDecorator = find(node.modifiers, isDecorator);
@@ -81386,7 +81413,7 @@ ${lanes.join("\n")}
       }
       checkClassLikeDeclaration(node);
       forEach(node.members, checkSourceElement);
-      registerForUnusedIdentifiersCheck(node);
+      registerForUnusedOrUninitializedIdentifiersCheck(node);
     }
     function checkClassLikeDeclaration(node) {
       checkGrammarClassLikeDeclaration(node);
@@ -81947,7 +81974,7 @@ ${lanes.join("\n")}
       forEach(node.members, checkSourceElement);
       addLazyDiagnostic(() => {
         checkTypeForDuplicateIndexSignatures(node);
-        registerForUnusedIdentifiersCheck(node);
+        registerForUnusedOrUninitializedIdentifiersCheck(node);
       });
     }
     function checkTypeAliasDeclaration(node) {
@@ -81961,7 +81988,7 @@ ${lanes.join("\n")}
         }
       } else {
         checkSourceElement(node.type);
-        registerForUnusedIdentifiersCheck(node);
+        registerForUnusedOrUninitializedIdentifiersCheck(node);
       }
     }
     function computeEnumMemberValues(node) {
@@ -82232,7 +82259,7 @@ ${lanes.join("\n")}
       if (node.body) {
         checkSourceElement(node.body);
         if (!isGlobalScopeAugmentation(node)) {
-          registerForUnusedIdentifiersCheck(node);
+          registerForUnusedOrUninitializedIdentifiersCheck(node);
         }
       }
       addLazyDiagnostic(checkModuleDeclarationDiagnostics);
@@ -83230,8 +83257,8 @@ ${lanes.join("\n")}
           return Debug.assertNever(kind);
       }
     }
-    function getPotentiallyUnusedIdentifiers(sourceFile) {
-      return allPotentiallyUnusedIdentifiers.get(sourceFile.path) || emptyArray;
+    function getPotentiallyUnusedOrUninitializedIdentifiers(sourceFile) {
+      return allPotentiallyUnusedOrUninitializedIdentifiers.get(sourceFile.path) || emptyArray;
     }
     function checkSourceFileWorker(node) {
       const links = getNodeLinks(node);
@@ -83245,42 +83272,30 @@ ${lanes.join("\n")}
         clear(potentialWeakMapSetCollisions);
         clear(potentialReflectCollisions);
         clear(potentialUnusedRenamedBindingElementsInTypes);
-        clear(ambiguousVariableDeclarationsWhenWidened);
         forEach(node.statements, checkSourceElement);
         checkSourceElement(node.endOfFileToken);
         checkDeferredNodes(node);
         if (isExternalOrCommonJsModule(node)) {
-          registerForUnusedIdentifiersCheck(node);
+          registerForUnusedOrUninitializedIdentifiersCheck(node);
         }
         addLazyDiagnostic(() => {
-          if (!node.isDeclarationFile && (compilerOptions.noUnusedLocals || compilerOptions.noUnusedParameters)) {
-            checkUnusedIdentifiers(getPotentiallyUnusedIdentifiers(node), (containingNode, kind, diag2) => {
-              if (!containsParseError(containingNode) && unusedIsError(kind, !!(containingNode.flags & 33554432 /* Ambient */))) {
-                diagnostics.add(diag2);
-              }
-            });
+          const checkUnused = !node.isDeclarationFile && (compilerOptions.noUnusedLocals || compilerOptions.noUnusedParameters);
+          if (checkUnused || strictNullChecks) {
+            checkUnusedOrUninitializedIdentifiers(
+              getPotentiallyUnusedOrUninitializedIdentifiers(node),
+              (containingNode, kind, diag2) => {
+                if (!containsParseError(containingNode) && unusedIsError(kind, !!(containingNode.flags & 33554432 /* Ambient */))) {
+                  diagnostics.add(diag2);
+                }
+              },
+              checkUnused,
+              strictNullChecks
+            );
           }
           if (!node.isDeclarationFile) {
             checkPotentialUncheckedRenamedBindingElementsInTypes();
           }
         });
-        addLazyDiagnostic(() => {
-          function isVisibleExternally(elem) {
-            if (isOmittedExpression(elem)) {
-              return false;
-            }
-            if (isBindingPattern(elem.name)) {
-              return some(elem.name.elements, isVisibleExternally);
-            } else {
-              return isDeclarationVisible(elem);
-            }
-          }
-          for (const [node2, type, widenedLiteralType] of ambiguousVariableDeclarationsWhenWidened) {
-            if (isVisibleExternally(node2)) {
-              error2(node2.name, Diagnostics.The_type_of_this_declaration_is_ambiguous_and_may_be_observed_as_either_0_or_1, typeToString(widenedLiteralType), typeToString(type));
-            }
-          }
-        });
         if (compilerOptions.importsNotUsedAsValues === 2 /* Error */ && !node.isDeclarationFile && isExternalModule(node)) {
           checkImportsForTypeOnlyConversion(node);
         }
@@ -83303,9 +83318,6 @@ ${lanes.join("\n")}
           forEach(potentialReflectCollisions, checkReflectCollision);
           clear(potentialReflectCollisions);
         }
-        if (ambiguousVariableDeclarationsWhenWidened.length) {
-          clear(ambiguousVariableDeclarationsWhenWidened);
-        }
         links.flags |= 1 /* TypeChecked */;
       }
     }

package/lib/typingsInstaller.js

@@ -6028,7 +6028,6 @@ var Diagnostics = {
   Import_attributes_cannot_be_used_with_type_only_imports_or_exports: diag(2857, 1 /* Error */, "Import_attributes_cannot_be_used_with_type_only_imports_or_exports_2857", "Import attributes cannot be used with type-only imports or exports."),
   Import_attribute_values_must_be_string_literal_expressions: diag(2858, 1 /* Error */, "Import_attribute_values_must_be_string_literal_expressions_2858", "Import attribute values must be string literal expressions."),
   Excessive_complexity_comparing_types_0_and_1: diag(2859, 1 /* Error */, "Excessive_complexity_comparing_types_0_and_1_2859", "Excessive complexity comparing types '{0}' and '{1}'."),
-  The_type_of_this_declaration_is_ambiguous_and_may_be_observed_as_either_0_or_1: diag(2860, 1 /* Error */, "The_type_of_this_declaration_is_ambiguous_and_may_be_observed_as_either_0_or_1_2860", "The type of this declaration is ambiguous and may be observed as either '{0}' or '{1}'."),
   Import_declaration_0_is_using_private_name_1: diag(4e3, 1 /* Error */, "Import_declaration_0_is_using_private_name_1_4000", "Import declaration '{0}' is using private name '{1}'."),
   Type_parameter_0_of_exported_class_has_or_is_using_private_name_1: diag(4002, 1 /* Error */, "Type_parameter_0_of_exported_class_has_or_is_using_private_name_1_4002", "Type parameter '{0}' of exported class has or is using private name '{1}'."),
   Type_parameter_0_of_exported_interface_has_or_is_using_private_name_1: diag(4004, 1 /* Error */, "Type_parameter_0_of_exported_interface_has_or_is_using_private_name_1_4004", "Type parameter '{0}' of exported interface has or is using private name '{1}'."),

package/package.json

@@ -2,7 +2,7 @@
   "name": "@typescript-deploys/pr-build",
   "author": "Microsoft Corp.",
   "homepage": "https://www.typescriptlang.org/",
-  "version": "5.3.0-pr-55860-30",
+  "version": "5.3.0-pr-55887-24",
   "license": "Apache-2.0",
   "description": "TypeScript is a language for application scale JavaScript development",
   "keywords": [
@@ -114,5 +114,5 @@
     "node": "20.1.0",
     "npm": "8.19.4"
   },
-  "gitHead": "c7b225f75ae6c946cd97ab7bc95c0929e5bf7282"
+  "gitHead": "d03f3e11d626eae148c40a29328c7a1ad0350a2d"
 }