class C {
  void foo(int n) {
    if (false) {
      int[] a = new int[n];
      a[0] = 1;
    }
  }
}