cmoon::has_size

template<class T>
concept has_size = 
    requires(T t)
{
    std::size(t);
};

The concept has_size<T> is satisfied if and only if std::size(t) is valid, with t being of type T.