Well no, when you use `auto` in C++ you still have the full strictness of the typing, it's just not explicitly listed in the source. The compiler still knows exactly what type it is and what you can/can't do with it.

In fact, C++ already has this problem, in a far worse form, and without using `auto`, with templates, where you really don't know the type, so long as it's compatible.