#include <iostream>
#include <type_traits>
#include <array>


template <class T> struct Moveable {};

template <class T>
inline constexpr bool is_moveable_v = std::is_trivially_copyable<T>::value ||
                                    std::is_base_of<Moveable<T>, T>::value;

class C: public Moveable<C>{
	C(const C& c){}
	C(C&& c){}
};

// uncomment to communicate the moveability of array<T,n> to the compiler
//template <class T, int n>
//inline constexpr bool is_moveable_v<std::array<T,n>> = is_moveable_v<T>;

int main()
{
	std::cout<<is_moveable_v<std::array<C,5>><<std::endl;
}