is_trivially_assignable.pass.cpp [plain text]
#include <type_traits>
struct A
{
};
struct B
{
void operator=(A);
};
int main()
{
static_assert(( std::is_trivially_assignable<int&, int&>::value), "");
static_assert(( std::is_trivially_assignable<int&, int>::value), "");
static_assert((!std::is_trivially_assignable<int, int&>::value), "");
static_assert((!std::is_trivially_assignable<int, int>::value), "");
static_assert(( std::is_trivially_assignable<int&, double>::value), "");
static_assert((!std::is_trivially_assignable<B, A>::value), "");
static_assert((!std::is_trivially_assignable<A, B>::value), "");
}