http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16070
--- Comment #7 from Jonathan Wakely <redi at gcc dot gnu.org> 2011-10-22 19:53:54 UTC --- (In reply to comment #6) > so g++ is not as good as clang, but it got closer at GCC 4.7. Perhaps g++ > could > handle better the "unresolved overloaded function type"? Could that be done by splitting the diagnostic into two? When there is no implicit conversion sequence for an argument which is an overload set print one message (like clang's "no overload of 'f'") and otherwise print the existing message. > (Gosh! how can clang be that good at this?) I prefer G++'s error for the second candidate, the process that fails is template argument deduction, not template argument inference.