[Bug c++/15674] template argument binding differs between member and static fumctions

[giovannibajo at libero dot it]

------- Additional Comments From giovannibajo at libero dot it  2004-05-27 08:51 -------
I'm unsure about this kind of deduction. EDG thinks S(a) is ill-formed (two 
possible overloads), and bind the other three calls to the T* deduction. Which, 
btw, is what GCC 2.95.3 used to do.

Nathan, can you possibly have a quick look and tell us what the standard says 
about this? I tried to look it up but we all know that deduction rules are 
arcane.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |nathan at gcc dot gnu dot
                   |                            |org


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