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