Convert lambda to reference: add type parameter to outer call expression if needed

#KT-37744 Fixed

idea/testData/intentions/convertLambdaToReference/typeInferenceFromLambdaParameters.kt

@@ -0,0 +1,8 @@
+fun overloadFun(p: Int, q: Long) {}
+fun overloadFun(p: String, q: Long) {}
+
+fun <T, U> foo(fn: (T, U) -> Unit) {}
+
+fun test() {
+    foo {<caret> x: String, y: Long -> overloadFun(x, y) }
+}

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

@@ -0,0 +1,8 @@
+fun overloadFun(p: Int, q: Long) {}
+fun overloadFun(p: String, q: Long) {}
+
+fun <T, U> foo(fn: (T, U) -> Unit) {}
+
+fun test() {
+    foo<String, Long>(::overloadFun)
+}

idea/testData/intentions/convertLambdaToReference/typeInferenceFromLambdaParameters2.kt

@@ -0,0 +1,8 @@
+fun overloadFun(p: Int, q: Long) {}
+fun overloadFun(p: String, q: Long) {}
+
+fun <T, U> foo(fn: (T, U) -> Unit) {}
+
+fun test() {
+    foo({<caret> x: String, y: Long -> overloadFun(x, y) })
+}

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

@@ -0,0 +1,8 @@
+fun overloadFun(p: Int, q: Long) {}
+fun overloadFun(p: String, q: Long) {}
+
+fun <T, U> foo(fn: (T, U) -> Unit) {}
+
+fun test() {
+    foo<String, Long>(::overloadFun)
+}

idea/testData/intentions/convertLambdaToReference/typeInferenceFromLambdaParameters3.kt

@@ -0,0 +1,12 @@
+fun overloadFun(p: Int, q: Long) {}
+fun overloadFun(p: String, q: Long) {}
+
+fun interface Action<T, U> {
+    fun bar(t: T, u: U)
+}
+
+fun <T, U> foo(a: Action<T, U>) {}
+
+fun test() {
+    foo {<caret> x: String, y: Long -> overloadFun(x, y) }
+}

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

@@ -0,0 +1,12 @@
+fun overloadFun(p: Int, q: Long) {}
+fun overloadFun(p: String, q: Long) {}
+
+fun interface Action<T, U> {
+    fun bar(t: T, u: U)
+}
+
+fun <T, U> foo(a: Action<T, U>) {}
+
+fun test() {
+    foo<String, Long>(::overloadFun)
+}

idea/testData/intentions/convertLambdaToReference/typeInferenceFromLambdaParameters4.kt

@@ -0,0 +1,7 @@
+fun overloadFun(p: Int, q: Long) {}
+
+fun <T, U> foo(fn: (T, U) -> Unit) {}
+
+fun test() {
+    foo {<caret> x: Int, y: Long -> overloadFun(x, y) }
+}

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

@@ -0,0 +1,7 @@
+fun overloadFun(p: Int, q: Long) {}
+
+fun <T, U> foo(fn: (T, U) -> Unit) {}
+
+fun test() {
+    foo(::overloadFun)
+}

idea/testData/intentions/convertLambdaToReference/typeInferenceFromLambdaParameters5.kt

@@ -0,0 +1,8 @@
+fun overloadFun(p: Int, q: Long) {}
+fun overloadFun(p: Int) {}
+
+fun <T, U> foo(fn: (T, U) -> Unit) {}
+
+fun test() {
+    foo {<caret> x: Int, y: Long -> overloadFun(x, y) }
+}

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

@@ -0,0 +1,8 @@
+fun overloadFun(p: Int, q: Long) {}
+fun overloadFun(p: Int) {}
+
+fun <T, U> foo(fn: (T, U) -> Unit) {}
+
+fun test() {
+    foo(::overloadFun)
+}

idea/testData/intentions/convertLambdaToReference/typeInferenceFromLambdaParameters6.kt

@@ -0,0 +1,8 @@
+fun overloadFun(p: Int) {}
+fun overloadFun(p: String) {}
+
+fun <T> ambiguityFun(vararg fn: (T) -> Unit) {}
+
+fun overloadContext() {
+    ambiguityFun({<caret> x: String -> overloadFun(x) }, ::overloadFun)
+}

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

@@ -0,0 +1,8 @@
+fun overloadFun(p: Int) {}
+fun overloadFun(p: String) {}
+
+fun <T> ambiguityFun(vararg fn: (T) -> Unit) {}
+
+fun overloadContext() {
+    ambiguityFun<String>(::overloadFun, ::overloadFun)
+}