struct W()
{
    int[] J;
}

typeof(typeid(W!())) OB;