/**
 * Test that we cannot assign a const array to a non-const array.
 */
class C {
    int const[] a = {1, 2, 3};

    public void foo(int[] input) {
    }    

    public void bar() {
        foo(a);
    }
}
