I disagree very strongly with the argument presented there - in fact, I think it provides enough rope to hang itself. It says: 1. With deduction you always ge

I disagree very strongly with the argument presented there - in fact, I think it provides enough rope to hang itself. It says: 1. With deduction you always get right type 2. Deduction guarantees no implicit conversion will happen From this we can conclude that "the right type" never involves an implicit conversion. This is false: see vector<bool>::operator[], or consider the fact that auto allows you to make a variable of a type you cannot name explicitly (i.e. is private), which is surely not "the right type!"