checker/tests/index/BottomValTest.java

import org.checkerframework.checker.index.qual.*;
import org.checkerframework.common.value.qual.*;

public class BottomValTest {
  @NonNegative int foo(@BottomVal int bottom) {
    return bottom;
  }

  @Positive int bar(@BottomVal int bottom) {
    return bottom;
  }

  @LTLengthOf("#1") int baz(int[] a, @BottomVal int bottom) {
    return bottom;
  }
}