Issue20.java

import org.checkerframework.checker.index.qual.LTEqLengthOf;
import org.checkerframework.checker.index.qual.LTLengthOf;

class Issue20 {
    // An issue with LUB that results in losing information when unifying.
    int[] a, b;

    void test(@LTLengthOf("a") int i, @LTEqLengthOf({"a", "b"}) int j, boolean flag) {
        @LTEqLengthOf("a") int k = flag ? i : j;
    }
}