checker/tests/nullness-extra/issue607/Issue607Interface.java

interface Issue607Interface {
  Object method(Object string);
}