Using concepts for matching CRTP inheritance

BaseConcept.hpp

#include <type_traits>

template <class Derived>
class Base {
public:
    int Create() const {
        return static_cast<const Derived&>(*this).CreateImpl();
    }
};

class Derived : public Base<Derived> {
    friend Base<Derived>;
    int CreateImpl () const {
        return 0;
    }
};

template <class Derived, template <class...> class BaseTemplate>
struct IsTemplateBase {
    template <class... T>
    static std::true_type tester(BaseTemplate<T...>*);
    static std::false_type tester(...);

    static constexpr bool value 
        = decltype(tester(std::declval<Derived*>()))::value;
};

template <class T, template <class...> class BaseTemplate>
concept AbstractBaseConcept = IsTemplateBase<T, BaseTemplate>::value;

template <class T>
concept BaseConcept = AbstractBaseConcept<T, Base>;

template <BaseConcept T>
int GetValue(const T& obj) {
    return obj.Create();
}

int main () {
    Derived d;
    return GetValue(d);
}