CRTP：为什么在获取派生类的嵌套类型和嵌套方法之间有区别？

Question

CRTP模式中的基类可以访问派生类的成员函数，但不能访问派生类中的嵌套类型。

为什么会有这种区别？

为说明起见，请考虑以下代码：

template<typename Derived>
struct crtp_base
{
    void crtp_method() { return static_cast<Derived&>(*this).method(); } // compiles

    using crtp_type = typename Derived::type; // doesn't compile
};

struct X : public crtp_base<X>
{
    void method() {}

    using type = int;
};

int main()
{

}

crtp_type导致编译错误，而crtp_method可以正常编译，尽管两者都试图访问Derived类中定义的内容。解释这种差异的C ++规范是什么？