gcc/testsuite/g++.dg/template/dependent-args1.C

   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" }