1 //===----------------------------------------------------------------------===// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is dual licensed under the MIT and the University of Illinois Open 6 // Source Licenses. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 10 // UNSUPPORTED: c++98, c++03, c++11 11 // <experimental/type_traits> 12 13 #include <experimental/type_traits> 14 #include <string> 15 16 #include "test_macros.h" 17 18 namespace ex = std::experimental; 19 20 template <typename T> 21 using copy_assign_t = decltype(std::declval<T&>() = std::declval<T const &>()); 22 23 struct not_assignable { 24 not_assignable & operator=(const not_assignable&) = delete; 25 }; 26 27 template <typename T, bool b> 28 void test() { 29 static_assert( b == ex::is_detected <copy_assign_t, T>::value, "" ); 30 static_assert( b == ex::is_detected_v<copy_assign_t, T>, "" ); 31 } 32 33 int main () { 34 test<int, true>(); 35 test<std::string, true>(); 36 test<not_assignable, false>(); 37 } 38
