class A { void f() { A[] a; int i; a[i]; //^ defined: 3 // ^ defined: 4 } }