[Issue 1650] Incorrect overload selected with IFTI

[d-bugmail at puremagic.com]

http://d.puremagic.com/issues/show_bug.cgi?id=1650





------- Comment #9 from sean at invisibleduck.org  2008-06-15 11:12 -------
Okay, I understand the logic, though I'm not sure I understand the reasoning
behind it.  I would expect the more correct set of function parameters to be
chosen among the set of instantiable function templates rather than the
reverse.

So it appears this all came up because we currently need to add dummy template
parameters to disambiguate between overloads--adding the dummy parameter
effectively changes the overload decisions for the set of matching functions. 
You've changed the equation a bit by making one template a specialization of
the other, so the dummy parameter U could be dropped altogether.  Given that
dummy parameters seem to alter the overloading behavior of a set of functions,
I'm hesitant to endorse it as a viable option for overloading template
functions.  Perhaps this proposed solution should be reconsidered?


--