#include<type_traits>

template<class T>
struct is_trivially_copy_assignable

is_trivially_copy_assignable<T> :: value

// C ++ program to illustrate
// std::is_trivially_copy_assignable
#include <bits/stdc++.h>
#include <type_traits>
using namespace std;

// Declare Structures
struct X {
};

struct Y {
  Y & operator=(const Y&) {
    return *this;
  }
};

// Driver Code
int main() {
  cout << std::boolalpha;

  cout << "int? " << is_trivially_copy_assignable<int> :: value << endl;

  cout << "X? " << is_trivially_copy_assignable<X> :: value << endl;

  cout << "Y? " << is_trivially_copy_assignable<Y> :: value << endl;

  cout << "int[2]? " << is_trivially_copy_assignable<int[2]> :: value << endl;
  return 0;
}

int? true
X? true
Y? false
int[2]? false