1 2 3 4 5 6 7 8 9
//PR c++/27962 template<int> struct A { template<typename> void foo(); }; template<> template<struct T> void A<0>::foo() {} // { dg-error "not a valid type" }