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

// 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);
Commit	Line	Data
d778c637 JM	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