template <class T> concept bool Movable = is_object<T>::value && MoveConstructible<T> && Assignable<T&, T> && Swappable<T>;
There need not be any subsumption relationship between Movable<T> and is_object<T>::value.