checker/tests/index/NonNegativeCharValue.java

import org.checkerframework.checker.index.qual.NonNegative;

public class NonNegativeCharValue {
  public static String toString(final @NonNegative Character ch) {
    return toString(ch.charValue());
  }
}