@typescript-deploys/pr-build 5.6.0-pr-55887-54 → 5.6.0-pr-59436-2

package/lib/tsc.js

@@ -6703,7 +6703,6 @@ 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}'."),
@@ -17122,9 +17121,6 @@ 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 */;
   }
@@ -17264,7 +17260,6 @@ 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) {
@@ -45747,16 +45742,11 @@ function createTypeChecker(host) {
         checkSourceFileWithEagerDiagnostics(file);
         Debug.assert(!!(getNodeLinks(file).flags & 1 /* TypeChecked */));
         diagnostics2 = addRange(diagnostics2, suggestionDiagnostics.getDiagnostics(file.fileName));
-        checkUnusedOrUninitializedIdentifiers(
-          getPotentiallyUnusedOrUninitializedIdentifiers(file),
-          (containingNode, kind, diag2) => {
-            if (!containsParseError(containingNode) && !unusedIsError(kind, !!(containingNode.flags & 33554432 /* Ambient */))) {
-              (diagnostics2 || (diagnostics2 = [])).push({ ...diag2, category: 2 /* Suggestion */ });
-            }
-          },
-          /*checkUnused*/
-          true
-        );
+        checkUnusedIdentifiers(getPotentiallyUnusedIdentifiers(file), (containingNode, kind, diag2) => {
+          if (!containsParseError(containingNode) && !unusedIsError(kind, !!(containingNode.flags & 33554432 /* Ambient */))) {
+            (diagnostics2 || (diagnostics2 = [])).push({ ...diag2, category: 2 /* Suggestion */ });
+          }
+        });
         return diagnostics2 || emptyArray;
       } finally {
         cancellationToken = void 0;
@@ -46249,7 +46239,7 @@ function createTypeChecker(host) {
   var deferredGlobalClassAccessorDecoratorTargetType;
   var deferredGlobalClassAccessorDecoratorResultType;
   var deferredGlobalClassFieldDecoratorContextType;
-  var allPotentiallyUnusedOrUninitializedIdentifiers = /* @__PURE__ */ new Map();
+  var allPotentiallyUnusedIdentifiers = /* @__PURE__ */ new Map();
   var flowLoopStart = 0;
   var flowLoopCount = 0;
   var sharedFlowCount = 0;
@@ -69586,9 +69576,6 @@ 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) {
@@ -69599,7 +69586,6 @@ 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;
@@ -69623,18 +69609,12 @@ function createTypeChecker(host) {
   function markNodeAssignments(node) {
     switch (node.kind) {
       case 80 /* Identifier */:
-        const assignmentKind = getAssignmentTargetKind(node);
-        if (assignmentKind !== 0 /* None */) {
+        if (isAssignmentTarget(node)) {
           const symbol = getResolvedSymbol(node);
-          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;
-            }
+          if (isParameterOrMutableLocalVariable(symbol) && symbol.lastAssignmentPos !== Number.MAX_VALUE) {
+            const referencingFunction = findAncestor(node, isFunctionOrSourceFile);
+            const declaringFunction = findAncestor(symbol.valueDeclaration, isFunctionOrSourceFile);
+            symbol.lastAssignmentPos = referencingFunction === declaringFunction ? extendAssignmentPosition(node, symbol.valueDeclaration) : Number.MAX_VALUE;
           }
         }
         return;
@@ -79184,7 +79164,7 @@ function createTypeChecker(host) {
         }
       }
       if (node.kind !== 181 /* IndexSignature */ && node.kind !== 317 /* JSDocFunctionType */) {
-        registerForUnusedOrUninitializedIdentifiersCheck(node);
+        registerForUnusedIdentifiersCheck(node);
       }
     }
   }
@@ -79730,7 +79710,7 @@ function createTypeChecker(host) {
         }
       }
     }
-    registerForUnusedOrUninitializedIdentifiersCheck(node);
+    registerForUnusedIdentifiersCheck(node);
   }
   function checkTemplateLiteralType(node) {
     for (const span of node.templateSpans) {
@@ -80682,27 +80662,25 @@ function createTypeChecker(host) {
       }
     }
   }
-  function registerForUnusedOrUninitializedIdentifiersCheck(node) {
-    addLazyDiagnostic(registerForUnusedOrUninitializedIdentifiersCheckDiagnostics);
-    function registerForUnusedOrUninitializedIdentifiersCheckDiagnostics() {
+  function registerForUnusedIdentifiersCheck(node) {
+    addLazyDiagnostic(registerForUnusedIdentifiersCheckDiagnostics);
+    function registerForUnusedIdentifiersCheckDiagnostics() {
       const sourceFile = getSourceFileOfNode(node);
-      let potentiallyUnusedOrUninitializedIdentifiers = allPotentiallyUnusedOrUninitializedIdentifiers.get(sourceFile.path);
-      if (!potentiallyUnusedOrUninitializedIdentifiers) {
-        potentiallyUnusedOrUninitializedIdentifiers = [];
-        allPotentiallyUnusedOrUninitializedIdentifiers.set(sourceFile.path, potentiallyUnusedOrUninitializedIdentifiers);
+      let potentiallyUnusedIdentifiers = allPotentiallyUnusedIdentifiers.get(sourceFile.path);
+      if (!potentiallyUnusedIdentifiers) {
+        potentiallyUnusedIdentifiers = [];
+        allPotentiallyUnusedIdentifiers.set(sourceFile.path, potentiallyUnusedIdentifiers);
       }
-      potentiallyUnusedOrUninitializedIdentifiers.push(node);
+      potentiallyUnusedIdentifiers.push(node);
     }
   }
-  function checkUnusedOrUninitializedIdentifiers(potentiallyUnusedIdentifiers, addDiagnostic, checkUnused, checkUninitialized) {
+  function checkUnusedIdentifiers(potentiallyUnusedIdentifiers, addDiagnostic) {
     for (const node of potentiallyUnusedIdentifiers) {
       switch (node.kind) {
         case 263 /* ClassDeclaration */:
         case 231 /* ClassExpression */:
-          if (checkUnused) {
-            checkUnusedClassMembers(node, addDiagnostic);
-            checkUnusedTypeParameters(node, addDiagnostic);
-          }
+          checkUnusedClassMembers(node, addDiagnostic);
+          checkUnusedTypeParameters(node, addDiagnostic);
           break;
         case 307 /* SourceFile */:
         case 267 /* ModuleDeclaration */:
@@ -80711,12 +80689,7 @@ function createTypeChecker(host) {
         case 248 /* ForStatement */:
         case 249 /* ForInStatement */:
         case 250 /* ForOfStatement */:
-          if (checkUnused) {
-            checkUnusedLocalsAndParameters(node, addDiagnostic);
-          }
-          if (checkUninitialized) {
-            checkUninitializedLocals(node);
-          }
+          checkUnusedLocalsAndParameters(node, addDiagnostic);
           break;
         case 176 /* Constructor */:
         case 218 /* FunctionExpression */:
@@ -80725,15 +80698,10 @@ function createTypeChecker(host) {
         case 174 /* MethodDeclaration */:
         case 177 /* GetAccessor */:
         case 178 /* SetAccessor */:
-          if (checkUnused) {
-            if (node.body) {
-              checkUnusedLocalsAndParameters(node, addDiagnostic);
-            }
-            checkUnusedTypeParameters(node, addDiagnostic);
-          }
-          if (checkUninitialized) {
-            checkUninitializedLocals(node);
+          if (node.body) {
+            checkUnusedLocalsAndParameters(node, addDiagnostic);
           }
+          checkUnusedTypeParameters(node, addDiagnostic);
           break;
         case 173 /* MethodSignature */:
         case 179 /* CallSignature */:
@@ -80742,14 +80710,10 @@ function createTypeChecker(host) {
         case 185 /* ConstructorType */:
         case 265 /* TypeAliasDeclaration */:
         case 264 /* InterfaceDeclaration */:
-          if (checkUnused) {
-            checkUnusedTypeParameters(node, addDiagnostic);
-          }
+          checkUnusedTypeParameters(node, addDiagnostic);
           break;
         case 195 /* InferType */:
-          if (checkUnused) {
-            checkUnusedInferTypeParameter(node, addDiagnostic);
-          }
+          checkUnusedInferTypeParameter(node, addDiagnostic);
           break;
         default:
           Debug.assertNever(node, "Node should not have been registered for unused identifiers check");
@@ -80936,21 +80900,6 @@ 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) & 1 /* Let */) || 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) {
@@ -80997,7 +80946,7 @@ function createTypeChecker(host) {
       forEach(node.statements, checkSourceElement);
     }
     if (node.locals) {
-      registerForUnusedOrUninitializedIdentifiersCheck(node);
+      registerForUnusedIdentifiersCheck(node);
     }
   }
   function checkCollisionWithArgumentsInGeneratedCode(node) {
@@ -81587,7 +81536,7 @@ function createTypeChecker(host) {
     if (node.incrementor) checkExpression(node.incrementor);
     checkSourceElement(node.statement);
     if (node.locals) {
-      registerForUnusedOrUninitializedIdentifiersCheck(node);
+      registerForUnusedIdentifiersCheck(node);
     }
   }
   function checkForOfStatement(node) {
@@ -81626,7 +81575,7 @@ function createTypeChecker(host) {
     }
     checkSourceElement(node.statement);
     if (node.locals) {
-      registerForUnusedOrUninitializedIdentifiersCheck(node);
+      registerForUnusedIdentifiersCheck(node);
     }
   }
   function checkForInStatement(node) {
@@ -81658,7 +81607,7 @@ function createTypeChecker(host) {
     }
     checkSourceElement(node.statement);
     if (node.locals) {
-      registerForUnusedOrUninitializedIdentifiersCheck(node);
+      registerForUnusedIdentifiersCheck(node);
     }
   }
   function checkRightHandSideOfForOf(statement) {
@@ -82344,7 +82293,7 @@ function createTypeChecker(host) {
       }
     });
     if (node.caseBlock.locals) {
-      registerForUnusedOrUninitializedIdentifiersCheck(node.caseBlock);
+      registerForUnusedIdentifiersCheck(node.caseBlock);
     }
   }
   function checkLabeledStatement(node) {
@@ -82681,7 +82630,7 @@ function createTypeChecker(host) {
   }
   function checkClassExpressionDeferred(node) {
     forEach(node.members, checkSourceElement);
-    registerForUnusedOrUninitializedIdentifiersCheck(node);
+    registerForUnusedIdentifiersCheck(node);
   }
   function checkClassDeclaration(node) {
     const firstDecorator = find(node.modifiers, isDecorator);
@@ -82693,7 +82642,7 @@ function createTypeChecker(host) {
     }
     checkClassLikeDeclaration(node);
     forEach(node.members, checkSourceElement);
-    registerForUnusedOrUninitializedIdentifiersCheck(node);
+    registerForUnusedIdentifiersCheck(node);
   }
   function checkClassLikeDeclaration(node) {
     checkGrammarClassLikeDeclaration(node);
@@ -83249,7 +83198,7 @@ function createTypeChecker(host) {
     forEach(node.members, checkSourceElement);
     addLazyDiagnostic(() => {
       checkTypeForDuplicateIndexSignatures(node);
-      registerForUnusedOrUninitializedIdentifiersCheck(node);
+      registerForUnusedIdentifiersCheck(node);
     });
   }
   function checkTypeAliasDeclaration(node) {
@@ -83265,7 +83214,7 @@ function createTypeChecker(host) {
       }
     } else {
       checkSourceElement(node.type);
-      registerForUnusedOrUninitializedIdentifiersCheck(node);
+      registerForUnusedIdentifiersCheck(node);
     }
   }
   function computeEnumMemberValues(node) {
@@ -83527,7 +83476,7 @@ function createTypeChecker(host) {
     if (node.body) {
       checkSourceElement(node.body);
       if (!isGlobalScopeAugmentation(node)) {
-        registerForUnusedOrUninitializedIdentifiersCheck(node);
+        registerForUnusedIdentifiersCheck(node);
       }
     }
     addLazyDiagnostic(checkModuleDeclarationDiagnostics);
@@ -84572,8 +84521,8 @@ function createTypeChecker(host) {
         return Debug.assertNever(kind);
     }
   }
-  function getPotentiallyUnusedOrUninitializedIdentifiers(sourceFile) {
-    return allPotentiallyUnusedOrUninitializedIdentifiers.get(sourceFile.path) || emptyArray;
+  function getPotentiallyUnusedIdentifiers(sourceFile) {
+    return allPotentiallyUnusedIdentifiers.get(sourceFile.path) || emptyArray;
   }
   function checkSourceFileWorker(node) {
     const links = getNodeLinks(node);
@@ -84598,21 +84547,15 @@ function createTypeChecker(host) {
       checkSourceElement(node.endOfFileToken);
       checkDeferredNodes(node);
       if (isExternalOrCommonJsModule(node)) {
-        registerForUnusedOrUninitializedIdentifiersCheck(node);
+        registerForUnusedIdentifiersCheck(node);
       }
       addLazyDiagnostic(() => {
-        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 && (compilerOptions.noUnusedLocals || compilerOptions.noUnusedParameters)) {
+          checkUnusedIdentifiers(getPotentiallyUnusedIdentifiers(node), (containingNode, kind, diag2) => {
+            if (!containsParseError(containingNode) && unusedIsError(kind, !!(containingNode.flags & 33554432 /* Ambient */))) {
+              diagnostics.add(diag2);
+            }
+          });
         }
         if (!node.isDeclarationFile) {
           checkPotentialUncheckedRenamedBindingElementsInTypes();

package/lib/typescript.js

@@ -484,6 +484,7 @@ __export(typescript_exports, {
   decodeMappings: () => decodeMappings,
   decodedTextSpanIntersectsWith: () => decodedTextSpanIntersectsWith,
   deduplicate: () => deduplicate,
+  defaultInitCompilerOptions: () => defaultInitCompilerOptions,
   defaultMaximumTruncationLength: () => defaultMaximumTruncationLength,
   diagnosticCategoryName: () => diagnosticCategoryName,
   diagnosticToString: () => diagnosticToString,
@@ -10099,7 +10100,6 @@ 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}'."),
@@ -21012,9 +21012,6 @@ 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 */;
   }
@@ -21213,7 +21210,6 @@ 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) {
@@ -50365,16 +50361,11 @@ function createTypeChecker(host) {
         checkSourceFileWithEagerDiagnostics(file);
         Debug.assert(!!(getNodeLinks(file).flags & 1 /* TypeChecked */));
         diagnostics2 = addRange(diagnostics2, suggestionDiagnostics.getDiagnostics(file.fileName));
-        checkUnusedOrUninitializedIdentifiers(
-          getPotentiallyUnusedOrUninitializedIdentifiers(file),
-          (containingNode, kind, diag2) => {
-            if (!containsParseError(containingNode) && !unusedIsError(kind, !!(containingNode.flags & 33554432 /* Ambient */))) {
-              (diagnostics2 || (diagnostics2 = [])).push({ ...diag2, category: 2 /* Suggestion */ });
-            }
-          },
-          /*checkUnused*/
-          true
-        );
+        checkUnusedIdentifiers(getPotentiallyUnusedIdentifiers(file), (containingNode, kind, diag2) => {
+          if (!containsParseError(containingNode) && !unusedIsError(kind, !!(containingNode.flags & 33554432 /* Ambient */))) {
+            (diagnostics2 || (diagnostics2 = [])).push({ ...diag2, category: 2 /* Suggestion */ });
+          }
+        });
         return diagnostics2 || emptyArray;
       } finally {
         cancellationToken = void 0;
@@ -50867,7 +50858,7 @@ function createTypeChecker(host) {
   var deferredGlobalClassAccessorDecoratorTargetType;
   var deferredGlobalClassAccessorDecoratorResultType;
   var deferredGlobalClassFieldDecoratorContextType;
-  var allPotentiallyUnusedOrUninitializedIdentifiers = /* @__PURE__ */ new Map();
+  var allPotentiallyUnusedIdentifiers = /* @__PURE__ */ new Map();
   var flowLoopStart = 0;
   var flowLoopCount = 0;
   var sharedFlowCount = 0;
@@ -74204,9 +74195,6 @@ 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) {
@@ -74217,7 +74205,6 @@ 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;
@@ -74241,18 +74228,12 @@ function createTypeChecker(host) {
   function markNodeAssignments(node) {
     switch (node.kind) {
       case 80 /* Identifier */:
-        const assignmentKind = getAssignmentTargetKind(node);
-        if (assignmentKind !== 0 /* None */) {
+        if (isAssignmentTarget(node)) {
           const symbol = getResolvedSymbol(node);
-          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;
-            }
+          if (isParameterOrMutableLocalVariable(symbol) && symbol.lastAssignmentPos !== Number.MAX_VALUE) {
+            const referencingFunction = findAncestor(node, isFunctionOrSourceFile);
+            const declaringFunction = findAncestor(symbol.valueDeclaration, isFunctionOrSourceFile);
+            symbol.lastAssignmentPos = referencingFunction === declaringFunction ? extendAssignmentPosition(node, symbol.valueDeclaration) : Number.MAX_VALUE;
           }
         }
         return;
@@ -83802,7 +83783,7 @@ function createTypeChecker(host) {
         }
       }
       if (node.kind !== 181 /* IndexSignature */ && node.kind !== 317 /* JSDocFunctionType */) {
-        registerForUnusedOrUninitializedIdentifiersCheck(node);
+        registerForUnusedIdentifiersCheck(node);
       }
     }
   }
@@ -84348,7 +84329,7 @@ function createTypeChecker(host) {
         }
       }
     }
-    registerForUnusedOrUninitializedIdentifiersCheck(node);
+    registerForUnusedIdentifiersCheck(node);
   }
   function checkTemplateLiteralType(node) {
     for (const span of node.templateSpans) {
@@ -85300,27 +85281,25 @@ function createTypeChecker(host) {
       }
     }
   }
-  function registerForUnusedOrUninitializedIdentifiersCheck(node) {
-    addLazyDiagnostic(registerForUnusedOrUninitializedIdentifiersCheckDiagnostics);
-    function registerForUnusedOrUninitializedIdentifiersCheckDiagnostics() {
+  function registerForUnusedIdentifiersCheck(node) {
+    addLazyDiagnostic(registerForUnusedIdentifiersCheckDiagnostics);
+    function registerForUnusedIdentifiersCheckDiagnostics() {
       const sourceFile = getSourceFileOfNode(node);
-      let potentiallyUnusedOrUninitializedIdentifiers = allPotentiallyUnusedOrUninitializedIdentifiers.get(sourceFile.path);
-      if (!potentiallyUnusedOrUninitializedIdentifiers) {
-        potentiallyUnusedOrUninitializedIdentifiers = [];
-        allPotentiallyUnusedOrUninitializedIdentifiers.set(sourceFile.path, potentiallyUnusedOrUninitializedIdentifiers);
+      let potentiallyUnusedIdentifiers = allPotentiallyUnusedIdentifiers.get(sourceFile.path);
+      if (!potentiallyUnusedIdentifiers) {
+        potentiallyUnusedIdentifiers = [];
+        allPotentiallyUnusedIdentifiers.set(sourceFile.path, potentiallyUnusedIdentifiers);
       }
-      potentiallyUnusedOrUninitializedIdentifiers.push(node);
+      potentiallyUnusedIdentifiers.push(node);
     }
   }
-  function checkUnusedOrUninitializedIdentifiers(potentiallyUnusedIdentifiers, addDiagnostic, checkUnused, checkUninitialized) {
+  function checkUnusedIdentifiers(potentiallyUnusedIdentifiers, addDiagnostic) {
     for (const node of potentiallyUnusedIdentifiers) {
       switch (node.kind) {
         case 263 /* ClassDeclaration */:
         case 231 /* ClassExpression */:
-          if (checkUnused) {
-            checkUnusedClassMembers(node, addDiagnostic);
-            checkUnusedTypeParameters(node, addDiagnostic);
-          }
+          checkUnusedClassMembers(node, addDiagnostic);
+          checkUnusedTypeParameters(node, addDiagnostic);
           break;
         case 307 /* SourceFile */:
         case 267 /* ModuleDeclaration */:
@@ -85329,12 +85308,7 @@ function createTypeChecker(host) {
         case 248 /* ForStatement */:
         case 249 /* ForInStatement */:
         case 250 /* ForOfStatement */:
-          if (checkUnused) {
-            checkUnusedLocalsAndParameters(node, addDiagnostic);
-          }
-          if (checkUninitialized) {
-            checkUninitializedLocals(node);
-          }
+          checkUnusedLocalsAndParameters(node, addDiagnostic);
           break;
         case 176 /* Constructor */:
         case 218 /* FunctionExpression */:
@@ -85343,15 +85317,10 @@ function createTypeChecker(host) {
         case 174 /* MethodDeclaration */:
         case 177 /* GetAccessor */:
         case 178 /* SetAccessor */:
-          if (checkUnused) {
-            if (node.body) {
-              checkUnusedLocalsAndParameters(node, addDiagnostic);
-            }
-            checkUnusedTypeParameters(node, addDiagnostic);
-          }
-          if (checkUninitialized) {
-            checkUninitializedLocals(node);
+          if (node.body) {
+            checkUnusedLocalsAndParameters(node, addDiagnostic);
           }
+          checkUnusedTypeParameters(node, addDiagnostic);
           break;
         case 173 /* MethodSignature */:
         case 179 /* CallSignature */:
@@ -85360,14 +85329,10 @@ function createTypeChecker(host) {
         case 185 /* ConstructorType */:
         case 265 /* TypeAliasDeclaration */:
         case 264 /* InterfaceDeclaration */:
-          if (checkUnused) {
-            checkUnusedTypeParameters(node, addDiagnostic);
-          }
+          checkUnusedTypeParameters(node, addDiagnostic);
           break;
         case 195 /* InferType */:
-          if (checkUnused) {
-            checkUnusedInferTypeParameter(node, addDiagnostic);
-          }
+          checkUnusedInferTypeParameter(node, addDiagnostic);
           break;
         default:
           Debug.assertNever(node, "Node should not have been registered for unused identifiers check");
@@ -85554,21 +85519,6 @@ 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) & 1 /* Let */) || 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) {
@@ -85615,7 +85565,7 @@ function createTypeChecker(host) {
       forEach(node.statements, checkSourceElement);
     }
     if (node.locals) {
-      registerForUnusedOrUninitializedIdentifiersCheck(node);
+      registerForUnusedIdentifiersCheck(node);
     }
   }
   function checkCollisionWithArgumentsInGeneratedCode(node) {
@@ -86205,7 +86155,7 @@ function createTypeChecker(host) {
     if (node.incrementor) checkExpression(node.incrementor);
     checkSourceElement(node.statement);
     if (node.locals) {
-      registerForUnusedOrUninitializedIdentifiersCheck(node);
+      registerForUnusedIdentifiersCheck(node);
     }
   }
   function checkForOfStatement(node) {
@@ -86244,7 +86194,7 @@ function createTypeChecker(host) {
     }
     checkSourceElement(node.statement);
     if (node.locals) {
-      registerForUnusedOrUninitializedIdentifiersCheck(node);
+      registerForUnusedIdentifiersCheck(node);
     }
   }
   function checkForInStatement(node) {
@@ -86276,7 +86226,7 @@ function createTypeChecker(host) {
     }
     checkSourceElement(node.statement);
     if (node.locals) {
-      registerForUnusedOrUninitializedIdentifiersCheck(node);
+      registerForUnusedIdentifiersCheck(node);
     }
   }
   function checkRightHandSideOfForOf(statement) {
@@ -86962,7 +86912,7 @@ function createTypeChecker(host) {
       }
     });
     if (node.caseBlock.locals) {
-      registerForUnusedOrUninitializedIdentifiersCheck(node.caseBlock);
+      registerForUnusedIdentifiersCheck(node.caseBlock);
     }
   }
   function checkLabeledStatement(node) {
@@ -87299,7 +87249,7 @@ function createTypeChecker(host) {
   }
   function checkClassExpressionDeferred(node) {
     forEach(node.members, checkSourceElement);
-    registerForUnusedOrUninitializedIdentifiersCheck(node);
+    registerForUnusedIdentifiersCheck(node);
   }
   function checkClassDeclaration(node) {
     const firstDecorator = find(node.modifiers, isDecorator);
@@ -87311,7 +87261,7 @@ function createTypeChecker(host) {
     }
     checkClassLikeDeclaration(node);
     forEach(node.members, checkSourceElement);
-    registerForUnusedOrUninitializedIdentifiersCheck(node);
+    registerForUnusedIdentifiersCheck(node);
   }
   function checkClassLikeDeclaration(node) {
     checkGrammarClassLikeDeclaration(node);
@@ -87867,7 +87817,7 @@ function createTypeChecker(host) {
     forEach(node.members, checkSourceElement);
     addLazyDiagnostic(() => {
       checkTypeForDuplicateIndexSignatures(node);
-      registerForUnusedOrUninitializedIdentifiersCheck(node);
+      registerForUnusedIdentifiersCheck(node);
     });
   }
   function checkTypeAliasDeclaration(node) {
@@ -87883,7 +87833,7 @@ function createTypeChecker(host) {
       }
     } else {
       checkSourceElement(node.type);
-      registerForUnusedOrUninitializedIdentifiersCheck(node);
+      registerForUnusedIdentifiersCheck(node);
     }
   }
   function computeEnumMemberValues(node) {
@@ -88145,7 +88095,7 @@ function createTypeChecker(host) {
     if (node.body) {
       checkSourceElement(node.body);
       if (!isGlobalScopeAugmentation(node)) {
-        registerForUnusedOrUninitializedIdentifiersCheck(node);
+        registerForUnusedIdentifiersCheck(node);
       }
     }
     addLazyDiagnostic(checkModuleDeclarationDiagnostics);
@@ -89190,8 +89140,8 @@ function createTypeChecker(host) {
         return Debug.assertNever(kind);
     }
   }
-  function getPotentiallyUnusedOrUninitializedIdentifiers(sourceFile) {
-    return allPotentiallyUnusedOrUninitializedIdentifiers.get(sourceFile.path) || emptyArray;
+  function getPotentiallyUnusedIdentifiers(sourceFile) {
+    return allPotentiallyUnusedIdentifiers.get(sourceFile.path) || emptyArray;
   }
   function checkSourceFileWorker(node) {
     const links = getNodeLinks(node);
@@ -89216,21 +89166,15 @@ function createTypeChecker(host) {
       checkSourceElement(node.endOfFileToken);
       checkDeferredNodes(node);
       if (isExternalOrCommonJsModule(node)) {
-        registerForUnusedOrUninitializedIdentifiersCheck(node);
+        registerForUnusedIdentifiersCheck(node);
       }
       addLazyDiagnostic(() => {
-        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 && (compilerOptions.noUnusedLocals || compilerOptions.noUnusedParameters)) {
+          checkUnusedIdentifiers(getPotentiallyUnusedIdentifiers(node), (containingNode, kind, diag2) => {
+            if (!containsParseError(containingNode) && unusedIsError(kind, !!(containingNode.flags & 33554432 /* Ambient */))) {
+              diagnostics.add(diag2);
+            }
+          });
         }
         if (!node.isDeclarationFile) {
           checkPotentialUncheckedRenamedBindingElementsInTypes();
@@ -179538,6 +179482,7 @@ __export(ts_exports2, {
   decodeMappings: () => decodeMappings,
   decodedTextSpanIntersectsWith: () => decodedTextSpanIntersectsWith,
   deduplicate: () => deduplicate,
+  defaultInitCompilerOptions: () => defaultInitCompilerOptions,
   defaultMaximumTruncationLength: () => defaultMaximumTruncationLength,
   diagnosticCategoryName: () => diagnosticCategoryName,
   diagnosticToString: () => diagnosticToString,
@@ -193922,6 +193867,7 @@ if (typeof console !== "undefined") {
   decodeMappings,
   decodedTextSpanIntersectsWith,
   deduplicate,
+  defaultInitCompilerOptions,
   defaultMaximumTruncationLength,
   diagnosticCategoryName,
   diagnosticToString,

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-55887-54",
+  "version": "5.6.0-pr-59436-2",
   "license": "Apache-2.0",
   "description": "TypeScript is a language for application scale JavaScript development",
   "keywords": [