has_nothrow_assign.cc [plain text]
#include <tr1/type_traits>
#include <testsuite_hooks.h>
#include <testsuite_tr1.h>
void test01()
{
bool test __attribute__((unused)) = true;
using std::tr1::has_nothrow_assign;
using namespace __gnu_test;
VERIFY( (test_category<has_nothrow_assign, void>(true)) );
VERIFY( (test_category<has_nothrow_assign, int>(true)) );
VERIFY( (test_category<has_nothrow_assign, float>(true)) );
VERIFY( (test_category<has_nothrow_assign, EnumType>(true)) );
VERIFY( (test_category<has_nothrow_assign, int*>(true)) );
VERIFY( (test_category<has_nothrow_assign, int(*)(int)>(true)) );
VERIFY( (test_category<has_nothrow_assign, int (ClassType::*)>(true)) );
VERIFY( (test_category<has_nothrow_assign, int (ClassType::*) (int)>(true)) );
VERIFY( (test_category<has_nothrow_assign, int[2]>(true)) );
VERIFY( (test_category<has_nothrow_assign, float[][3]>(true)) );
VERIFY( (test_category<has_nothrow_assign, EnumType[2][3][4]>(true)) );
VERIFY( (test_category<has_nothrow_assign, int*[3]>(true)) );
VERIFY( (test_category<has_nothrow_assign, int(*[][2])(int)>(true)) );
VERIFY( (test_category<has_nothrow_assign, int (ClassType::*[2][3])>(true)) );
VERIFY( (test_category<has_nothrow_assign,
int (ClassType::*[][2][3]) (int)>(true)) );
}
int main()
{
test01();
return 0;
}