==== Question ====

What do we mean when we say: specializations does not participate in
overload resolution when talking about function templates?

==== Answer ====

This means that whenever we have a function template that has a
specialization, the compiler only ever considers the "primary
template" when trying to choose which overload to call. So the
specialization is invisible to the compiler until the function
template was picked.