[gpderetta]

So is auto, decltype and templates. In C++ we properly call it type deduction to distinguish it from actual H-M style inference which C++ lacks. The details of how it is called doesn't detract from parent's argument.

[dllthomas]

Yes. I hadn't meant my comment as argument on either side, just added context.