@typescript-deploys/pr-build 5.6.0-pr-59421-2 → 5.6.0-pr-55887-49

package/lib/tsc.js

@@ -6703,6 +6703,7 @@ var Diagnostics = {
   This_expression_is_always_nullish: diag(2871, 1 /* Error */, "This_expression_is_always_nullish_2871", "This expression is always nullish."),
   This_kind_of_expression_is_always_truthy: diag(2872, 1 /* Error */, "This_kind_of_expression_is_always_truthy_2872", "This kind of expression is always truthy."),
   This_kind_of_expression_is_always_falsy: diag(2873, 1 /* Error */, "This_kind_of_expression_is_always_falsy_2873", "This kind of expression is always falsy."),
+  Variable_0_is_used_but_never_initialized: diag(2874, 1 /* Error */, "Variable_0_is_used_but_never_initialized_2874", "Variable '{0}' is used but never initialized."),
   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}'."),
@@ -17121,6 +17122,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 */;
   }
@@ -17260,6 +17264,7 @@ function Symbol4(flags, name) {
   this.constEnumOnlyModule = void 0;
   this.isReferenced = void 0;
   this.lastAssignmentPos = void 0;
+  this.isDefinitelyAssigned = void 0;
   this.links = void 0;
 }
 function Type3(checker, flags) {
@@ -45741,11 +45746,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;
@@ -46238,7 +46248,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;
@@ -69572,6 +69582,9 @@ function createTypeChecker(host) {
       void 0
     );
   }
+  function isSymbolAssignedDefinitely(symbol) {
+    return symbol.isDefinitelyAssigned ?? (isSymbolAssigned(symbol) && symbol.isDefinitelyAssigned);
+  }
   function isPastLastAssignment(symbol, location) {
     const parent = findAncestor(symbol.valueDeclaration, isFunctionOrSourceFile);
     if (!parent) {
@@ -69582,6 +69595,7 @@ function createTypeChecker(host) {
       links.flags |= 131072 /* AssignmentsMarked */;
       if (!hasParentWithAssignmentsMarked(parent)) {
         markNodeAssignments(parent);
+        symbol.isDefinitelyAssigned ?? (symbol.isDefinitelyAssigned = false);
       }
     }
     return !symbol.lastAssignmentPos || location && symbol.lastAssignmentPos < location.pos;
@@ -69605,12 +69619,18 @@ function createTypeChecker(host) {
   function markNodeAssignments(node) {
     switch (node.kind) {
       case 80 /* Identifier */:
-        if (isAssignmentTarget(node)) {
+        const assignmentKind = getAssignmentTargetKind(node);
+        if (assignmentKind !== 0 /* None */) {
           const symbol = getResolvedSymbol(node);
-          if (isParameterOrMutableLocalVariable(symbol) && symbol.lastAssignmentPos !== Number.MAX_VALUE) {
-            const referencingFunction = findAncestor(node, isFunctionOrSourceFile);
-            const declaringFunction = findAncestor(symbol.valueDeclaration, isFunctionOrSourceFile);
-            symbol.lastAssignmentPos = referencingFunction === declaringFunction ? extendAssignmentPosition(node, symbol.valueDeclaration) : Number.MAX_VALUE;
+          if (isParameterOrMutableLocalVariable(symbol)) {
+            if (assignmentKind === 1 /* Definite */) {
+              symbol.isDefinitelyAssigned = true;
+            }
+            if (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;
@@ -79160,7 +79180,7 @@ function createTypeChecker(host) {
         }
       }
       if (node.kind !== 181 /* IndexSignature */ && node.kind !== 317 /* JSDocFunctionType */) {
-        registerForUnusedIdentifiersCheck(node);
+        registerForUnusedOrUninitializedIdentifiersCheck(node);
       }
     }
   }
@@ -79706,7 +79726,7 @@ function createTypeChecker(host) {
         }
       }
     }
-    registerForUnusedIdentifiersCheck(node);
+    registerForUnusedOrUninitializedIdentifiersCheck(node);
   }
   function checkTemplateLiteralType(node) {
     for (const span of node.templateSpans) {
@@ -80658,25 +80678,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 307 /* SourceFile */:
         case 267 /* ModuleDeclaration */:
@@ -80685,7 +80707,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 */:
@@ -80694,10 +80721,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 */:
@@ -80706,10 +80738,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");
@@ -80896,6 +80932,21 @@ function createTypeChecker(host) {
       }
     });
   }
+  function checkUninitializedLocals(nodeWithLocals) {
+    nodeWithLocals.locals.forEach((local) => {
+      if (!(local.flags & 3 /* Variable */) || !local.isReferenced || isSymbolAssignedDefinitely(local)) {
+        return;
+      }
+      const declaration = local.valueDeclaration;
+      if (!declaration || !isVariableDeclaration(declaration) || !(getCombinedNodeFlagsCached(declaration) & 7 /* BlockScoped */) || 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_but_never_initialized, idText(declaration.name));
+      }
+    });
+  }
   function checkPotentialUncheckedRenamedBindingElementsInTypes() {
     var _a;
     for (const node of potentialUnusedRenamedBindingElementsInTypes) {
@@ -80942,7 +80993,7 @@ function createTypeChecker(host) {
       forEach(node.statements, checkSourceElement);
     }
     if (node.locals) {
-      registerForUnusedIdentifiersCheck(node);
+      registerForUnusedOrUninitializedIdentifiersCheck(node);
     }
   }
   function checkCollisionWithArgumentsInGeneratedCode(node) {
@@ -81532,7 +81583,7 @@ function createTypeChecker(host) {
     if (node.incrementor) checkExpression(node.incrementor);
     checkSourceElement(node.statement);
     if (node.locals) {
-      registerForUnusedIdentifiersCheck(node);
+      registerForUnusedOrUninitializedIdentifiersCheck(node);
     }
   }
   function checkForOfStatement(node) {
@@ -81571,7 +81622,7 @@ function createTypeChecker(host) {
     }
     checkSourceElement(node.statement);
     if (node.locals) {
-      registerForUnusedIdentifiersCheck(node);
+      registerForUnusedOrUninitializedIdentifiersCheck(node);
     }
   }
   function checkForInStatement(node) {
@@ -81603,7 +81654,7 @@ function createTypeChecker(host) {
     }
     checkSourceElement(node.statement);
     if (node.locals) {
-      registerForUnusedIdentifiersCheck(node);
+      registerForUnusedOrUninitializedIdentifiersCheck(node);
     }
   }
   function checkRightHandSideOfForOf(statement) {
@@ -82289,7 +82340,7 @@ function createTypeChecker(host) {
       }
     });
     if (node.caseBlock.locals) {
-      registerForUnusedIdentifiersCheck(node.caseBlock);
+      registerForUnusedOrUninitializedIdentifiersCheck(node.caseBlock);
     }
   }
   function checkLabeledStatement(node) {
@@ -82626,7 +82677,7 @@ function createTypeChecker(host) {
   }
   function checkClassExpressionDeferred(node) {
     forEach(node.members, checkSourceElement);
-    registerForUnusedIdentifiersCheck(node);
+    registerForUnusedOrUninitializedIdentifiersCheck(node);
   }
   function checkClassDeclaration(node) {
     const firstDecorator = find(node.modifiers, isDecorator);
@@ -82638,7 +82689,7 @@ function createTypeChecker(host) {
     }
     checkClassLikeDeclaration(node);
     forEach(node.members, checkSourceElement);
-    registerForUnusedIdentifiersCheck(node);
+    registerForUnusedOrUninitializedIdentifiersCheck(node);
   }
   function checkClassLikeDeclaration(node) {
     checkGrammarClassLikeDeclaration(node);
@@ -83194,7 +83245,7 @@ function createTypeChecker(host) {
     forEach(node.members, checkSourceElement);
     addLazyDiagnostic(() => {
       checkTypeForDuplicateIndexSignatures(node);
-      registerForUnusedIdentifiersCheck(node);
+      registerForUnusedOrUninitializedIdentifiersCheck(node);
     });
   }
   function checkTypeAliasDeclaration(node) {
@@ -83210,7 +83261,7 @@ function createTypeChecker(host) {
       }
     } else {
       checkSourceElement(node.type);
-      registerForUnusedIdentifiersCheck(node);
+      registerForUnusedOrUninitializedIdentifiersCheck(node);
     }
   }
   function computeEnumMemberValues(node) {
@@ -83472,7 +83523,7 @@ function createTypeChecker(host) {
     if (node.body) {
       checkSourceElement(node.body);
       if (!isGlobalScopeAugmentation(node)) {
-        registerForUnusedIdentifiersCheck(node);
+        registerForUnusedOrUninitializedIdentifiersCheck(node);
       }
     }
     addLazyDiagnostic(checkModuleDeclarationDiagnostics);
@@ -84517,8 +84568,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);
@@ -84543,15 +84594,21 @@ function createTypeChecker(host) {
       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();

package/lib/typescript.js

@@ -10099,6 +10099,7 @@ var Diagnostics = {
   This_expression_is_always_nullish: diag(2871, 1 /* Error */, "This_expression_is_always_nullish_2871", "This expression is always nullish."),
   This_kind_of_expression_is_always_truthy: diag(2872, 1 /* Error */, "This_kind_of_expression_is_always_truthy_2872", "This kind of expression is always truthy."),
   This_kind_of_expression_is_always_falsy: diag(2873, 1 /* Error */, "This_kind_of_expression_is_always_falsy_2873", "This kind of expression is always falsy."),
+  Variable_0_is_used_but_never_initialized: diag(2874, 1 /* Error */, "Variable_0_is_used_but_never_initialized_2874", "Variable '{0}' is used but never initialized."),
   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}'."),
@@ -21011,6 +21012,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 */;
   }
@@ -21209,6 +21213,7 @@ function Symbol4(flags, name) {
   this.constEnumOnlyModule = void 0;
   this.isReferenced = void 0;
   this.lastAssignmentPos = void 0;
+  this.isDefinitelyAssigned = void 0;
   this.links = void 0;
 }
 function Type3(checker, flags) {
@@ -50359,11 +50364,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;
@@ -50856,7 +50866,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;
@@ -74190,6 +74200,9 @@ function createTypeChecker(host) {
       void 0
     );
   }
+  function isSymbolAssignedDefinitely(symbol) {
+    return symbol.isDefinitelyAssigned ?? (isSymbolAssigned(symbol) && symbol.isDefinitelyAssigned);
+  }
   function isPastLastAssignment(symbol, location) {
     const parent2 = findAncestor(symbol.valueDeclaration, isFunctionOrSourceFile);
     if (!parent2) {
@@ -74200,6 +74213,7 @@ function createTypeChecker(host) {
       links.flags |= 131072 /* AssignmentsMarked */;
       if (!hasParentWithAssignmentsMarked(parent2)) {
         markNodeAssignments(parent2);
+        symbol.isDefinitelyAssigned ?? (symbol.isDefinitelyAssigned = false);
       }
     }
     return !symbol.lastAssignmentPos || location && symbol.lastAssignmentPos < location.pos;
@@ -74223,12 +74237,18 @@ function createTypeChecker(host) {
   function markNodeAssignments(node) {
     switch (node.kind) {
       case 80 /* Identifier */:
-        if (isAssignmentTarget(node)) {
+        const assignmentKind = getAssignmentTargetKind(node);
+        if (assignmentKind !== 0 /* None */) {
           const symbol = getResolvedSymbol(node);
-          if (isParameterOrMutableLocalVariable(symbol) && symbol.lastAssignmentPos !== Number.MAX_VALUE) {
-            const referencingFunction = findAncestor(node, isFunctionOrSourceFile);
-            const declaringFunction = findAncestor(symbol.valueDeclaration, isFunctionOrSourceFile);
-            symbol.lastAssignmentPos = referencingFunction === declaringFunction ? extendAssignmentPosition(node, symbol.valueDeclaration) : Number.MAX_VALUE;
+          if (isParameterOrMutableLocalVariable(symbol)) {
+            if (assignmentKind === 1 /* Definite */) {
+              symbol.isDefinitelyAssigned = true;
+            }
+            if (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;
@@ -83778,7 +83798,7 @@ function createTypeChecker(host) {
         }
       }
       if (node.kind !== 181 /* IndexSignature */ && node.kind !== 317 /* JSDocFunctionType */) {
-        registerForUnusedIdentifiersCheck(node);
+        registerForUnusedOrUninitializedIdentifiersCheck(node);
       }
     }
   }
@@ -84324,7 +84344,7 @@ function createTypeChecker(host) {
         }
       }
     }
-    registerForUnusedIdentifiersCheck(node);
+    registerForUnusedOrUninitializedIdentifiersCheck(node);
   }
   function checkTemplateLiteralType(node) {
     for (const span of node.templateSpans) {
@@ -85276,25 +85296,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 307 /* SourceFile */:
         case 267 /* ModuleDeclaration */:
@@ -85303,7 +85325,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 */:
@@ -85312,10 +85339,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 */:
@@ -85324,10 +85356,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");
@@ -85514,6 +85550,21 @@ function createTypeChecker(host) {
       }
     });
   }
+  function checkUninitializedLocals(nodeWithLocals) {
+    nodeWithLocals.locals.forEach((local) => {
+      if (!(local.flags & 3 /* Variable */) || !local.isReferenced || isSymbolAssignedDefinitely(local)) {
+        return;
+      }
+      const declaration = local.valueDeclaration;
+      if (!declaration || !isVariableDeclaration(declaration) || !(getCombinedNodeFlagsCached(declaration) & 7 /* BlockScoped */) || 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_but_never_initialized, idText(declaration.name));
+      }
+    });
+  }
   function checkPotentialUncheckedRenamedBindingElementsInTypes() {
     var _a;
     for (const node of potentialUnusedRenamedBindingElementsInTypes) {
@@ -85560,7 +85611,7 @@ function createTypeChecker(host) {
       forEach(node.statements, checkSourceElement);
     }
     if (node.locals) {
-      registerForUnusedIdentifiersCheck(node);
+      registerForUnusedOrUninitializedIdentifiersCheck(node);
     }
   }
   function checkCollisionWithArgumentsInGeneratedCode(node) {
@@ -86150,7 +86201,7 @@ function createTypeChecker(host) {
     if (node.incrementor) checkExpression(node.incrementor);
     checkSourceElement(node.statement);
     if (node.locals) {
-      registerForUnusedIdentifiersCheck(node);
+      registerForUnusedOrUninitializedIdentifiersCheck(node);
     }
   }
   function checkForOfStatement(node) {
@@ -86189,7 +86240,7 @@ function createTypeChecker(host) {
     }
     checkSourceElement(node.statement);
     if (node.locals) {
-      registerForUnusedIdentifiersCheck(node);
+      registerForUnusedOrUninitializedIdentifiersCheck(node);
     }
   }
   function checkForInStatement(node) {
@@ -86221,7 +86272,7 @@ function createTypeChecker(host) {
     }
     checkSourceElement(node.statement);
     if (node.locals) {
-      registerForUnusedIdentifiersCheck(node);
+      registerForUnusedOrUninitializedIdentifiersCheck(node);
     }
   }
   function checkRightHandSideOfForOf(statement) {
@@ -86907,7 +86958,7 @@ function createTypeChecker(host) {
       }
     });
     if (node.caseBlock.locals) {
-      registerForUnusedIdentifiersCheck(node.caseBlock);
+      registerForUnusedOrUninitializedIdentifiersCheck(node.caseBlock);
     }
   }
   function checkLabeledStatement(node) {
@@ -87244,7 +87295,7 @@ function createTypeChecker(host) {
   }
   function checkClassExpressionDeferred(node) {
     forEach(node.members, checkSourceElement);
-    registerForUnusedIdentifiersCheck(node);
+    registerForUnusedOrUninitializedIdentifiersCheck(node);
   }
   function checkClassDeclaration(node) {
     const firstDecorator = find(node.modifiers, isDecorator);
@@ -87256,7 +87307,7 @@ function createTypeChecker(host) {
     }
     checkClassLikeDeclaration(node);
     forEach(node.members, checkSourceElement);
-    registerForUnusedIdentifiersCheck(node);
+    registerForUnusedOrUninitializedIdentifiersCheck(node);
   }
   function checkClassLikeDeclaration(node) {
     checkGrammarClassLikeDeclaration(node);
@@ -87812,7 +87863,7 @@ function createTypeChecker(host) {
     forEach(node.members, checkSourceElement);
     addLazyDiagnostic(() => {
       checkTypeForDuplicateIndexSignatures(node);
-      registerForUnusedIdentifiersCheck(node);
+      registerForUnusedOrUninitializedIdentifiersCheck(node);
     });
   }
   function checkTypeAliasDeclaration(node) {
@@ -87828,7 +87879,7 @@ function createTypeChecker(host) {
       }
     } else {
       checkSourceElement(node.type);
-      registerForUnusedIdentifiersCheck(node);
+      registerForUnusedOrUninitializedIdentifiersCheck(node);
     }
   }
   function computeEnumMemberValues(node) {
@@ -88090,7 +88141,7 @@ function createTypeChecker(host) {
     if (node.body) {
       checkSourceElement(node.body);
       if (!isGlobalScopeAugmentation(node)) {
-        registerForUnusedIdentifiersCheck(node);
+        registerForUnusedOrUninitializedIdentifiersCheck(node);
       }
     }
     addLazyDiagnostic(checkModuleDeclarationDiagnostics);
@@ -89135,8 +89186,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);
@@ -89161,15 +89212,21 @@ function createTypeChecker(host) {
       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();
@@ -157350,7 +157407,7 @@ function getInfo10(sourceFile, tokenPos, errorCode, checker, program) {
     const moduleDeclaration = find(symbol.declarations, isModuleDeclaration);
     const moduleDeclarationSourceFile = moduleDeclaration == null ? void 0 : moduleDeclaration.getSourceFile();
     if (moduleDeclaration && moduleDeclarationSourceFile && !isSourceFileFromLibrary(program, moduleDeclarationSourceFile)) {
-      return { kind: 2 /* Function */, token, call: parent2.parent, sourceFile, modifierFlags: 32 /* Export */, parentDeclaration: moduleDeclaration };
+      return { kind: 2 /* Function */, token, call: parent2.parent, sourceFile: moduleDeclarationSourceFile, modifierFlags: 32 /* Export */, parentDeclaration: moduleDeclaration };
     }
     const moduleSourceFile = find(symbol.declarations, isSourceFile);
     if (sourceFile.commonJsModuleIndicator) return void 0;
@@ -170469,13 +170526,12 @@ function getDefinitionAtPosition(program, sourceFile, position, searchOtherFiles
   const calledDeclaration = tryGetSignatureDeclaration(typeChecker, node);
   if (calledDeclaration && !(isJsxOpeningLikeElement(node.parent) && isJsxConstructorLike(calledDeclaration))) {
     const sigInfo = createDefinitionFromSignatureDeclaration(typeChecker, calledDeclaration, failedAliasResolution);
-    let includeDeclarations;
     if (typeChecker.getRootSymbols(symbol).some((s) => symbolMatchesSignature(s, calledDeclaration))) {
-      if (!isConstructorDeclaration(calledDeclaration)) return [sigInfo];
-      includeDeclarations = (d) => d !== calledDeclaration && (isClassDeclaration(d) || isClassExpression(d));
+      return [sigInfo];
+    } else {
+      const defs = getDefinitionFromSymbol(typeChecker, symbol, node, failedAliasResolution, calledDeclaration) || emptyArray;
+      return node.kind === 108 /* SuperKeyword */ ? [sigInfo, ...defs] : [...defs, sigInfo];
     }
-    const defs = getDefinitionFromSymbol(typeChecker, symbol, node, failedAliasResolution, calledDeclaration, includeDeclarations) || emptyArray;
-    return node.kind === 108 /* SuperKeyword */ ? [sigInfo, ...defs] : [...defs, sigInfo];
   }
   if (node.parent.kind === 304 /* ShorthandPropertyAssignment */) {
     const shorthandSymbol = typeChecker.getShorthandAssignmentValueSymbol(symbol.valueDeclaration);
@@ -170732,10 +170788,9 @@ function isExpandoDeclaration(node) {
   });
   return !!containingAssignment && getAssignmentDeclarationKind(containingAssignment) === 5 /* Property */;
 }
-function getDefinitionFromSymbol(typeChecker, symbol, node, failedAliasResolution, excludeDeclaration, includeDeclarations) {
-  const excludeConstructorDeclaration = excludeDeclaration !== void 0 && isConstructorDeclaration(excludeDeclaration);
-  const filteredDeclarations = filter(symbol.declarations, includeDeclarations ?? ((d) => d !== excludeDeclaration));
-  const signatureDefinition = !excludeConstructorDeclaration && (getConstructSignatureDefinition() || getCallSignatureDefinition());
+function getDefinitionFromSymbol(typeChecker, symbol, node, failedAliasResolution, excludeDeclaration) {
+  const filteredDeclarations = filter(symbol.declarations, (d) => d !== excludeDeclaration);
+  const signatureDefinition = getConstructSignatureDefinition() || getCallSignatureDefinition();
   if (signatureDefinition) {
     return signatureDefinition;
   }

package/package.json

@@ -2,7 +2,7 @@
   "name": "@typescript-deploys/pr-build",
   "author": "Microsoft Corp.",
   "homepage": "https://www.typescriptlang.org/",
-  "version": "5.6.0-pr-59421-2",
+  "version": "5.6.0-pr-55887-49",
   "license": "Apache-2.0",
   "description": "TypeScript is a language for application scale JavaScript development",
   "keywords": [