[debone]

I'm wondering what do you mean by obvious things, do you have any example? TypeScript can infer types[0] even through context, and it's even a good practice to let TypeScript do that for you.

[0]: https://www.typescriptlang.org/docs/handbook/type-inference....

[jdthedisciple]

but wouldn't the static code analysis complain in that example?

at least once you want to do anything meaningful with that x