Never-initialized variable type is not narrowed to undefined

🔎 Search Terms

narrow uninitialized, uninitialized undefined

🕗 Version & Regression Information

• This is the behavior in every version I tried, and I reviewed the FAQ for entries about initialized/uninitialized

⏯ Playground Link

https://www.typescriptlang.org/play/?ts=5.9.0-dev.20250326#code/MYewdgzgLgBAZiEMC8MAUUDuIBcNoBOAlmAOYCUeAbiEQCYoB8MA3gFAwwBEArhAKb4oxYFC4BuDjCkB6GTH4QANiSgBaOkQgBDAEZL+asPwAe6lcZgABKAE8ADouDF76xRagySRdXX7AlbQJtKCJwCCkDWHB+PEISUhgAHxgeMD84En46SSkiOHQYlGRULBByVilOORgAPQB+KpgagDlEeykAXzZutgQQNC4ucnEgA

💻 Code

const foo = (two: string): void => {
  "use strict";
  
  // eslint-disable-next-line @typescript-eslint/init-declarations
  let one: string | undefined;

  if (one === two) {
    // ^?  let one: string | undefined
    // Noop
  }
}

foo("");

🙁 Actual behavior

The type is not narrowed, which prevents typescript-eslint from flagging this comparison that always fails: typescript-eslint playground

🙂 Expected behavior

The one === two comparison should be flagged because it always returns false (there is no way one has any value other than undefined).

Additional information about the issue

Also filed a related issue with ESLint: https://github.com/eslint/eslint/issues/19581

Tái hiện hành vi bằng liên kết TypeScript Playground và ví dụ one === two, sau đó truy vết cách việc narrowing của luồng điều khiển xử lý một biến chưa bao giờ được khởi tạo. So sánh kết quả với phép so sánh được mong đợi là luôn false và sử dụng issue ESLint được liên kết để có thêm ngữ cảnh liên quan. Được xem là hoàn tất khi phép so sánh được nhận diện là không thể xảy ra mà không thay đổi hành vi narrowing không liên quan.