Convert lambda to reference: flexible receiver types are handled correctly #KT-13411 Fixed

(cherry picked from commit ecad1c3)

idea/src/org/jetbrains/kotlin/idea/intentions/ConvertLambdaToReferenceIntention.kt

@@ -26,6 +26,7 @@ import org.jetbrains.kotlin.idea.caches.resolve.analyze
 import org.jetbrains.kotlin.idea.caches.resolve.getResolutionFacade
 import org.jetbrains.kotlin.idea.core.isVisible
 import org.jetbrains.kotlin.idea.inspections.IntentionBasedInspection
+import org.jetbrains.kotlin.idea.util.approximateFlexibleTypes
 import org.jetbrains.kotlin.psi.*
 import org.jetbrains.kotlin.psi.psiUtil.endOffset
 import org.jetbrains.kotlin.psi.psiUtil.getStartOffsetIn
@@ -115,7 +116,7 @@ class ConvertLambdaToReferenceIntention : SelfTargetingOffsetIndependentIntentio
                 val receiverType = callReceiverDescriptor.type
                 // No exotic receiver types
                 if (receiverType.isTypeParameter() || receiverType.isError || receiverType.isDynamic() ||
-                    receiverType.isFlexibleRecursive() || !receiverType.constructor.isDenotable || receiverType.isFunctionType) return false
+                    !receiverType.constructor.isDenotable || receiverType.isFunctionType) return false
                 val receiverDeclarationDescriptor = receiverType.constructor.declarationDescriptor
                 if (receiverDeclarationDescriptor is ClassDescriptor) {
                     // No references to object members
@@ -224,7 +225,8 @@ class ConvertLambdaToReferenceIntention : SelfTargetingOffsetIndependentIntentio
                     val receiver = expression.receiverExpression as? KtNameReferenceExpression ?: return null
                     val context = receiver.analyze()
                     val receiverDescriptor = context[REFERENCE_TARGET, receiver] as? ParameterDescriptor ?: return null
-                    val receiverType = receiverDescriptor.type
+                    val originalReceiverType = receiverDescriptor.type
+                    val receiverType = originalReceiverType.approximateFlexibleTypes()
                     "$receiverType::$selectorReferenceName"
                 }
                 else -> null

idea/testData/intentions/convertLambdaToReference/typeFromJava.1.java

@@ -0,0 +1,5 @@
+import java.util.List;
+
+class B {
+    public static List<Object> text;
+}

idea/testData/intentions/convertLambdaToReference/typeFromJava.1.java.after

@@ -0,0 +1,5 @@
+import java.util.List;
+
+class B {
+    public static List<Object> text;
+}

idea/testData/intentions/convertLambdaToReference/typeFromJava.kt

@@ -0,0 +1,6 @@
+// WITH_RUNTIME
+// See KT-13411
+
+fun use() {
+    B.text.map { <caret>it.toString() }
+}

idea/testData/intentions/convertLambdaToReference/typeFromJava.kt.after

@@ -0,0 +1,6 @@
+// WITH_RUNTIME
+// See KT-13411
+
+fun use() {
+    B.text.map(Any?::toString)
+}

idea/testData/intentions/convertLambdaToReference/typeFromJavaFlexibleRecursive.1.java

@@ -0,0 +1,5 @@
+import java.util.List;
+
+class B {
+    public static List<List<Object>> text;
+}

idea/testData/intentions/convertLambdaToReference/typeFromJavaFlexibleRecursive.1.java.after

@@ -0,0 +1,5 @@
+import java.util.List;
+
+class B {
+    public static List<List<Object>> text;
+}

idea/testData/intentions/convertLambdaToReference/typeFromJavaFlexibleRecursive.kt

@@ -0,0 +1,7 @@
+// WITH_RUNTIME
+// See KT-13411
+
+fun use() {
+    val text = B.text
+    text.map { <caret>it.toString() }
+}

idea/testData/intentions/convertLambdaToReference/typeFromJavaFlexibleRecursive.kt.after

@@ -0,0 +1,7 @@
+// WITH_RUNTIME
+// See KT-13411
+
+fun use() {
+    val text = B.text
+    text.map(MutableList<Any>?::toString)
+}

idea/tests/org/jetbrains/kotlin/idea/intentions/IntentionTestGenerated.java

@@ -4051,6 +4051,18 @@ public class IntentionTestGenerated extends AbstractIntentionTest {
             doTest(fileName);
         }
 
+        @TestMetadata("typeFromJava.kt")
+        public void testTypeFromJava() throws Exception {
+            String fileName = KotlinTestUtils.navigationMetadata("idea/testData/intentions/convertLambdaToReference/typeFromJava.kt");
+            doTest(fileName);
+        }
+
+        @TestMetadata("typeFromJavaFlexibleRecursive.kt")
+        public void testTypeFromJavaFlexibleRecursive() throws Exception {
+            String fileName = KotlinTestUtils.navigationMetadata("idea/testData/intentions/convertLambdaToReference/typeFromJavaFlexibleRecursive.kt");
+            doTest(fileName);
+        }
+
         @TestMetadata("unit.kt")
         public void testUnit() throws Exception {
             String fileName = KotlinTestUtils.navigationMetadata("idea/testData/intentions/convertLambdaToReference/unit.kt");