framework/tests/value/Issue1655.java

// Test case for Issue 1655
// https://github.com/typetools/checker-framework/issues/1655

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

public class Issue1655 {

  public void test(int a) {
    @IntRange(from = 0, to = 255) int b = a & 0xff;
    @IntRange(from = 0, to = 15) int c1 = b >> 4;
    @IntRange(from = 0, to = 15) int c2 = b >>> 4;
  }
}