Incorrect report of self-referencing type for static fields

🔎 Search Terms

TS7022
implicitly has type 'any'

🕗 Version & Regression Information

• The issue applies to all TypeScript 5 versions and TypeScript 6 nightly

⏯ Playground Link

https://www.typescriptlang.org/play/?ts=6.0.0-dev.20251006#code/GYVwdgxgLglg9mABDAJgHgCoD4AUAPALkQwEoiNEBvAKEUQCcBTKEepPagX2uogQGcoiAGJw4iALzIUOCABsAhv35VaiQQtgQGjBSgRyAnomBjJ0nABYATCUQB6e4gCi9enHrEAygHYADNbWXCQ8fGCCiADyANbm8koqNHQaWjp6Bsam4lKoVrYOTgBy4oxuHlzUQA

💻 Code

function id<T>(x: T): T {
  return x
}

const Foo = id(class {
  static readonly foo = id(42) // Error TS7022
})

const Ok = class {
  static readonly foo = id(42) // No error
}

🙁 Actual behavior

Type error TS7022 reported

🙂 Expected behavior

No type error

Additional information about the issue

No response

Bắt đầu với TypeScript Playground được liên kết và tái hiện chẩn đoán TS7022 bằng hai ví dụ về lớp. So sánh hành vi chẩn đoán giữa trường static tự tham chiếu và lớp độc lập tương đương, sau đó lần theo đường dẫn suy luận kiểu và chẩn đoán của trình biên dịch. Công việc được hoàn tất khi ví dụ được báo cáo không còn tạo ra TS7022, trong khi hành vi lỗi liên quan vẫn được giữ nguyên.