main.cpp: In function 'int main()':
main.cpp:47:52: error: 'NoTriviallyConstructible' was not declared in this scope
static_assert(!std::is_trivially_constructible<NoTriviallyConstructible>::value);
^~~~~~~~~~~~~~~~~~~~~~~~
main.cpp:47:52: note: suggested alternative: 'NoTriviallyConstruct'
static_assert(!std::is_trivially_constructible<NoTriviallyConstructible>::value);
^~~~~~~~~~~~~~~~~~~~~~~~
NoTriviallyConstruct
main.cpp:47:76: error: template argument 1 is invalid
static_assert(!std::is_trivially_constructible<NoTriviallyConstructible>::value);
^
main.cpp:49:47: error: 'NoCopyConstructible' was not declared in this scope
static_assert(!std::is_copy_constructible<NoCopyConstructible>::value);
^~~~~~~~~~~~~~~~~~~
main.cpp:49:47: note: suggested alternative: 'NoCopyConstruct'
static_assert(!std::is_copy_constructible<NoCopyConstructible>::value);
^~~~~~~~~~~~~~~~~~~
NoCopyConstruct
main.cpp:49:66: error: template argument 1 is invalid
static_assert(!std::is_copy_constructible<NoCopyConstructible>::value);
^
main.cpp:50:63: error: type/value mismatch at argument 1 in template parameter list for 'template<class _Tp> struct std::is_copy_assignable'
static_assert(!std::is_copy_assignable<NoCopyConstructible>::value);
^
main.cpp:50:63: note: expected a type, got 'NoCopyConstructible'
main.cpp:53:54: error: 'value' is not a member of 'is_customly_convertible<int, int>'
static_assert(is_customly_convertible<int, int>::value);
^~~~~
main.cpp:55:56: error: 'value' is not a member of 'is_customly_convertible<int, float>'
static_assert(is_customly_convertible<int, float>::value);
^~~~~
main.cpp:56:59: error: 'value' is not a member of 'is_customly_convertible<float, float>'
static_assert(!is_customly_convertible<float, float>::value);
^~~~~
main.cpp:58:55: error: 'value' is not a member of 'is_customly_convertible<Test, int>'
static_assert(is_customly_convertible<Test, int>::value);
^~~~~
main.cpp:59:56: error: 'value' is not a member of 'is_customly_convertible<int, Test>'
static_assert(!is_customly_convertible<int, Test>::value);
^~~~~
main.cpp:61:88: error: type/value mismatch at argument 1 in template parameter list for 'template<class T, class V> class is_customly_convertible'
static_assert(is_customly_convertible<NoCopyConstructible, NoTriviallyConstructible>::value);
^
main.cpp:61:88: note: expected a type, got 'NoCopyConstructible'
main.cpp:61:88: error: type/value mismatch at argument 2 in template parameter list for 'template<class T, class V> class is_customly_convertible'
main.cpp:61:88: note: expected a type, got 'NoTriviallyConstructible'
main.cpp:62:89: error: type/value mismatch at argument 1 in template parameter list for 'template<class T, class V> class is_customly_convertible'
static_assert(!is_customly_convertible<NoTriviallyConstructible, NoCopyConstructible>::value);
^
main.cpp:62:89: note: expected a type, got 'NoTriviallyConstructible'
main.cpp:62:89: error: type/value mismatch at argument 2 in template parameter list for 'template<class T, class V> class is_customly_convertible'
main.cpp:62:89: note: expected a type, got 'NoCopyConstructible'
main.cpp:64:68: error: type/value mismatch at argument 1 in template parameter list for 'template<class T, class V> class is_customly_convertible'
static_assert(!is_customly_convertible<NoCopyConstructible, int>::value);
^
main.cpp:64:68: note: expected a type, got 'NoCopyConstructible'
main.cpp:65:68: error: type/value mismatch at argument 2 in template parameter list for 'template<class T, class V> class is_customly_convertible'
static_assert(!is_customly_convertible<int, NoCopyConstructible>::value);
^
main.cpp:65:68: note: expected a type, got 'NoCopyConstructible'
|