// test case for issue 162: https://github.com/kelloggm/checker-framework/issues/162

public class ConditionalIndex {
    public void f(boolean cond) {
        int[] a = new int[10];
        int[] b = new int[1];
        if (cond) {
            int[] c = a;
        } else {
            int[] c = b;
        }

        int[] d = (cond ? a : b);
    }
}
