1 // PR c++/27582 2 // { dg-do compile } 3 4 struct A 5 { 6 template<int> void foo(); 7 }; 8 9 template<int N, void (A::*)() = &A::foo<N> > struct B {}; 10 11 B<int> b; // { dg-error "type/value mismatch|expected a constant|invalid type" } 12 13 // { dg-prune-output "(could not convert|no match)" } 14