Type inference in C++ (and Go) is still very limited. It only works in the 'forward' direction.

In Haskell, OCaml and eg Rust, the compiler can infer the type of a new variable depending on how you are using it later.