Hacker News Reader

TypScript can't do that because TypeScript doesn't have any runtime. TypeScript is compile-time only.

Yes indeed. I am talking about what TypeScript will allow at compile time.