[Bug c++/54755] Template instantiation confused by actual template argument definitions before and after template definition

[daniel.kruegler at googlemail dot com]

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.