void foo(int[a] a) {}  // "a" is redefined