import org.checkerframework.checker.index.qual.LessThan;

class LessThanZeroArrayLength {
    void test(int[] a) {
        foo(0, a.length);
    }

    void foo(@LessThan("#2 + 1") int x, int y) {}
}