[jbverschoor]

Aren't there any type synthesizers which modify your code based on inferenced types?

[thesuperbigfrog]

Isn't that called weak typing? (https://en.wikipedia.org/wiki/Strong_and_weak_typing#Definit...)

[jbverschoor]

No. I mean altering code to strong typing using type inference. So that auto becomes int, or MyClass*.