gcc/testsuite/g++.dg/template/spec16.C

   1 // { dg-do compile }
   2 // Contributed by Giovanni Bajo <giovannibajo at gcc dot gnu dot org>
   3 // PR c++/14497: Reject specialization without template headers
   4
   5 template <int N>
   6 struct A {
   7   template<int M> void B () ;
   8 };
   9
  10 void A<0>::B<0>() {    // { dg-error "specializing member 'A<0>::B<0>' requires 'template<>' syntax" }
  11 }