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