[xsmasher]

Currently we run "tsc" to "compile" the code and tell us about type errors. "This method passes as string to something that expects a number" etc.

In a world where JS has type notation, we'd need a similar command that could analyze the code without running it.

[brundolf]

tsc does that, but yes, you'd still have to run tsc which was part of my original point