interface V { v: number; } type Id = T; declare let x: Id; // ^ defined: 5 // ^ defined: 1 x.v; //^ defined: 7 // ^ defined: 2 export {};