Jarrett Billingsley Wrote: > The spec says "Function template type parameters that are to be implicitly > deduced may not have specializations." And why is that ? The type parameters could be deduced and then the best specialization could be used. Why do they exclude each other ?