[Bug c++/2922] [DR 197] two-stage lookup for unqualified function calls with type-dependent arguments

["giovannibajo at libero dot it" <gcc-bugzilla at gcc dot gnu dot org>]

------- Additional Comments From giovannibajo at libero dot it  2004-07-31 00:21 -------
Not working on this anymore. Andrew closed PR 11296 as a dup of this, but I'm 
not 100% sure. This is the testcase, so that it can be tested and added to the 
testsuite:

-----------------------------------------------------
namespace N {
template <class T> T foo (T) { return T (); }
template <class T> T bar (T t) { return foo (t); }
}

struct S { S (int i = 0): i_ (i) { } int i_; };

namespace N {
/* template <> */ S foo (S) { return S (1); }
}

int main ()
{
     return 1 == N::bar (S ()).i_;
} 
-----------------------------------------------------
(should return 0, but returns 1).


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|giovannibajo at libero dot  |unassigned at gcc dot gnu
                   |it                          |dot org
             Status|ASSIGNED                    |NEW


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=2922