xxxxxxxxxx
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)));