Changed the tests for static arrays a little The following code IS legal: int[10] a; int[10] b = a; It's only assignment outside of init thats illegal Also a test for a[] = b, which should compile to a memcpy

//fail
int main(int x)
{
    switch (x)
    {
        case 1, 2:
            return 0;
        case 2, 3:
            return 1;
        case 1, 3:
            return 1;
    }
}