diff --git a/compiler/frontend/src/org/jetbrains/jet/lang/resolve/calls/inference/ConstraintsUtil.java b/compiler/frontend/src/org/jetbrains/jet/lang/resolve/calls/inference/ConstraintsUtil.java
index 6768cfc1b07..10200c5eb05 100644
--- a/compiler/frontend/src/org/jetbrains/jet/lang/resolve/calls/inference/ConstraintsUtil.java
+++ b/compiler/frontend/src/org/jetbrains/jet/lang/resolve/calls/inference/ConstraintsUtil.java
@@ -72,6 +72,9 @@ public class ConstraintsUtil {
                 }
             }
         }
+        //todo
+        //fun <T> foo(t: T, consumer: Consumer<T>): T
+        //foo(1, c: Consumer<Any>) - infer Int, not Any here
 
         for (JetType upperBound : typeConstraintsWithoutErrorTypes.getUpperBounds()) {
             addToValuesIfDifferent(upperBound, values);