#include<type_traits>

template< class T >
struct is_move_convertible;

std :: is_move_constructible < datatype > :: value << '\n'

//C++ program to demonstrate
//std::is_move_constructible

#include <bits/stdc++.h>
#include <type_traits>

using namespace std;

// Declare structures
struct B {
};
struct A {
    A& operator=(A&) = delete;
};

class C {
    int n;
    C(C&&) = default;
};

class D {
    D(const D&) {}
};

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

    // Check if char is move constructible or not
    cout << "char: "
          << is_move_constructible<char> ::value
          << endl;

    // Check if struct A is move constructible or not
    cout << "struct A: "
          << is_move_constructible<A> ::value
          << endl;

    // Check if struct B is move constructible or not
    cout << "struct B: "
          << is_move_constructible<B> ::value
          << endl;

    // Check if class C is move constructible or not
    cout << "class C: "
          << is_move_constructible<C> ::value
          << endl;

    // Check if class D is move constructible or not
    cout << "class D: "
          << is_move_constructible<D> ::value
          << endl;
    return 0;
}

char: true
struct A: true
struct B: true
class C: false
class D: false