checker/tests/signedness/Issue2483.java

import org.checkerframework.checker.signedness.qual.*;

public class Issue2483 {
  void foo(String a, byte[] b) {
    @Unsigned int len = a.length();
    @Unsigned int len2 = b.length;
  }
}