diff --git a/compiler/resolution/src/org/jetbrains/kotlin/resolve/calls/inference/components/KotlinConstraintSystemCompleter.kt b/compiler/resolution/src/org/jetbrains/kotlin/resolve/calls/inference/components/KotlinConstraintSystemCompleter.kt
index 8f8d1b941c3..08e66cdf0ec 100644
--- a/compiler/resolution/src/org/jetbrains/kotlin/resolve/calls/inference/components/KotlinConstraintSystemCompleter.kt
+++ b/compiler/resolution/src/org/jetbrains/kotlin/resolve/calls/inference/components/KotlinConstraintSystemCompleter.kt
@@ -89,7 +89,7 @@ class KotlinConstraintSystemCompleter(
                 val variableWithConstraints = c.notFixedTypeVariables.getValue(variableForFixation.variable)
 
                 if (variableForFixation.hasProperConstraint)
-                    fixVariable(c, topLevelType, variableWithConstraints, postponedKtPrimitives, topLevelAtoms)
+                    fixVariable(c, variableWithConstraints, topLevelAtoms)
                 else
                     processVariableWhenNotEnoughInformation(c, variableWithConstraints, topLevelAtoms)
 
@@ -206,13 +206,10 @@ class KotlinConstraintSystemCompleter(
 
     private fun fixVariable(
         c: Context,
-        topLevelType: UnwrappedType,
         variableWithConstraints: VariableWithConstraints,
-        postponedResolveKtPrimitives: List<PostponedResolvedAtom>,
         topLevelAtoms: List<ResolvedAtom>
     ) {
-        val direction = TypeVariableDirectionCalculator(c, postponedResolveKtPrimitives, topLevelType).getDirection(variableWithConstraints)
-        fixVariable(c, variableWithConstraints, direction, topLevelAtoms)
+        fixVariable(c, variableWithConstraints, TypeVariableDirectionCalculator.ResolveDirection.UNKNOWN, topLevelAtoms)
     }
 
     fun fixVariable(
diff --git a/compiler/testData/diagnostics/tests/inference/completion/basic.kt b/compiler/testData/diagnostics/tests/inference/completion/basic.kt
index a0ee120c7c9..1202d01e319 100644
--- a/compiler/testData/diagnostics/tests/inference/completion/basic.kt
+++ b/compiler/testData/diagnostics/tests/inference/completion/basic.kt
@@ -57,14 +57,13 @@ fun test7(cls: Cls) {
 }
 
 fun test8(cls: Cls) {
-    // TODO
-    <!IMPLICIT_NOTHING_AS_TYPE_PARAMETER, TYPE_MISMATCH!>id<!>(
+    id(
         <!DEBUG_INFO_EXPRESSION_TYPE("Inv<in Cls>")!>wrapIn(cls)<!>
     )
 }
 
 fun test9(cls: Cls) {
     id(
-        <!DEBUG_INFO_EXPRESSION_TYPE("InB<Bound>")!>InB(cls)<!>
+        <!DEBUG_INFO_EXPRESSION_TYPE("InB<Cls>")!>InB(cls)<!>
     )
 }