Test case for issue #4889

typetools · Aug 20, 2021 · 4480e55 · 4480e55
1 parent bf79d96
commit 4480e55
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/checker/tests/nullness/Issue4889.java b/checker/tests/nullness/Issue4889.java
@@ -0,0 +1,14 @@
+import java.util.Objects;
+import org.checkerframework.checker.nullness.qual.NonNull;
+import org.checkerframework.checker.nullness.qual.Nullable;
+
+class Issue4889 {
+  void f(@Nullable String s) {
+    Objects.toString(s, "").toString();
+  }
+
+  void g(@Nullable String s) {
+    @NonNull String x = Objects.toString(s, "");
+    @Nullable String y = Objects.toString(s, null);
+  }
+}