1 // PR c++/57471
2 // { dg-require-effective-target c++11 }
3 
4 struct A
5 {
6   static constexpr bool value = true;
7 };
8 
9 template<typename... Types>
10 struct B
11 {
12   static_assert(A::value, "");
13   static_assert(sizeof...(Types) == 0, "");
14 };
15