checker/tests/index/StringOffsetTest.java

public class StringOffsetTest {
  public static void OffsetString() {
    char[] chars = new char[10];

    // :: error: (argument)
    String string2 = new String(chars, 5, 7);

    String string3 = new String(chars, 5, 4);
  }
}