AFAIK，概念不允许递归。但是模板可以，所以为了让你的例子工作，你可以写一个模板类来建模你的概念，然后把你的概念定义为一个薄薄的 Package 器：

template <typename R>
struct my_object : std::false_type
{};
// specialization for integral types
template <std::integral R>
struct my_object<R>
 : public std::true_type
{};
// specialization for ranges using recursion
template <std::ranges::sized_range R>
struct my_object<R>
 : public std::conditional_t<
    my_object<typename R::value_type>::value,
    std::true_type, 
    std::false_type
>
{};
// wrapping in a concept
template <typename R>
concept my_object_concept = my_object<R>::value;

https://godbolt.org/z/1fqKzrYGh

用老式的方法来做：

#include <concepts>
#include <ranges>
#include <vector>
template <typename R> 
  struct is_my_object
  {
    static constexpr bool value = false;
  };
template <std::integral R>
  struct is_my_object<R>
  {
    static constexpr bool value = true;
  };
template <std::ranges::sized_range R>
  struct is_my_object<R>
  {
    static constexpr bool value = is_my_object<typename R::value_type>::value;
  };
template <typename R>
concept my_object = is_my_object<R>::value;
static_assert(my_object<int>);
static_assert(!my_object<float>);
static_assert(my_object<std::vector<int>>);
static_assert(my_object<std::vector<std::vector<int>>>);

(This定义将在my_object<int[2]>上失败;解决这个问题很容易）。

你的类型trait实际上并不需要三个模板定义来实现这个概念，因为只有两种情况需要处理。此外，使用std::ranges::range_value_t<R>而不是typename R::value_type还允许您检查C风格的数组类型。

#include <concepts>
#include <ranges>
#include <type_traits>
#include <vector>
template <class R>
struct is_my_object : std::is_integral<R> {};
template <std::ranges::sized_range R>
struct is_my_object<R> : is_my_object<std::ranges::range_value_t<R>> {};
template <class R>
concept my_object = is_my_object<R>::value;
static_assert(my_object<int>);
static_assert(not my_object<float>);
static_assert(my_object<std::vector<int>>);
static_assert(my_object<std::vector<std::vector<int>>>);
static_assert(my_object<int[2]>);
static_assert(not my_object<int[]>);

https://godbolt.org/z/5Krb6cosv