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 10200c5eb05..c5bc25246dc 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
@@ -64,12 +64,10 @@ public class ConstraintsUtil {
         }
         addToValuesIfDifferent(superTypeOfLowerBounds, values);
 
-        if (values.isEmpty()) {
-            Collection<JetType> upperBounds = typeConstraintsWithoutErrorTypes.getUpperBounds();
-            for (JetType upperBound : upperBounds) {
-                if (trySuggestion(upperBound, typeConstraints)) {
-                    return Collections.singleton(upperBound);
-                }
+        Collection<JetType> upperBounds = typeConstraintsWithoutErrorTypes.getUpperBounds();
+        for (JetType upperBound : upperBounds) {
+            if (trySuggestion(upperBound, typeConstraints)) {
+                return Collections.singleton(upperBound);
             }
         }
         //todo