checker/tests/index/IndexConditionalReport.java

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

public 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;
  }
}