checker/tests/index/ParsingBug.java

public class ParsingBug {
  void test() {
    String[] saOrig = new String[] {"foo", "bar"};
    Object o1 = do_things((Object) saOrig);
  }

  Object do_things(Object o) {
    return o;
  }
}