framework/tests/value/Boxing.java

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

public class Boxing {

  void simpleTest1(@BottomVal Integer x, int y) {
    @BottomVal int f = x.intValue();
    if (x.intValue() == y) {
      @BottomVal int z = y;
    }
  }

  void simpleTest2(@BottomVal Integer x, int y) {
    if (x == y) {
      @BottomVal int z = y;
    }
  }

  void simpleTest3(@BottomVal Integer x, Integer y) {
    if (x == y) {
      @BottomVal int z = y;
    }
  }
}