1 // PR c++/51370
2 
3 struct A
4 {
fooA5   template<typename> void foo() {}
6 };
7 
8 template<void (A::*)()> struct B {};
9 
10 template<int> struct C
11 {
12   B<&A::foo<int int> > b; // { dg-error "declaration|type" }
13 };
14 
15 C<0> c;
16 
17 // { dg-prune-output "could not convert" }
18