The big problem with this take is that they seem to assume it is an all or nothing feature.

Personally I love how rust does it, types are inferred inside a body of a function where they matter less and are generally unambiguous (you need to specify them if they are ambiguous) as you often don’t care as much about the exact type you have. But on function parameters are return types they are never inferred as these form the contract to the rest of your program and a unexpected change to one of these can result in your code breaking somewhere else entirely.

Personally I never really use the automatic type annotations in IDEs, they just add noise I rarely care about.