inference from conditions (IDEA-101161)

java/java-tests/testData/codeInsight/daemonCodeAnalyzer/genericsHighlighting/BooleanInferenceFromIfCondition.java

@@ -0,0 +1,12 @@
+public class Main {
+    public <T> T getAttribute() {return null;}
+    public <T> T getAttribute(T def) {return null;}
+
+    {
+        if (getAttribute()) {}
+
+        while (getAttribute()) {}
+        do {} while (getAttribute());
+        for(int i = 0; getAttribute(); i++);
+    }
+}