Test case for issue typetools#4889

eisop · Sep 4, 2021 · 02338d2 · 02338d2
1 parent c0e2e57
commit 02338d2
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);
+  }
+}