#include<type_traits>

template<class T>
struct is_move_assignable;

std::is_move_assignable<T>::value

// C++ program to illustrate
// std::is_nothrow_move_assignable
#include <bits/stdc++.h>
#include <type_traits>
using namespace std;
  
// Declare structures
struct A {
};
  
struct B {
    B& operator=(B&) = delete;
};
  
struct Ex1 {
    Ex1() {}
    Ex1(Ex1&&)
    {
        cout << "Throwing move constructor!";
    }
    Ex1(const Ex1&)
    {
        cout << "Throwing copy constructor!";
    }
};
  
struct Ex2 {
    Ex2() {}
    Ex2(Ex2&&) noexcept
    {
        cout << "Non-throwing move constructor!";
    }
    Ex2(const Ex2&) noexcept
    {
        cout << "Non-throwing copy constructor!";
    }
};
  
// Driver Code
int main()
{
    cout << boolalpha;

    // Check if int is a move
    // assignable or not
    cout << "int: "
          << is_nothrow_move_assignable<int>::value
          << endl;

    // Check if struct A is a move
    // assignable or not
    cout << "struct A: "
          << is_nothrow_move_assignable<A>::value
          << endl;

    // Check if struct B is a move
    // assignable or not
    cout << "struct B: "
          << is_nothrow_move_assignable<B>::value
          << endl;

    // Check if struct Ex1 is a move
    // assignable or not
    cout << "struct Ex1: "
          << is_nothrow_move_assignable<Ex1>::value
          << endl;

    // Check if struct Ex2 is a move
    // assignable or not
    cout << "struct Ex2: "
          << is_nothrow_move_assignable<Ex2>::value
          << endl;
    return 0;
}

int: true
struct A: true
struct B: false
struct Ex1: false
struct Ex2: false