Test case for issue #3614

typetools · Sep 6, 2020 · 5b72644 · 5b72644
1 parent ce5868e
commit 5b72644
Showing 1 changed file with 20 additions and 0 deletions.
diff --git a/checker/tests/nullness/Issue3614.java b/checker/tests/nullness/Issue3614.java
@@ -0,0 +1,20 @@
+// Test case for https://tinyurl.com/cfissue/3614
+
+// @skip-test until the issue is fixed
+
+import org.checkerframework.checker.nullness.qual.PolyNull;
+
+public class Issue3614 {
+
+    public static @PolyNull Boolean not1(@PolyNull Boolean b) {
+        return (b == null) ? null : !b;
+    }
+
+    public static @PolyNull Boolean not2(@PolyNull Boolean b) {
+        if (b == null) {
+            return null;
+        } else {
+            return !b;
+        }
+    }
+}