Python reaching defs fix leading to unbound local variable inspection false positives
[idea/community.git] / platform / lang-impl / src / com / intellij / codeInsight / dataflow / DfaInstance.java
index 716ec69893740386a85bcd6f9450134133066f19..ce618834fe4b93006ad32034c8547aeaa487ab82 100644 (file)
@@ -18,6 +18,8 @@ import com.intellij.codeInsight.controlflow.Instruction;
 import org.jetbrains.annotations.NotNull;
 
 public interface DfaInstance<E> {
+  // Please ensure that E has correctly implemented equals method
+
   // Invariant: fun must create new instance of DFAMap if modifies it
   DFAMap<E> fun(DFAMap<E> e, Instruction instruction);