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