It doesn't do type deduction there. In original C you could declare variables without a type, and these variables with auto have no type. So this "auto" is es

It doesn't do type deduction there. In original C you could declare variables without a type, and these variables with auto have no type. So this "auto" is essentially saying "this variable without a type uses automatic storage". That's a completely different language feature from "deduce the type of this variable".