checker/tests/index/Issue20.java

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

public 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;
  }
}