[torb-xyz]

Microsoft _do_ have the research project Static TypeScript that does try to do this with a subset: https://www.microsoft.com/en-us/research/publication/static-...

But your point stands I think this subset will be incompatible with how many (including myself) writes TypeScript.