If we have this structure on typescript:
type A = { v: number | string[] } interface B { a: A; } class C implements B { a = { v: 3 // inference only w