diff --git a/java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/DfaMemoryStateImpl.java b/java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/DfaMemoryStateImpl.java
index 389f62f323a3..69fdcb1c0e82 100644
--- a/java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/DfaMemoryStateImpl.java
+++ b/java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/DfaMemoryStateImpl.java
@@ -924,6 +924,10 @@ public class DfaMemoryStateImpl implements DfaMemoryState {
     if (constant.getValue() instanceof PsiType) {
       if (!processGetClass(value, (PsiType)constant.getValue(), false)) return false;
     }
+    SpecialField field = SpecialField.fromQualifierType(constant.getPsiType());
+    if (field != null) {
+      if (!meetDfType(field.createValue(getFactory(), value), field.fromConstant(constant.getValue()))) return false;
+    }
     DfType dfType = constant.tryNegate();
     if (dfType == null) return true;
     EqClass eqClass = getEqClass(value);