/**
 * Test that const arrays can be formal and local.
 */
class C {
    public void foo(int const [] a) {
        int const [] b;
    }
}
