dfa: comparison with other variables shouldn't affect a variable's nullability status

2026-08-26 00:11:26 +07:00 · 2014-03-05 22:19:28 +01:00
parent 2c6cea692a
commit 76591fdeca
3 changed files with 17 additions and 1 deletions
@@ -0,0 +1,15 @@
+import org.jetbrains.annotations.NotNull;
+
+import java.util.Collection;
+
+class Bar3 {
+
+  public void main2(Object o1, Object o2) {
+    if (o1 == null) {
+      System.out.println();
+    }
+    if (o1 != o2 || o2.hashCode() == 3) {
+
+    }
+  }
+}