#include <concepts>

template<typename T>
concept CrtpDerived = requires
{
    {&T::method} -> std::same_as<void(T::*)()>;
};

template<typename T>
class CrtpBase
{
public:
    CrtpBase() requires CrtpDerived<T> = default;

    void crtp_method()
    {
        static_cast<T*>(this)->method();
    }
};

class Derived: public CrtpBase<Derived>
{
public:
    void method()
    {
    }
};
static_assert(CrtpDerived<Derived>);

void test()
{
    Derived d;
    d.crtp_method();
}