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 
23