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

   1 // PR c++/72801
   2 // { dg-do compile { target c++11 } }
   3
   4 template < typename, typename > struct A {};
   5
   6 template < typename ... T > struct B
   7 {
   8   template < typename > struct C
   9   {
  10     static const int a = 0;
  11   };
  12
  13   template < typename R, typename ... S >
  14   struct C < R (A < T, S > ...) >
  15   {
  16     static const int a = 1;
  17   };
  18 };
  19
  20 #define SA(X) static_assert ((X), #X)
  21 SA(B <>::C<int()>::a == 1);
  22