struct S

{

    int[4] arr;

    alias arr this;

}

​

void fun(T : U[n], U, size_t n)(T arg) {}

​

static assert(__traits(compiles, fun(S.init)));