If, after considering the above, function template
F
is at least as specialized as function template
G and vice-versa, and
if
G has a trailing function parameter pack
for which
F does not have a corresponding parameter, and
if
F does not have a trailing function parameter pack,
then
F is more specialized than
G.