framework/tests/value/Issue1423.java

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

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

public class Issue1423 {
  void loop(int i) {
    int a = 0;
    while (i >= 2) {
      @IntRange(from = 2) int i2 = i;
      ++a;
    }
  }
}