fork download

#include <type_traits>
#include <utility>
 
template <typename T> struct val : T {};
 
// Dependent true type for sfinae purposes
template <typename>
struct sfinae_true : std::true_type {};
 
template <typename T, typename... Args>
struct is_list_initializable {
private:
    template <typename T1, typename... Args1>
    static sfinae_true<decltype(T1 { std::declval<Args1>()... })> test(int);
    template <typename, typename...>
    static std::false_type test(...);
 
public:
    enum { value = val<decltype(test<T, Args...>(0))>::value };
};
 
#include <vector>
 
struct aggregate { int x; int y; };
 
#define STATIC_ASSERT(...) static_assert(__VA_ARGS__, #__VA_ARGS__)
 
STATIC_ASSERT(is_list_initializable<std::vector<int>, int, int>::value);
STATIC_ASSERT(!is_list_initializable<std::vector<int>, int, double>::value);
STATIC_ASSERT(is_list_initializable<aggregate, int, int>::value);
 
int main() {}
 

prog.cpp: In instantiation of 'is_list_initializable<std::vector<int>, int, double>':
prog.cpp:29:1:   instantiated from here
prog.cpp:14:67: internal compiler error: in cp_tree_equal, at cp/tree.c:2215
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Standard output is empty