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