Nested object type inference

[Jomik]

TypeScript Version: 3.0.0-dev.20180628

Search Terms: infer nested type object

Code

class Foo<A> {
  private a: A;
}

class ObjectFoo<A> extends Foo<A> {
  constructor(private b: { [k in keyof A]: Foo<A[k]> }) {
    super();
  }
}

const a = new ObjectFoo({ b: new Foo<string>() });
const obj = new ObjectFoo({ a });

Expected behavior:
Expect obj to have type { a: { b: string } }

Actual behavior:
obj has type { a: { b: any } }

Playground Link:
playground

Related Issues:

[RyanCavanaugh]

This is just a bug in the typeToString code; the actual type of b is string

Duplicate of #23897

[Jomik]

@RyanCavanaugh so the actual type is inferred for multiple layers of nested objects? :)
Thank you, I will follow that issue, feel free to close this!

[RyanCavanaugh]

Yep, you can try in the Playground - the properties of string will show up on obj.a.a.b (once you remove the private modifier)