From 57f6516612afe2107f1c75874edcda30036fe8f1 Mon Sep 17 00:00:00 2001
From: Tagir Valeev <Tagir.Valeev@jetbrains.com>
Date: Sun, 15 Apr 2018 13:14:50 +0700
Subject: [PATCH] DfaFactType#CAN_BE_NULL: notnull (but not nullable) is
 superstate for unknown

---
 .../com/intellij/codeInspection/dataFlow/DfaFactType.java    | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/DfaFactType.java b/java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/DfaFactType.java
index b4b884a34783..5382f02d88e5 100644
--- a/java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/DfaFactType.java
+++ b/java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/DfaFactType.java
@@ -54,6 +54,11 @@ public abstract class DfaFactType<T> extends Key<T> {
       return super.getPresentationText(fact, type);
     }
 
+    @Override
+    boolean isSuper(@Nullable Boolean superFact, @Nullable Boolean subFact) {
+      return (superFact == null && Boolean.FALSE.equals(subFact)) || super.isSuper(superFact, subFact);
+    }
+
     @Nullable
     @Override
     Boolean intersectFacts(@NotNull Boolean left, @NotNull Boolean right) {