1 // { dg-do compile { target c++11 } }
2 template<class> struct X { static const bool primary = true; };
3 template<class R, class... ArgTypes> struct X<R(int, ArgTypes...)> {
4 static const bool primary = false;
6 template<class... Types> struct Y { static const bool primary = true; };
7 template<class T, class... Types> struct Y<T, Types&...> {
8 static const bool primary = false;
11 static_assert (X<int>::primary, "uses primary template");
12 static_assert (!X<int(int, float, double)>::primary,
13 "uses partial specialization");
14 static_assert (X<int(float, int)>::primary, "uses primary template");
15 static_assert (Y<>::primary, "uses primary template");
16 static_assert (!Y<int&, float&, double&>::primary,
17 "uses partial specialization");
18 static_assert (Y<int, float, double>::primary, "uses primary template");