E2566 型 '%s' が無効です (%s の呼び出し時)（C++）

コンパイラのエラーと警告（C++）：インデックス への移動

このエラーは、外部で定義されたオブジェクト内の無効な型を使用した場合に発生します。

struct A_ {
    static typename T::type z;
};
int main() {
    int k = sizeof(A_<int>::z);         // error: int::z is not a valid type
}