fix dfa false positive in JSTypeofTypeImpl

java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/value/DfaTypeValue.java

@@ -25,7 +25,6 @@
 package com.intellij.codeInspection.dataFlow.value;
 
 import com.intellij.codeInspection.dataFlow.Nullness;
-import com.intellij.openapi.util.Comparing;
 import com.intellij.openapi.util.text.StringUtil;
 import com.intellij.psi.PsiKeyword;
 import com.intellij.psi.PsiType;
@@ -109,7 +108,7 @@ public class DfaTypeValue extends DfaValue {
   }
 
   private boolean hardEquals(DfaTypeValue aType) {
-    return Comparing.equal(myCanonicalText, aType.myCanonicalText) && myNullness == aType.myNullness;
+    return myCanonicalText.equals(aType.myCanonicalText) && myNullness == aType.myNullness && myType.equals(aType.myType);
   }
 
   public boolean isAssignableFrom(DfaTypeValue dfaType) {

java/java-tests/testData/inspection/dataFlow/fixture/NoConfusionWithAnonymousConstantInitializer.java

@@ -0,0 +1,24 @@
+import org.jetbrains.annotations.NotNull;
+
+interface JSType {
+}
+class JSTypeofTypeImpl implements JSType {
+  static final JSType NO_TYPE = new JSType() {
+  };
+  private JSType myEvaluatedType;
+  private void evaluateType() {
+    JSType exprType = JSResolveUtil.getExpressionJSType();
+    if (exprType instanceof JSTypeofTypeImpl) {
+    }
+    myEvaluatedType = NO_TYPE;
+  }
+
+}
+
+class JSResolveUtil {
+
+  @NotNull
+  public static JSType getExpressionJSType() {
+    return JSTypeofTypeImpl.NO_TYPE;
+  }
+}

java/java-tests/testSrc/com/intellij/codeInspection/DataFlowInspectionTest.java

@@ -294,6 +294,7 @@ public class DataFlowInspectionTest extends LightCodeInsightFixtureTestCase {
   public void testUnconditionalForLoop() { doTest(); }
   public void testAnonymousMethodIndependence() { doTest(); }
   public void testAnonymousFieldIndependence() { doTest(); }
+  public void testNoConfusionWithAnonymousConstantInitializer() { doTest(); }
   
   public void _testNullCheckBeforeInstanceof() { doTest(); }
 }