Unnecessary reference checks with ambient classes (regression)

[falsandtru]

cc @weswigham

TypeScript Version: master

Search Terms:

Code

// index.d.ts
export class C extends Object {
  static readonly p: unique symbol;
  [C.p](): void;
}
// index.ts
declare class C extends Object {
  static readonly p: unique symbol;
  [C.p](): void;
}

Expected behavior:

pass

Actual behavior:

$ node built/local/tsc.js index.d.ts -t esnext
index.d.ts:1:14 - error TS2506: 'C' is referenced directly or indirectly in its own base expression.

1 export class C extends Object {
               ~

Playground Link:

Related Issues:

[falsandtru]

@weswigham @mhegazy This is regression. Should be fixed by the next release.

export class URL<T extends string> {
  private static readonly IDENTITY: unique symbol;
  private readonly [URL.IDENTITY]: never;

https://github.com/falsandtru/pjax-api/blob/v3.21.3/src/lib/url.ts#L2-L3

TypeScript error: src/lib/url.ts(3,21): Error TS2449: Class 'URL' used before its declaration.