http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54755
Daniel Krügler <daniel.kruegler at googlemail dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |daniel.kruegler at | |googlemail dot com --- Comment #2 from Daniel Krügler <daniel.kruegler at googlemail dot com> 2012-09-29 23:07:59 UTC --- (In reply to comment #1) > I haven't bothered analysing the code, but Comeau and Clang agree it's > ambiguous, so GCC is probably right. I agree with Jonathan, the code is supposed to be ill-formed. This is so, because the second stage of ADL is not allowed to consider overloads visible *after* the point of the template definition where the call happens of function argument types without associated namespaces.