[Bug c++/14494] Rejected valid specialization of member template

[paolo.carlini at oracle dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=14494

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|bkoz at redhat dot com,            |jason at gcc dot gnu.org,
                   |gcc-bugs at gcc dot gnu.org        |paolo.carlini at oracle dot com
      Known to fail|                            |

--- Comment #6 from Paolo Carlini <paolo.carlini at oracle dot com> ---
I'm not at all sure that there is something to fix here. But in practice the
implementations differ, current clang rejects the test exactly like gcc. Icc
doesn't, it even accepts things like:

template <int N>  
struct A { 
  void C(void);
  template<typename> void B () ; 
}; 

template <>
void A<0>::C()
{
}

template <>
template <typename T>
void A<0>::B<T*>()
{
}

Jason?