// test case for https://github.com/typetools/checker-framework/issues/2345

class IndexConditionalReport {

    public int getI(int len) {
        for (int i = 0; i < len; i++) {
            if (false) {
                return i == 0 ? -1 : i; // unexpected error issued here
            }
        }
        return -1;
    }
}