[Bug c++/42018] Template specialization in wrong namespace accepted if it matches template arguments of an earlier specialization

[redi at gcc dot gnu.org]

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

Jonathan Wakely <redi at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|Accepts definition for      |Template specialization in
                   |non-anonymous specialized   |wrong namespace accepted if
                   |template method within      |it matches template
                   |anonymous namespace         |arguments of an earlier
                   |                            |specialization

--- Comment #4 from Jonathan Wakely <redi at gcc dot gnu.org> 2010-10-01 
12:00:51 UTC ---
It doesn't even depend on unnamed namespaces!

This is also accepted:

template<typename>
void foo(void);

template<>
void foo<int>(void);

namespace xxx {
  template<>
  void foo<int>(void) { return; }
}


I've adjusted the summary accordingly.