[NI] Look for type variables in captured flexible types

#KT-32434 Fixed

compiler/resolution/src/org/jetbrains/kotlin/resolve/calls/inference/components/AbstractTypeCheckerContextForConstraintSystem.kt

@@ -90,7 +90,7 @@ abstract class AbstractTypeCheckerContextForConstraintSystem : AbstractTypeCheck
         val projection = typeMarker.typeConstructorProjection()
         if (projection.isStarProjection()) return null
         if (projection.getVariance() == TypeVariance.IN) {
-            val type = projection.getType().asSimpleType() ?: return null
+            val type = projection.getType().let { it.asSimpleType() ?: it.asFlexibleType()?.lowerBound() } ?: return null
             if (isMyTypeVariable(type)) {
                 simplifyLowerConstraint(type, superType)
                 if (isMyTypeVariable(superType.asSimpleType() ?: return null)) {
@@ -100,10 +100,14 @@ abstract class AbstractTypeCheckerContextForConstraintSystem : AbstractTypeCheck
             return null
         }
 
-        return if (projection.getVariance() == TypeVariance.OUT)
-            projection.getType().takeIf { it is SimpleTypeMarker && isMyTypeVariable(it) }?.asSimpleType()
-        else
-            null
+        return if (projection.getVariance() == TypeVariance.OUT) {
+            val type = projection.getType()
+            when {
+                type is SimpleTypeMarker && isMyTypeVariable(type) -> type.asSimpleType()
+                type is FlexibleTypeMarker && isMyTypeVariable(type.lowerBound()) -> type.asFlexibleType()?.lowerBound()
+                else -> null
+            }
+        } else null
     }
 
     /**