class BaseI
{
public:
    virtual BaseI * foo() = 0;
};

template <class Derived> class BaseT : public BaseI
{
public:
    virtual Derived * foo() override
    {
        return new Derived();
    }
};

class Derive1 : public BaseT<Derive1> {};
class Derive2 : public BaseT<Derive2> {};

Получаю ошибку компиляции "Invalid covariant return type" хотя фактически они covariant. Есть ли объяснение почему так?

https://stackoverflow.com/questions/30252032/invalid-covariant-type-with-crtp-clonable-class