checker/tests/signedness/LocalVarDefaults.java

import org.checkerframework.checker.signedness.qual.Signed;
import org.checkerframework.checker.signedness.qual.Unsigned;

public class LocalVarDefaults {

  void methodInt(@Unsigned int unsignedInt, @Signed int signedInt) {
    int local = unsignedInt;
    int local2 = signedInt;
  }

  // :: error: (annotations.on.use) :: error:  (anno.on.irrelevant)
  void methodDouble(@Unsigned double unsigned, @Signed double signed) {
    // :: error: (assignment)
    double local = unsigned;
    double local2 = signed;
  }

  void methodInteger(@Unsigned Integer unsignedInt, @Signed Integer signedInt) {
    Integer local = unsignedInt;
    Integer local2 = signedInt;
  }

  // :: error: (annotations.on.use) :: error:  (anno.on.irrelevant)
  void methodDoubleWrapper(@Unsigned Double unsigned, @Signed Double signed) {
    // :: error: (assignment)
    Double local = unsigned;
    Double local2 = signed;
  }
}