> taking a static language and adding dynamic typing (e.g.`auto` in C#)

Assuming you meant C++ - no, auto is not a even a tiny bit dynamic. It's still fully static typing, but with type inference.

The compiler will still prevent you from calling a method which doesn't exist.