Fixed the problem with 'OnlyInputTypes' annotation

core/descriptors/src/org/jetbrains/kotlin/resolve/calls/inference/ConstraintSystemImpl.kt

@@ -84,13 +84,14 @@ public class ConstraintSystemImpl : ConstraintSystem {
 
         override fun hasContradiction() = hasParameterConstraintError() || hasConflictingConstraints()
                                           || hasCannotCaptureTypesError() || hasTypeInferenceIncorporationError()
-                                            || hasTypeParameterWithUnsatisfiedOnlyInputTypesError()
+
 
         override fun hasViolatedUpperBound() = !isSuccessful() && filterConstraintsOut(TYPE_BOUND_POSITION).getStatus().isSuccessful()
 
         override fun hasConflictingConstraints() = localTypeParameterBounds.values().any { it.values.size() > 1 }
 
-        override fun hasUnknownParameters() = localTypeParameterBounds.values().any { it.values.isEmpty() }
+        override fun hasUnknownParameters() =
+                localTypeParameterBounds.values().any { it.values.isEmpty() } || hasTypeParameterWithUnsatisfiedOnlyInputTypesError()
 
         override fun hasParameterConstraintError() = errors.any { it is ParameterConstraintError }
 

core/descriptors/src/org/jetbrains/kotlin/resolve/calls/inference/TypeBoundsImpl.kt

@@ -36,10 +36,6 @@ public class TypeBoundsImpl(
 ) : TypeBounds {
     override val bounds = ArrayList<Bound>()
 
-    private val typesInBoundsSet: Set<JetType> by lazy {
-        bounds.filter { it.isProper }.map { it.constrainingType }.toSet()
-    }
-
     private var resultValues: Collection<JetType>? = null
 
     var isFixed: Boolean = false
@@ -157,7 +153,10 @@ public class TypeBoundsImpl(
         // a captured type might be an answer
         if (!possibleAnswer.getConstructor().isDenotable() && !possibleAnswer.isCaptured()) return false
 
-        if (typeVariable.hasOnlyInputTypesAnnotation() && !typesInBoundsSet.contains(possibleAnswer)) return false
+        if (typeVariable.hasOnlyInputTypesAnnotation()) {
+            val typesInBoundsSet = bounds.filter { it.isProper && it.constrainingType.constructor.isDenotable }.map { it.constrainingType }.toSet()
+            if (!typesInBoundsSet.contains(possibleAnswer)) return false
+        }
 
         for (bound in bounds) {
             when (bound.kind) {