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


1
2
3
4
5
6
7
8
9
10
11
12
13

// PR c++/27582
// { dg-do compile }

struct A
{
  template<int> void foo();
};

template<int N, void (A::*)() = &A::foo<N> > struct B {};

B<int> b; // { dg-error "type/value mismatch|expected a constant|invalid type" }

// { dg-prune-output "could not convert" }