Extension functions & inference.

compiler/testData/diagnostics/tests/coroutines/suspendFunctionType/inference3.kt

@@ -0,0 +1,7 @@
+// !DIAGNOSTICS: -UNUSED_PARAMETER
+
+fun <T> withS(x: T, sfn: suspend T.() -> Unit) = x
+
+val test1 = withS(100) {}
+
+fun <TT> test2(x: TT) = withS(x) {}

compiler/testData/diagnostics/tests/coroutines/suspendFunctionType/inference3.txt

@@ -0,0 +1,5 @@
+package
+
+public val test1: kotlin.Int
+public fun </*0*/ TT> test2(/*0*/ x: TT): TT
+public fun </*0*/ T> withS(/*0*/ x: T, /*1*/ sfn: suspend T.() -> kotlin.Unit): T

compiler/testData/diagnostics/tests/coroutines/suspendFunctionType/inference4.kt

@@ -0,0 +1,5 @@
+// !DIAGNOSTICS: -UNUSED_PARAMETER
+
+fun <T1, T2> withS2(x: T1, sfn1: suspend T1.() -> T2, sfn2: suspend T2.() -> Unit): T2 = null!!
+
+val test1 = withS2(100, { toLong().toString() }, { length })

compiler/testData/diagnostics/tests/coroutines/suspendFunctionType/inference4.txt

@@ -0,0 +1,4 @@
+package
+
+public val test1: kotlin.String
+public fun </*0*/ T1, /*1*/ T2> withS2(/*0*/ x: T1, /*1*/ sfn1: suspend T1.() -> T2, /*2*/ sfn2: suspend T2.() -> kotlin.Unit): T2