Add @PolyNull to Objects.toString()

typetools · Aug 13, 2021 · 8b50438 · 8b50438
1 parent 3d55d8c
commit 8b50438
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/java.base/share/classes/java/util/Objects.java b/src/java.base/share/classes/java/util/Objects.java
@@ -31,6 +31,7 @@
 import org.checkerframework.checker.nullness.qual.EnsuresNonNullIf;
 import org.checkerframework.checker.nullness.qual.NonNull;
 import org.checkerframework.checker.nullness.qual.Nullable;
+import org.checkerframework.checker.nullness.qual.PolyNull;
 import org.checkerframework.dataflow.qual.Pure;
 import org.checkerframework.dataflow.qual.SideEffectFree;
 import org.checkerframework.framework.qual.AnnotatedFor;
@@ -191,7 +192,7 @@ public static String toString(@GuardSatisfied @Nullable Object o) {
      * @see Objects#toString(Object)
      */
     @SideEffectFree
-    public static String toString(@GuardSatisfied @Nullable Object o, String nullDefault) {
+    public static @PolyNull String toString(@GuardSatisfied @PolyNull Object o, @PolyNull String nullDefault) {
         return (o != null) ? o.toString() : nullDefault;
     }