👍

Are there any back compat concerns here? Or does this preserve behavior between V1 and the current impl? Thanks!

For the declarations

var a: { x: typeof a; };
var b: () => typeof b;
var c: { (): typeof c; };
var d: { [s: string]: typeof d; };

the old compiler would generate the types

var a: { x: any; };
var b: () => any;
var c: { (): any; };
var d: { [s: string]: any; };

whereas the new compiler correctly generates recursive types. Technically the new behavior is stricter, but the old behavior is basically a bug (i.e. the spec never says that typeof should become an any). I very much doubt this will affect any existing code, but if it does, it is likely because that code had a type error in it.

Please also test that this works in parameters, type parameter constraints, and type arguments.

And I suppose eventually we will want to test tuple element types as well.