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?