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