1 // { dg-do compile { target c++11 } } 2 3 namespace std { template <class T> T&& declval(); } 4 5 template<typename _Tp, typename... _Args> 6 class is_constructible_mini 7 { 8 typedef char __one; 9 typedef struct { char __arr[2]; } __two; 10 11 template<typename _Tp1, typename... _Args1> 12 static decltype(::new _Tp1(std::declval<_Args1>()...), __one()) 13 __test(int); 14 15 template<typename, typename...> 16 static __two __test(...); 17 18 public: 19 static const bool value = sizeof(__test<_Tp, _Args...>(0)) == 1; 20 }; 21 22 // int[](...) will work with P0960 and P1009. 23 #if __cpp_aggregate_paren_init 24 constexpr bool r = true; 25 #else 26 constexpr bool r = false; 27 #endif 28 static_assert( is_constructible_mini<int[], int>::value == r, ""); 29 static_assert( !is_constructible_mini<void, int>::value, ""); 30