checker/tests/index/EndsWith.java

// Test case for issue #56:
// https://github.com/kelloggm/checker-framework/issues/56

import org.checkerframework.common.value.qual.MinLen;

public class EndsWith {

  void testEndsWith(String arg) {
    if (arg.endsWith("[]")) {
      @MinLen(2) String arg2 = arg;
    }
  }
}