1 // PR c++/34272 2 3 template<typename> struct A {}; 4 5 template<typename> struct A<int> // { dg-error "not deducible|template\\-parameter" } 6 { 7 template<int> void foo(); 8 }; 9 10 void bar() 11 { 12 A<int> a; // { dg-error "incomplete type" } 13 a.foo<0>(); // { dg-error "expected" } 14 } 15