Incorrect report of self-referencing type for static fields

Description

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
}

Contributor guide

Tech stack

typescript

Domain

tooling

Issue type

bug

DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.

3

Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.

1-3 hours

Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.

fresh

ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.

clear

Prerequisites

TypeScript basicsUnderstanding of genericsFamiliarity with compiler architecture

Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.

70

Research direction

Investigate the TypeScript compiler's type checking for static fields in anonymous classes. The bug appears when a class with a static field is passed to a generic function like `id`. This likely involves the checker's handling of self referencing types. Look at the checker.ts file, specifically the logic for class type inference and static member resolution. The playground link shows the error TS7022; trace how the error is reported. No linked PRs or comments exist yet.