https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119859
--- Comment #5 from Jason Merrill <jason at gcc dot gnu.org> --- (In reply to Andrew Pinski from comment #3) > Another example: ... > template<class T> > const A& h(); ... > b.h(); T cannot be deduced in this call, so A::h is not a viable candidate, so it's not ambiguous.