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....
but wouldn't the static code analysis complain in that example?
at least once you want to do anything meaningful with that x