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

Beginne mit dem verlinkten TypeScript Playground und reproduziere die TS7022-Diagnose anhand der beiden Klassenbeispiele. Vergleiche das Diagnoseverhalten zwischen dem statischen Feld mit Selbstreferenz und der entsprechenden eigenständigen Klasse und verfolge dann die Typinferenz und den Diagnosepfad des Compilers. Fertig ist die Arbeit, wenn das gemeldete Beispiel nicht mehr TS7022 erzeugt, während das relevante Fehlerverhalten intakt bleibt.