Как называется тип, который не перемещаем и не копируем, но к нему возможно применить RVO ?
И как определить это через какой-нибудь type_traits ?

struct X
{
    X(int& a):a(a){}
    X(X const&)=delete;
    int& a;
};

X makeX(int& i) { return X(i); }

void test()
{
    int i;
    X x = makeX(i); // OK

    X x2 ( move( makeX(i) ) ); // Error
}