gcc/testsuite/g++.dg/cpp0x/variadic-partial1.C


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

// PR c++/72801
// { dg-do compile { target c++11 } }

template < typename, typename > struct A {};

template < typename ... T > struct B
{ 
  template < typename > struct C
  { 
    static const int a = 0;
  };

  template < typename R, typename ... S >
  struct C < R (A < T, S > ...) >
  { 
    static const int a = 1;
  };
};

#define SA(X) static_assert ((X), #X)
SA(B <>::C<int()>::a == 1);