> You can often make good guesses statically. Especially if your JavaScript was produced from something like a TypeScript source.

No, you really can't. TypeScript types don't give you the sort of data you want for a compiler to make optimization decisions.