Signedness annotations

Author: mernst

src/java.base/share/classes/java/lang/Class.java

@@ -36,6 +36,7 @@
 import org.checkerframework.checker.signature.qual.ClassGetName;
 import org.checkerframework.checker.signature.qual.ClassGetSimpleName;
 import org.checkerframework.checker.signature.qual.DotSeparatedIdentifiers;
+import org.checkerframework.checker.signedness.qual.Signed;
 import org.checkerframework.common.reflection.qual.ForName;
 import org.checkerframework.common.reflection.qual.GetConstructor;
 import org.checkerframework.common.reflection.qual.GetMethod;
@@ -3947,7 +3948,7 @@ public Void run() {
      */
     @SuppressWarnings("unchecked")
     @IntrinsicCandidate
-    public @PolyNull T cast(@PolyNull Object obj) {
+    public @PolyNull @Signed T cast(@PolyNull Object obj) {
         if (obj != null && !isInstance(obj))
             throw new ClassCastException(cannotCastMsg(obj));
         return (T) obj;