1 2 3 4 5 6 7 8 9 10 11
// PR c++/43705 template < typename > struct S { template < > struct S < int > // { dg-error "explicit|specialization|template|parameter" } { S(int); }; }; S < int > s(0); // { dg-error "no matching" }