diff --git a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/inference/CompletionModeCalculator.kt b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/inference/CompletionModeCalculator.kt
index fdf1d1570f5..407d5f8db5a 100644
--- a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/inference/CompletionModeCalculator.kt
+++ b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/inference/CompletionModeCalculator.kt
@@ -125,11 +125,12 @@ private class CalculatorForNestedCall(
         type: KotlinTypeMarker, outerVariance: TypeVariance,
         fixationDirectionsCollector: MutableSet<FixationDirectionForVariable>
     ) {
-        val typeArgumentsCount = type.argumentsCount()
+        val unwrappedType = type.lowerBoundIfFlexible()
+        val typeArgumentsCount = unwrappedType.argumentsCount()
         if (typeArgumentsCount > 0) {
             for (position in 0 until typeArgumentsCount) {
-                val argument = type.getArgument(position)
-                val parameter = type.typeConstructor().getParameter(position)
+                val argument = unwrappedType.getArgument(position)
+                val parameter = unwrappedType.typeConstructor().getParameter(position)
 
                 if (argument.isStarProjection())
                     continue