[Spec tests] Add tests for section call-with-trailing-lambda-expressions

compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-an-explicit-receiver/p-6/pos/2.3.kt

@@ -10,13 +10,19 @@
  * RELEVANT PLACES: overload-resolution, c-level-partition -> paragraph 1 -> sentence 1
  * overload-resolution, building-the-overload-candidate-set-ocs, call-with-an-explicit-receiver -> paragraph 3 -> sentence 1
  * overload-resolution, building-the-overload-candidate-set-ocs, call-with-an-explicit-receiver -> paragraph 2 -> sentence 1
+ * overload-resolution, building-the-overload-candidate-set-ocs, call-with-trailing-lambda-expressions -> paragraph 1 -> sentence 2
  * NUMBER: 3
  * DESCRIPTION: set of non-extension member callables only
  */
 // TESTCASE NUMBER: 1
 class Case1 {
-    operator fun String.invoke() :String{ return this} //fqName: Case1.invoke; typeCall: function
+    operator fun String.invoke(): String {
-    fun String.foo() : String = this                   //fqName: Case1.foo;    typeCall: function;
+        return this
+    }
+
+    operator fun String?.invoke(x: Any? = null, body: () -> String = { "" }): String = body()
+
+    fun String.foo(): String = this
     fun bar() {
         "".<!DEBUG_INFO_CALL("fqName: Case1.foo; typeCall: extension function")!>foo()<!>
         "".<!DEBUG_INFO_CALL("fqName: Case1.invoke; typeCall: operator extension function")!>invoke()<!>
@@ -27,4 +33,17 @@ class Case1 {
         <!DEBUG_INFO_CALL("fqName: Case1.invoke; typeCall: operator extension function")!>"1".foo()()<!>
         <!DEBUG_INFO_CALL("fqName: Case1.invoke; typeCall: operator extension function")!>"1"()().invoke()()<!>.<!DEBUG_INFO_CALL("fqName: Case1.foo; typeCall: extension function")!>foo()<!>
     }
+
+    fun testTrailingLambda(s: String?){
+        //trailing lambda
+        s.<!DEBUG_INFO_CALL("fqName: Case1.invoke; typeCall: operator extension function")!>invoke { "ss" }<!>
+        s.<!DEBUG_INFO_CALL("fqName: Case1.invoke; typeCall: operator extension function")!>invoke (x= 1) { "ss" }<!>
+        s.<!DEBUG_INFO_CALL("fqName: Case1.invoke; typeCall: operator extension function")!>invoke (body = { "ss" })<!>
+        s.<!DEBUG_INFO_CALL("fqName: Case1.invoke; typeCall: operator extension function")!>invoke (body = { "ss" }, x = '1')<!>
+
+        <!DEBUG_INFO_CALL("fqName: Case1.invoke; typeCall: variable&invoke")!>s (x= 1) { "ss" }<!>
+        <!DEBUG_INFO_CALL("fqName: Case1.invoke; typeCall: variable&invoke")!>s (body = { "ss" })<!>
+        <!DEBUG_INFO_CALL("fqName: Case1.invoke; typeCall: variable&invoke")!>s (body = { "ss" }, x = '1')<!>
+
+    }
 }

compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-an-explicit-receiver/p-6/pos/2.4.kt

@@ -12,6 +12,7 @@
  * overload-resolution, building-the-overload-candidate-set-ocs, call-with-an-explicit-receiver -> paragraph 6 -> sentence 5
  * overload-resolution, building-the-overload-candidate-set-ocs, call-with-an-explicit-receiver -> paragraph 11 -> sentence 1
  * overload-resolution, receivers -> paragraph 5 -> sentence 1
+ * overload-resolution, building-the-overload-candidate-set-ocs, call-with-trailing-lambda-expressions -> paragraph 1 -> sentence 2
  * NUMBER: 4
  * DESCRIPTION: sets of local, explicitly imported, declared in the package scope and star-imported extension callables
  */
@@ -20,6 +21,8 @@
 package libPackage
 
 public fun String?.orEmpty(): String = "my Extension for $this"
+/* a call with trailing lambda expression */
+public fun String?.funWithTrailingLambda( x : Any? = null, body : ()-> String = {""} ): String = body()
 
 // FILE: TestCase1.kt
 
@@ -27,14 +30,24 @@ package sentence3
 
 import libPackage.*
 import libPackage.orEmpty
+import libPackage.funWithTrailingLambda
 
 private fun String?.orEmpty(): String = "my top-level (pack scope) Extension for $this"
+/* a call with trailing lambda expression */
+private fun String?.funWithTrailingLambda( x : Any? = null, body : ()-> String = {""} ): String = body()
 
 // TESTCASE NUMBER: 1
 class Case1() {
     fun String?.orEmpty(): String = "my local extension for $this"
+    fun String?.funWithTrailingLambda( x : Any? = null, body : ()-> String = {""} ): String = body()
+
     fun case1(s: String?) {
         s.<!DEBUG_INFO_CALL("fqName: sentence3.Case1.orEmpty; typeCall: extension function")!>orEmpty()<!>
+        //trailing lambda
+        s.<!DEBUG_INFO_CALL("fqName: sentence3.Case1.funWithTrailingLambda; typeCall: extension function")!>funWithTrailingLambda { "ss" }<!>
+        s.<!DEBUG_INFO_CALL("fqName: sentence3.Case1.funWithTrailingLambda; typeCall: extension function")!>funWithTrailingLambda (x= 1) { "ss" }<!>
+        s.<!DEBUG_INFO_CALL("fqName: sentence3.Case1.funWithTrailingLambda; typeCall: extension function")!>funWithTrailingLambda (body = { "ss" })<!>
+        s.<!DEBUG_INFO_CALL("fqName: sentence3.Case1.funWithTrailingLambda; typeCall: extension function")!>funWithTrailingLambda (body = { "ss" }, x = '1')<!>
     }
 }
 
@@ -44,28 +57,64 @@ import libPackage.*
 //import libPackage.orEmpty
 
 private fun String?.orEmpty(): String = "my top-level (pack scope) Extension for $this"
+private fun String?.funWithTrailingLambda( x : Any? = null, body : ()-> String = {""} ): String = body()
 
 // TESTCASE NUMBER: 2
 class Case2() {
     fun String?.orEmpty(): String = "my local extension for $this"
+    fun String?.funWithTrailingLambda( x : Any? = null, body : ()-> String = {""} ): String = body()
+
     fun case2(s: String?) {
         s.<!DEBUG_INFO_CALL("fqName: sentence3.Case2.orEmpty; typeCall: extension function")!>orEmpty()<!>
+
+        //trailing lambda
+        s.<!DEBUG_INFO_CALL("fqName: sentence3.Case2.funWithTrailingLambda; typeCall: extension function")!>funWithTrailingLambda { "ss" }<!>
+        s.<!DEBUG_INFO_CALL("fqName: sentence3.Case2.funWithTrailingLambda; typeCall: extension function")!>funWithTrailingLambda (x= 1) { "ss" }<!>
+        s.<!DEBUG_INFO_CALL("fqName: sentence3.Case2.funWithTrailingLambda; typeCall: extension function")!>funWithTrailingLambda (body = { "ss" })<!>
+        s.<!DEBUG_INFO_CALL("fqName: sentence3.Case2.funWithTrailingLambda; typeCall: extension function")!>funWithTrailingLambda (body = { "ss" }, x = '1')<!>
     }
 }
 
 // TESTCASE NUMBER: 3
 class Case3() {
     fun String?.orEmpty(): String = "my local extension for $this"
+    fun String?.funWithTrailingLambda( x : Any? = null, body : ()-> String = {""} ): String = body()
+
     fun case3(s: String?) {
         s.<!DEBUG_INFO_CALL("fqName: sentence3.Case3.orEmpty; typeCall: extension function")!>orEmpty()<!>
+        //trailing lambda
+        s.<!DEBUG_INFO_CALL("fqName: sentence3.Case3.funWithTrailingLambda; typeCall: extension function")!>funWithTrailingLambda { "ss" }<!>
+        s.<!DEBUG_INFO_CALL("fqName: sentence3.Case3.funWithTrailingLambda; typeCall: extension function")!>funWithTrailingLambda (x= 1) { "ss" }<!>
+        s.<!DEBUG_INFO_CALL("fqName: sentence3.Case3.funWithTrailingLambda; typeCall: extension function")!>funWithTrailingLambda (body = { "ss" })<!>
+        s.<!DEBUG_INFO_CALL("fqName: sentence3.Case3.funWithTrailingLambda; typeCall: extension function")!>funWithTrailingLambda (body = { "ss" }, x = '1')<!>
+
         fun innerFirst(s: String?){
             fun String?.orEmpty(): String = "my local inner extension for $this"
+            fun String?.funWithTrailingLambda( x : Any? = null, body : ()-> String = {""} ): String = body()
+
             <!DEBUG_INFO_CALL("fqName: sentence3.Case3.case3.innerFirst.s; typeCall: typeCall is unknown")!>s<!>?.<!DEBUG_INFO_CALL("fqName: sentence3.Case3.case3.innerFirst.orEmpty; typeCall: extension function")!>orEmpty()<!>
+            //trailing lambda
+            s.<!DEBUG_INFO_CALL("fqName: sentence3.Case3.case3.innerFirst.funWithTrailingLambda; typeCall: extension function")!>funWithTrailingLambda { "ss" }<!>
+            s.<!DEBUG_INFO_CALL("fqName: sentence3.Case3.case3.innerFirst.funWithTrailingLambda; typeCall: extension function")!>funWithTrailingLambda (x= 1) { "ss" }<!>
+            s.<!DEBUG_INFO_CALL("fqName: sentence3.Case3.case3.innerFirst.funWithTrailingLambda; typeCall: extension function")!>funWithTrailingLambda (body = { "ss" })<!>
+            s.<!DEBUG_INFO_CALL("fqName: sentence3.Case3.case3.innerFirst.funWithTrailingLambda; typeCall: extension function")!>funWithTrailingLambda (body = { "ss" }, x = '1')<!>
         }
         fun innerSecond(){
             fun String?.orEmpty(): String = "my local inner extension for $this"
+            fun String?.funWithTrailingLambda( x : Any? = null, body : ()-> String = {""} ): String = body()
+
             s.<!DEBUG_INFO_CALL("fqName: sentence3.Case3.case3.innerSecond.orEmpty; typeCall: extension function")!>orEmpty()<!>
+            //trailing lambda
+            s.<!DEBUG_INFO_CALL("fqName: sentence3.Case3.case3.innerSecond.funWithTrailingLambda; typeCall: extension function")!>funWithTrailingLambda { "ss" }<!>
+            s.<!DEBUG_INFO_CALL("fqName: sentence3.Case3.case3.innerSecond.funWithTrailingLambda; typeCall: extension function")!>funWithTrailingLambda (x= 1) { "ss" }<!>
+            s.<!DEBUG_INFO_CALL("fqName: sentence3.Case3.case3.innerSecond.funWithTrailingLambda; typeCall: extension function")!>funWithTrailingLambda (body = { "ss" })<!>
+            s.<!DEBUG_INFO_CALL("fqName: sentence3.Case3.case3.innerSecond.funWithTrailingLambda; typeCall: extension function")!>funWithTrailingLambda (body = { "ss" }, x = '1')<!>
         }
         s.<!DEBUG_INFO_CALL("fqName: sentence3.Case3.orEmpty; typeCall: extension function")!>orEmpty()<!>
+        //trailing lambda
+        s.<!DEBUG_INFO_CALL("fqName: sentence3.Case3.funWithTrailingLambda; typeCall: extension function")!>funWithTrailingLambda { "ss" }<!>
+        s.<!DEBUG_INFO_CALL("fqName: sentence3.Case3.funWithTrailingLambda; typeCall: extension function")!>funWithTrailingLambda (x= 1) { "ss" }<!>
+        s.<!DEBUG_INFO_CALL("fqName: sentence3.Case3.funWithTrailingLambda; typeCall: extension function")!>funWithTrailingLambda (body = { "ss" })<!>
+        s.<!DEBUG_INFO_CALL("fqName: sentence3.Case3.funWithTrailingLambda; typeCall: extension function")!>funWithTrailingLambda (body = { "ss" }, x = '1')<!>
     }
 }

compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-an-explicit-receiver/p-6/pos/3.1.kt

@@ -10,6 +10,7 @@
  * RELEVANT PLACES: overload-resolution, building-the-overload-candidate-set-ocs, call-with-an-explicit-receiver -> paragraph 6 -> sentence 4
  * overload-resolution, building-the-overload-candidate-set-ocs, call-with-an-explicit-receiver -> paragraph 6 -> sentence 5
  * overload-resolution, building-the-overload-candidate-set-ocs, call-with-an-explicit-receiver -> paragraph 11 -> sentence 1
+ * overload-resolution, building-the-overload-candidate-set-ocs, call-with-trailing-lambda-expressions -> paragraph 1 -> sentence 2
  * NUMBER: 1
  * DESCRIPTION: sets of explicitly imported, declared in the package scope and star-imported extension callables
  */
@@ -18,18 +19,28 @@
 package libPackage
 
 public fun String?.orEmpty(): String = "my Extension for $this"
+/* a call with trailing lambda expression */
+public fun String?.funWithTrailingLambda( x : Any? = null, body : ()-> String = {""} ): String = body()
 
 // FILE: TestCase1.kt
 package sentence3
 
 import libPackage.*
 import libPackage.orEmpty
+import libPackage.funWithTrailingLambda
 
 
 private fun String?.orEmpty(): String = "my top level extension for $this"
+/* a call with trailing lambda expression */
+public fun String?.funWithTrailingLambda( x : Any? = null, body : ()-> String = {""} ): String = body()
 
 // TESTCASE NUMBER: 1
 fun case1(s: String?) {
     s.<!DEBUG_INFO_CALL("fqName: libPackage.orEmpty; typeCall: extension function")!>orEmpty()<!>
+
+    s.<!DEBUG_INFO_CALL("fqName: libPackage.funWithTrailingLambda; typeCall: extension function")!>funWithTrailingLambda { "ss" }<!>
+    s.<!DEBUG_INFO_CALL("fqName: libPackage.funWithTrailingLambda; typeCall: extension function")!>funWithTrailingLambda (x= 1) { "ss" }<!>
+    s.<!DEBUG_INFO_CALL("fqName: libPackage.funWithTrailingLambda; typeCall: extension function")!>funWithTrailingLambda (body = { "ss" })<!>
+    s.<!DEBUG_INFO_CALL("fqName: libPackage.funWithTrailingLambda; typeCall: extension function")!>funWithTrailingLambda (body = { "ss" }, x = '1')<!>
 }
 

compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-an-explicit-receiver/p-6/pos/4.2.kt

@@ -9,6 +9,7 @@
  * PLACE: overload-resolution, building-the-overload-candidate-set-ocs, call-with-an-explicit-receiver -> paragraph 6 -> sentence 4
  * RELEVANT PLACES: overload-resolution, building-the-overload-candidate-set-ocs, call-with-an-explicit-receiver -> paragraph 6 -> sentence 5
  * overload-resolution, building-the-overload-candidate-set-ocs, call-with-an-explicit-receiver -> paragraph 11 -> sentence 1
+ * overload-resolution, building-the-overload-candidate-set-ocs, call-with-trailing-lambda-expressions -> paragraph 1 -> sentence 2
  * NUMBER: 2
  * DESCRIPTION: sets of declared in the package scope and star-imported extension callables
  */
@@ -17,6 +18,8 @@
 package libPackage
 
 public fun String?.orEmpty(): String = "my Extension for $this"
+/* a call with trailing lambda expression */
+public fun String?.funWithTrailingLambda( x : Any? = null, body : ()-> String = {""} ): String = body()
 
 // FILE: TestCase2.kt
 package sentence3
@@ -25,9 +28,16 @@ import libPackage.*
 //import libPackage.orEmpty
 
 private fun String?.orEmpty(): String = "my top level extension for $this"
+/* a call with trailing lambda expression */
+private fun String?.funWithTrailingLambda( x : Any? = null, body : ()-> String = {""} ): String = body()
 
 // TESTCASE NUMBER: 1
 fun case2(s: String?) {
     s.<!DEBUG_INFO_CALL("fqName: sentence3.orEmpty; typeCall: extension function")!>orEmpty()<!>
+    //trailing lambda
+    s.<!DEBUG_INFO_CALL("fqName: sentence3.funWithTrailingLambda; typeCall: extension function")!>funWithTrailingLambda { "ss" }<!>
+    s.<!DEBUG_INFO_CALL("fqName: sentence3.funWithTrailingLambda; typeCall: extension function")!>funWithTrailingLambda (x= 1) { "ss" }<!>
+    s.<!DEBUG_INFO_CALL("fqName: sentence3.funWithTrailingLambda; typeCall: extension function")!>funWithTrailingLambda (body = { "ss" })<!>
+    s.<!DEBUG_INFO_CALL("fqName: sentence3.funWithTrailingLambda; typeCall: extension function")!>funWithTrailingLambda (body = { "ss" }, x = '1')<!>
 }
 

compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-an-explicit-receiver/p-6/pos/5.1.kt

@@ -8,6 +8,7 @@
  * SPEC VERSION: 0.1-268
  * PLACE: overload-resolution, building-the-overload-candidate-set-ocs, call-with-an-explicit-receiver -> paragraph 6 -> sentence 5
  * RELEVANT PLACES: overload-resolution, building-the-overload-candidate-set-ocs, call-with-an-explicit-receiver -> paragraph 11 -> sentence 1
+ * overload-resolution, building-the-overload-candidate-set-ocs, call-with-trailing-lambda-expressions -> paragraph 1 -> sentence 2
  * NUMBER: 1
  * DESCRIPTION: set of star-imported extension callables
  */
@@ -16,6 +17,8 @@
 package libPackage
 
 public fun String?.orEmpty(): String = "my Extension for $this"
+/* a call with trailing lambda expression */
+public fun String?.funWithTrailingLambda( x : Any? = null, body : ()-> String = {""} ): String = body()
 
 // FILE: TestCase2.kt
 package sentence3
@@ -25,4 +28,10 @@ import libPackage.*
 // TESTCASE NUMBER: 1
 fun case2(s: String?) {
     s.<!DEBUG_INFO_CALL("fqName: libPackage.orEmpty; typeCall: extension function")!>orEmpty()<!>
-}
+    s.<!DEBUG_INFO_CALL("fqName: libPackage.orEmpty; typeCall: extension function")!>orEmpty()<!>
+    //trailing lambda
+    s.<!DEBUG_INFO_CALL("fqName: libPackage.funWithTrailingLambda; typeCall: extension function")!>funWithTrailingLambda { "ss" }<!>
+    s.<!DEBUG_INFO_CALL("fqName: libPackage.funWithTrailingLambda; typeCall: extension function")!>funWithTrailingLambda (x= 1) { "ss" }<!>
+    s.<!DEBUG_INFO_CALL("fqName: libPackage.funWithTrailingLambda; typeCall: extension function")!>funWithTrailingLambda (body = { "ss" })<!>
+    s.<!DEBUG_INFO_CALL("fqName: libPackage.funWithTrailingLambda; typeCall: extension function")!>funWithTrailingLambda (body = { "ss" }, x = '1')<!>
+}

compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-named-parameters/testsMap.json

@@ -1,109 +1,112 @@
 {
-  "1": {
-    "pos": {
-      "2": [
-        {
-          "specVersion": "0.1-280",
-          "casesNumber": 3,
-          "description": "Explicit receiver:  Top-level non-extension functions: Callables star-imported into the current file;",
-          "unexpectedBehaviour": false
-        },
-        {
-          "specVersion": "0.1-280",
-          "casesNumber": 5,
-          "description": "Implicit receiver: sets of non-extension member callables, local, explicitly imported, declared in the package scope and star-imported extension callables",
-          "unexpectedBehaviour": true
-        },
-        {
-          "specVersion": "0.1-280",
-          "casesNumber": 3,
-          "description": "Explicit receiver: The overload candidate sets for each pair of implicit receivers: Explicitly imported extension callables",
-          "unexpectedBehaviour": false
-        },
-        {
-          "specVersion": "0.1-280",
-          "casesNumber": 1,
-          "description": "Implicit receiver: set of star-imported extension callables",
-          "unexpectedBehaviour": false
-        },
-        {
-          "specVersion": "0.1-280",
-          "casesNumber": 3,
-          "description": "Explicit receiver: The overload candidate sets for each pair of implicit receivers: declared in the package scope extension callables",
-          "unexpectedBehaviour": false
-        },
-        {
-          "specVersion": "0.1-280",
-          "casesNumber": 1,
-          "description": "Implicit receiver: sets of declared in the package scope and star-imported extension callables",
-          "unexpectedBehaviour": false
-        },
-        {
-          "specVersion": "0.1-280",
-          "casesNumber": 2,
-          "description": "Explicit receiver:  Top-level non-extension functions: Implicitly imported callables",
-          "unexpectedBehaviour": false
-        },
-        {
-          "specVersion": "0.1-280",
-          "casesNumber": 3,
-          "description": "Explicit receiver:  Top-level non-extension functions: Callables declared in the same package",
-          "unexpectedBehaviour": false
-        },
-        {
-          "specVersion": "0.1-280",
-          "casesNumber": 3,
-          "description": "Explicit receiver:  Top-level non-extension functions: Callables explicitly imported into the current file",
-          "unexpectedBehaviour": false
-        },
-        {
-          "specVersion": "0.1-280",
-          "casesNumber": 3,
-          "description": "Explicit receiver: The overload candidate sets for each pair of implicit receivers: Implicitly imported extension callables",
-          "unexpectedBehaviour": false
-        },
-        {
-          "specVersion": "0.1-280",
-          "casesNumber": 1,
-          "description": "Implicit receiver: set of implicitly-imported extension callables",
-          "unexpectedBehaviour": false
-        },
-        {
-          "specVersion": "0.1-280",
-          "casesNumber": 3,
-          "description": "Explicit receiver:  The overload candidate sets for each pair of implicit receivers: Local extension callables",
-          "unexpectedBehaviour": false
-        },
-        {
-          "specVersion": "0.1-280",
-          "casesNumber": 1,
-          "description": "Implicit receiver: sets of explicitly imported, declared in the package scope and star-imported extension callables",
-          "unexpectedBehaviour": false
-        },
-        {
-          "specVersion": "0.1-280",
-          "casesNumber": 3,
-          "description": "Explicit receiver: The overload candidate sets for each pair of implicit receivers: Local extension callables",
-          "unexpectedBehaviour": true
-        },
-        {
-          "specVersion": "0.1-280",
-          "casesNumber": 3,
-          "description": "Implicit receiver: sets of local, explicitly imported, declared in the package scope and star-imported extension callables",
-          "unexpectedBehaviour": false
-        },
-        {
-          "specVersion": "0.1-280",
-          "casesNumber": 1,
-          "description": "Implicit receiver: set of implicitly-imported extension callables",
-          "unexpectedBehaviour": false
-        }
-      ]
-    }
-  },
   "2": {
     "pos": {
       "1": [
+        {
+          "specVersion": "0.1-300",
+          "casesNumber": 3,
+          "description": "call-with-trailing-lambda-expressions,Explicit receiver:  Top-level non-extension functions: Callables star-imported into the current file;",
+          "path": "compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.10.kt",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-300",
+          "casesNumber": 3,
+          "description": "call-with-trailing-lambda-expressions,Explicit receiver: The overload candidate sets for each pair of implicit receivers: Explicitly imported extension callables",
+          "path": "compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.14.kt",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-300",
+          "casesNumber": 1,
+          "description": "call-with-trailing-lambda-expressions,Implicit receiver: set of star-imported extension callables",
+          "path": "compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.5.kt",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-300",
+          "casesNumber": 3,
+          "description": "call-with-trailing-lambda-expressions,Explicit receiver: The overload candidate sets for each pair of implicit receivers: declared in the package scope extension callables",
+          "path": "compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.15.kt",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-300",
+          "casesNumber": 1,
+          "description": "call-with-trailing-lambda-expressions,Implicit receiver: sets of declared in the package scope and star-imported extension callables",
+          "path": "compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.4.kt",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-300",
+          "casesNumber": 2,
+          "description": "call-with-trailing-lambda-expressions,Explicit receiver:  Top-level non-extension functions: Implicitly imported callables",
+          "path": "compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.11.kt",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-300",
+          "casesNumber": 3,
+          "description": "call-with-trailing-lambda-expressions,Explicit receiver:  Top-level non-extension functions: Callables declared in the same package",
+          "path": "compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.9.kt",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-300",
+          "casesNumber": 3,
+          "description": "call-with-trailing-lambda-expressions,Explicit receiver:  Top-level non-extension functions: Callables explicitly imported into the current file",
+          "path": "compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.8.kt",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-300",
+          "casesNumber": 3,
+          "description": "call-with-trailing-lambda-expressions,Explicit receiver: The overload candidate sets for each pair of implicit receivers: Implicitly imported extension callables",
+          "path": "compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.16.kt",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-300",
+          "casesNumber": 1,
+          "description": "call-with-trailing-lambda-expressions,Implicit receiver: set of implicitly-imported extension callables",
+          "path": "compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.7.kt",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-300",
+          "casesNumber": 3,
+          "description": "call-with-trailing-lambda-expressions,Explicit receiver:  The overload candidate sets for each pair of implicit receivers: Local extension callables",
+          "path": "compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.12.kt",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-300",
+          "casesNumber": 1,
+          "description": "call-with-trailing-lambda-expressions,Implicit receiver: sets of explicitly imported, declared in the package scope and star-imported extension callables",
+          "path": "compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.3.kt",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-300",
+          "casesNumber": 3,
+          "description": "call-with-trailing-lambda-expressions,Explicit receiver: The overload candidate sets for each pair of implicit receivers: Local extension callables",
+          "path": "compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.13.kt",
+          "unexpectedBehaviour": true
+        },
+        {
+          "specVersion": "0.1-300",
+          "casesNumber": 3,
+          "description": "call-with-trailing-lambda-expressions,Implicit receiver: sets of local, explicitly imported, declared in the package scope and star-imported extension callables",
+          "path": "compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.2.kt",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-300",
+          "casesNumber": 1,
+          "description": "call-with-trailing-lambda-expressions,Implicit receiver: set of implicitly-imported extension callables",
+          "path": "compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.6.kt",
+          "unexpectedBehaviour": false
+        },
         {
           "specVersion": "0.1-280",
           "casesNumber": 3,
@@ -215,6 +218,13 @@
   "3": {
     "pos": {
       "1": [
+        {
+          "specVersion": "0.1-300",
+          "casesNumber": 5,
+          "description": "call-with-trailing-lambda-expressions,Implicit receiver: sets of non-extension member callables, local, explicitly imported, declared in the package scope and star-imported extension callables",
+          "path": "compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.1.kt",
+          "unexpectedBehaviour": true
+        },
         {
           "specVersion": "0.1-280",
           "casesNumber": 5,
@@ -224,5 +234,107 @@
         }
       ]
     }
+  },
+  "1": {
+    "pos": {
+      "2": [
+        {
+          "specVersion": "0.1-280",
+          "casesNumber": 3,
+          "description": "Explicit receiver:  Top-level non-extension functions: Callables star-imported into the current file;",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-280",
+          "casesNumber": 5,
+          "description": "Implicit receiver: sets of non-extension member callables, local, explicitly imported, declared in the package scope and star-imported extension callables",
+          "unexpectedBehaviour": true
+        },
+        {
+          "specVersion": "0.1-280",
+          "casesNumber": 3,
+          "description": "Explicit receiver: The overload candidate sets for each pair of implicit receivers: Explicitly imported extension callables",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-280",
+          "casesNumber": 1,
+          "description": "Implicit receiver: set of star-imported extension callables",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-280",
+          "casesNumber": 3,
+          "description": "Explicit receiver: The overload candidate sets for each pair of implicit receivers: declared in the package scope extension callables",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-280",
+          "casesNumber": 1,
+          "description": "Implicit receiver: sets of declared in the package scope and star-imported extension callables",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-280",
+          "casesNumber": 2,
+          "description": "Explicit receiver:  Top-level non-extension functions: Implicitly imported callables",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-280",
+          "casesNumber": 3,
+          "description": "Explicit receiver:  Top-level non-extension functions: Callables declared in the same package",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-280",
+          "casesNumber": 3,
+          "description": "Explicit receiver:  Top-level non-extension functions: Callables explicitly imported into the current file",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-280",
+          "casesNumber": 3,
+          "description": "Explicit receiver: The overload candidate sets for each pair of implicit receivers: Implicitly imported extension callables",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-280",
+          "casesNumber": 1,
+          "description": "Implicit receiver: set of implicitly-imported extension callables",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-280",
+          "casesNumber": 3,
+          "description": "Explicit receiver:  The overload candidate sets for each pair of implicit receivers: Local extension callables",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-280",
+          "casesNumber": 1,
+          "description": "Implicit receiver: sets of explicitly imported, declared in the package scope and star-imported extension callables",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-280",
+          "casesNumber": 3,
+          "description": "Explicit receiver: The overload candidate sets for each pair of implicit receivers: Local extension callables",
+          "unexpectedBehaviour": true
+        },
+        {
+          "specVersion": "0.1-280",
+          "casesNumber": 3,
+          "description": "Implicit receiver: sets of local, explicitly imported, declared in the package scope and star-imported extension callables",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-280",
+          "casesNumber": 1,
+          "description": "Implicit receiver: set of implicitly-imported extension callables",
+          "unexpectedBehaviour": false
+        }
+      ]
+    }
   }
 }

compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.1.kt

@@ -0,0 +1,95 @@
+// !LANGUAGE: +NewInference
+// !DIAGNOSTICS: -UNUSED_VARIABLE -UNREACHABLE_CODE -ASSIGNED_BUT_NEVER_ACCESSED_VARIABLE -UNUSED_VALUE -UNUSED_PARAMETER -UNUSED_EXPRESSION -IMPLICIT_NOTHING_RETURN_TYPE
+// SKIP_TXT
+
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
+ *
+ * SPEC VERSION: 0.1-300
+ * PLACE: overload-resolution, building-the-overload-candidate-set-ocs, call-with-trailing-lambda-expressions -> paragraph 1 -> sentence 2
+ * RELEVANT PLACES: overload-resolution, building-the-overload-candidate-set-ocs, call-with-named-parameters -> paragraph 3 -> sentence 1
+ * overload-resolution, building-the-overload-candidate-set-ocs, call-with-named-parameters -> paragraph 2 -> sentence 1
+ * overload-resolution, building-the-overload-candidate-set-ocs, call-with-named-parameters -> paragraph 4 -> sentence 1
+ * NUMBER: 1
+ * DESCRIPTION: call-with-trailing-lambda-expressions,Implicit receiver: sets of non-extension member callables, local, explicitly imported, declared in the package scope and star-imported extension callables
+ */
+
+// TESTCASE NUMBER: 1, 2, 3, 4, 5
+
+// FILE: Marker.kt
+package libPackage
+
+class Marker {
+    fun foo(y: () -> Int) = TODO()
+    val foo: Marker = <!DEBUG_INFO_LEAKING_THIS!>this<!>
+    operator fun invoke(x: () -> Int) = TODO()
+}
+
+// FILE: Tests.kt
+package tests
+import libPackage.Marker
+
+// TESTCASE NUMBER: 1
+
+class Case1() {
+    fun Marker.<!EXTENSION_SHADOWED_BY_MEMBER!>foo<!>(y: ()->Int) = TODO()
+
+    fun test() {
+        Marker().<!DEBUG_INFO_CALL("fqName: libPackage.Marker.foo; typeCall: function")!>foo(y = { 1 })<!>
+        Marker().<!DEBUG_INFO_CALL("fqName: libPackage.Marker.invoke; typeCall: variable&invoke")!>foo(x = { 1 })<!>
+    }
+}
+
+fun case1() {
+    Marker().<!DEBUG_INFO_CALL("fqName: libPackage.Marker.foo; typeCall: function")!>foo(y = { 1 })<!>
+    Marker().<!DEBUG_INFO_CALL("fqName: libPackage.Marker.invoke; typeCall: variable&invoke")!>foo(x = { 1 })<!>
+}
+
+// TESTCASE NUMBER: 2
+class Case2() {
+    fun test() {
+        fun Marker.<!EXTENSION_SHADOWED_BY_MEMBER!>foo<!>(x: ()->Int) = TODO()
+        Marker().<!DEBUG_INFO_CALL("fqName: libPackage.Marker.foo; typeCall: function")!>foo(y = { 1 })<!>
+        Marker().<!DEBUG_INFO_CALL("fqName: libPackage.Marker.invoke; typeCall: variable&invoke")!>foo(x = { 1 })<!>
+    }
+}
+
+fun Marker.<!EXTENSION_SHADOWED_BY_MEMBER!>foo<!>(x: ()->Int) = TODO()
+
+fun case2() {
+    Marker().<!DEBUG_INFO_CALL("fqName: libPackage.Marker.foo; typeCall: function")!>foo(y = { 1 })<!>
+    Marker().<!DEBUG_INFO_CALL("fqName: libPackage.Marker.invoke; typeCall: variable&invoke")!>foo(x = { 1 })<!>
+}
+
+// TESTCASE NUMBER: 3
+fun case3() {
+    fun Marker.<!EXTENSION_SHADOWED_BY_MEMBER!>foo<!>(y: ()->Int) = TODO()
+    Marker().<!DEBUG_INFO_CALL("fqName: libPackage.Marker.foo; typeCall: function")!>foo(y = { 1 })<!>
+    Marker().<!DEBUG_INFO_CALL("fqName: libPackage.Marker.invoke; typeCall: variable&invoke")!>foo(x = { 1 })<!>
+}
+
+/*
+ * TESTCASE NUMBER: 4
+ * UNEXPECTED BEHAVIOUR
+ * ISSUES: KT-37391
+ */
+fun case4(marker: Marker?) {
+    marker?.<!DEBUG_INFO_CALL("fqName: libPackage.Marker.foo; typeCall: function")!>foo(y = { 1 })<!>
+    marker?.<!DEBUG_INFO_CALL("fqName: tests.foo; typeCall: extension function")!>foo(x = { 1 })<!><!OPERATOR_MODIFIER_REQUIRED!>><!><!SYNTAX!><!>
+}
+
+
+/*
+ * TESTCASE NUMBER: 5
+ * UNEXPECTED BEHAVIOUR
+ * ISSUES: KT-37391
+ */
+fun case5(marker: Marker?) {
+    fun bar() {
+        fun Marker.<!EXTENSION_SHADOWED_BY_MEMBER!>foo<!>(y: ()->Int) = TODO()
+        marker?.<!DEBUG_INFO_CALL("fqName: libPackage.Marker.foo; typeCall: function")!>foo(y = { 1 })<!>
+        marker?.<!DEBUG_INFO_CALL("fqName: tests.foo; typeCall: extension function")!>foo(x = { 1 })<!>
+    }
+    marker?.<!DEBUG_INFO_CALL("fqName: libPackage.Marker.foo; typeCall: function")!>foo(y = { 1 })<!>
+    marker?.<!DEBUG_INFO_CALL("fqName: tests.foo; typeCall: extension function")!>foo(x = { 1 })<!>
+}

compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.10.kt

@@ -0,0 +1,72 @@
+// !LANGUAGE: +NewInference
+// !DIAGNOSTICS: -UNUSED_VARIABLE -ASSIGNED_BUT_NEVER_ACCESSED_VARIABLE -UNUSED_VALUE -UNUSED_PARAMETER -UNUSED_EXPRESSION
+// SKIP_TXT
+
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
+ *
+ * SPEC VERSION: 0.1-300
+ * PLACE: overload-resolution, building-the-overload-candidate-set-ocs, call-with-trailing-lambda-expressions -> paragraph 1 -> sentence 2
+ * RELEVANT PLACES: overload-resolution, building-the-overload-candidate-set-ocs, call-with-named-parameters -> paragraph 2 -> sentence 1
+ * NUMBER: 10
+ * DESCRIPTION: call-with-trailing-lambda-expressions,Explicit receiver:  Top-level non-extension functions: Callables star-imported into the current file;
+ */
+
+// FILE: TestCase.kt
+// TESTCASE NUMBER: 1
+package testsCase1
+
+import libPackageCase1.*
+
+fun case1() {
+    <!DEBUG_INFO_CALL("fqName: libPackageCase1.listOf; typeCall: function")!>listOf(elements = arrayOf(1), body = { "" })<!>
+}
+// FILE: Lib.kt
+package libPackageCase1
+
+fun <T> listOf(vararg elements: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+// FILE: TestCase.kt
+// TESTCASE NUMBER: 2
+package testsCase2
+import libPackageCase2.*
+
+fun case2() {
+    <!DEBUG_INFO_CALL("fqName: libPackageCase2.listOf; typeCall: function")!>listOf(elements = arrayOf(1), body = { "" })<!>
+}
+
+
+class A {
+    operator fun <T> invoke(): T = TODO()
+}
+
+// FILE: Lib.kt
+package libPackageCase2
+import testsCase2.*
+
+fun <T> listOf(vararg elements: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+val listOf: A
+    get() = A()
+
+// FILE: TestCase.kt
+// TESTCASE NUMBER: 3
+package testsCase3
+import libPackageCase3.*
+
+fun case3() {
+    <!DEBUG_INFO_CALL("fqName: testsCase3.A.invoke; typeCall: variable&invoke")!>listOf(elements = arrayOf(1), body = { "" })<!>
+}
+
+
+class A {
+    operator fun <T> invoke(vararg elements: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+}
+
+// FILE: Lib.kt
+package libPackageCase3
+import testsCase3.*
+
+private fun <T> listOf(vararg elements: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+val listOf: A
+    get() = A()

compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.11.kt

@@ -0,0 +1,54 @@
+// !LANGUAGE: +NewInference
+// !DIAGNOSTICS: -UNUSED_VARIABLE -ASSIGNED_BUT_NEVER_ACCESSED_VARIABLE -UNUSED_VALUE -UNUSED_PARAMETER -UNUSED_EXPRESSION
+// SKIP_TXT
+
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
+ *
+ * SPEC VERSION: 0.1-300
+ * PLACE:  overload-resolution, building-the-overload-candidate-set-ocs, call-with-trailing-lambda-expressions -> paragraph 1 -> sentence 2
+ * RELEVANT PLACES: overload-resolution, building-the-overload-candidate-set-ocs, call-with-named-parameters -> paragraph 2 -> sentence 1
+ * NUMBER: 11
+ * DESCRIPTION: call-with-trailing-lambda-expressions,Explicit receiver:  Top-level non-extension functions: Implicitly imported callables
+ */
+
+// FILE: TestCase.kt
+// TESTCASE NUMBER: 1
+package testsCase1
+
+import libPackageCase1.* //nothing to import
+
+fun case1() {
+    <!DEBUG_INFO_CALL("fqName: kotlin.run; typeCall: inline function")!>run(block = { "ss" })<!>
+}
+// FILE: Lib.kt
+package libPackageCase1
+
+private fun <R> run(vararg elements: R = TODO(), block: () -> R): R = TODO()
+
+// FILE: TestCase.kt
+// TESTCASE NUMBER: 2
+package testscase2
+
+import libPackagecase2.* //nothing to import
+
+class Case2 {
+
+    fun case2() {
+        <!DEBUG_INFO_CALL("fqName: kotlin.run; typeCall: inline extension function")!>run(block = { "ss" })<!>
+    }
+}
+
+class A {
+    fun <R> run(vararg elements: R = TODO(), block: () -> R): R = TODO()
+}
+
+// FILE: Lib.kt
+package libPackagecase2
+import testscase2.*
+
+private fun <R> run(vararg elements: R = TODO(), block: () -> R): R = TODO()
+
+private val Case2.run: A
+    get() = A()
+

compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.12.kt

@@ -0,0 +1,167 @@
+// !LANGUAGE: +NewInference
+// !DIAGNOSTICS: -UNUSED_VARIABLE -ASSIGNED_BUT_NEVER_ACCESSED_VARIABLE -UNUSED_VALUE -UNUSED_PARAMETER -UNUSED_EXPRESSION -NOTHING_TO_INLINE -EXTENSION_SHADOWED_BY_MEMBER
+// SKIP_TXT
+
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
+ *
+ * SPEC VERSION: 0.1-300
+ * PLACE: overload-resolution, building-the-overload-candidate-set-ocs, call-with-trailing-lambda-expressions -> paragraph 1 -> sentence 2
+ * RELEVANT PLACES: overload-resolution, building-the-overload-candidate-set-ocs, call-with-named-parameters -> paragraph 2 -> sentence 1
+ * NUMBER: 12
+ * DESCRIPTION: call-with-trailing-lambda-expressions,Explicit receiver:  The overload candidate sets for each pair of implicit receivers: Local extension callables
+ */
+
+// FILE: TestCase.kt
+// TESTCASE NUMBER: 1
+package testsCase1
+
+import libPackageCase1.*
+import libPackageCase1Explicit.listOf
+
+class Case1() {
+    fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+    fun case1() {
+        fun <T> Case1.listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+        <!DEBUG_INFO_CALL("fqName: testsCase1.Case1.listOf; typeCall: function")!>listOf(elements1 = arrayOf(1), body = { "" })<!>
+    }
+}
+// FILE: Lib.kt
+package libPackageCase1
+import testsCase1.*
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+fun <T> Case1.listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+// FILE: Lib.kt
+package libPackageCase1Explicit
+import testsCase1.*
+
+fun <T> Case1.listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+// FILE: LibtestsPack.kt
+package testsCase1
+fun <T> Case1.listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+
+// FILE: TestCase.kt
+// TESTCASE NUMBER: 2
+package testsCase2
+import libPackageCase2.*
+import libPackageCase2Explicit.listOf
+
+class Case2() {
+    fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+    val listOf: A
+        get() = A()
+
+    fun case1() {
+        fun <T> Case2.listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+        <!DEBUG_INFO_CALL("fqName: testsCase2.Case2.listOf; typeCall: function")!>listOf(elements1 = arrayOf(1), body = { "" })<!>
+    }
+}
+
+class A {
+    operator fun <T> invoke(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+}
+// FILE: Lib.kt
+package libPackageCase2
+import testsCase2.*
+
+val Case2.listOf: A
+    get() = A()
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+fun <T> Case2.listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+// FILE: Lib.kt
+package libPackageCase2Explicit
+import testsCase2.*
+
+val Case2.listOf: A
+    get() = A()
+
+fun <T> Case2.listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+// FILE: LibtestsPack.kt
+package testsCase2
+val Case2.listOf: A
+    get() = A()
+
+fun <T> Case2.listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+
+// FILE: TestCase.kt
+// TESTCASE NUMBER: 3
+package testsCase3
+import libPackageCase3.*
+import libPackageCase3Explicit.listOf
+
+class Case3() {
+    fun <T> Case3.<!EXTENSION_FUNCTION_SHADOWED_BY_MEMBER_PROPERTY_WITH_INVOKE!>listOf<!>(vararg elements1: T = TODO(), body: () -> T =
+    { TODO() }): List<T> = TODO()
+
+    val listOf: A
+        get() = A()
+
+    fun case1() {
+        fun <T> Case3.<!EXTENSION_FUNCTION_SHADOWED_BY_MEMBER_PROPERTY_WITH_INVOKE!>listOf<!>(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+        <!DEBUG_INFO_CALL("fqName: testsCase3.A.invoke; typeCall: variable&invoke")!>listOf(elements1 = arrayOf(1), body = { "" })<!>
+    }
+}
+
+class A {
+    operator fun <T> invoke(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+}
+// FILE: Lib.kt
+// TESTCASE NUMBER: 3
+
+package libPackageCase3
+import testsCase3.*
+
+val Case3.listOf: A
+    get() = A()
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+fun <T> Case3.<!EXTENSION_FUNCTION_SHADOWED_BY_MEMBER_PROPERTY_WITH_INVOKE!>listOf<!>(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+// FILE: Lib.kt
+// TESTCASE NUMBER: 3
+
+package libPackageCase3Explicit
+import testsCase3.*
+
+val Case3.listOf: A
+    get() = A()
+
+fun <T> Case3.<!EXTENSION_FUNCTION_SHADOWED_BY_MEMBER_PROPERTY_WITH_INVOKE!>listOf<!>(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+// FILE: LibtestsPack.kt
+// TESTCASE NUMBER: 3
+
+package testsCase3
+val Case3.listOf: A
+    get() = A()
+
+fun <T> Case3.<!EXTENSION_FUNCTION_SHADOWED_BY_MEMBER_PROPERTY_WITH_INVOKE!>listOf<!>(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+
+
+

compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.13.kt

@@ -0,0 +1,193 @@
+// !LANGUAGE: +NewInference
+// !DIAGNOSTICS: -UNUSED_VARIABLE -ASSIGNED_BUT_NEVER_ACCESSED_VARIABLE -UNUSED_VALUE -UNUSED_PARAMETER -UNUSED_EXPRESSION -NOTHING_TO_INLINE
+// SKIP_TXT
+
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
+ *
+ * SPEC VERSION: 0.1-300
+ * PLACE: overload-resolution, building-the-overload-candidate-set-ocs, call-with-trailing-lambda-expressions -> paragraph 1 -> sentence 2
+ * RELEVANT PLACES: overload-resolution, building-the-overload-candidate-set-ocs, call-with-named-parameters -> paragraph 2 -> sentence 1
+ * NUMBER: 13
+ * DESCRIPTION: call-with-trailing-lambda-expressions,Explicit receiver: The overload candidate sets for each pair of implicit receivers: Local extension callables
+ */
+
+// FILE: TestCase.kt
+// TESTCASE NUMBER: 1
+package testsCase1
+
+import libPackageCase1.*
+import libPackageCase1Explicit.listOf
+
+class Case1() {
+
+    fun case1_0() {
+        fun <T> Case1.listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+        <!DEBUG_INFO_CALL("fqName: testsCase1.Case1.case1_0.listOf; typeCall: extension function")!>listOf(elements1 = arrayOf(1), body = { "" })<!>
+
+        fun case1_1() {
+            fun <T> Case1.listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+            <!DEBUG_INFO_CALL("fqName: testsCase1.Case1.case1_0.case1_1.listOf; typeCall: extension function")!>listOf(elements1 = arrayOf(1), body = { "" })<!>
+        }
+    }
+
+}
+
+// FILE: Lib.kt
+package libPackageCase1
+import testsCase1.*
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+fun <T> Case1.listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+// FILE: Lib.kt
+package libPackageCase1Explicit
+import testsCase1.*
+
+fun <T> Case1.listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+// FILE: LibtestsPack.kt
+package testsCase1
+fun <T> Case1.listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+
+// FILE: TestCase.kt
+
+/*
+ * TESTCASE NUMBER: 2
+ * UNEXPECTED BEHAVIOUR
+ * ISSUES: KT-37179
+ */
+package testsCase2
+import libPackageCase2.*
+import libPackageCase2Explicit.listOf
+
+class Case2() {
+
+    fun case1_0() {
+        fun <T> Case2.<!EXTENSION_FUNCTION_SHADOWED_BY_MEMBER_PROPERTY_WITH_INVOKE!>listOf<!>(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+        <!DEBUG_INFO_CALL("fqName: testsCase2.Case2.case1_0.listOf; typeCall: extension function")!>listOf(elements1 = arrayOf(1), body = { "" })<!>
+
+        fun case1_1() {
+            fun <T> Case2.<!EXTENSION_FUNCTION_SHADOWED_BY_MEMBER_PROPERTY_WITH_INVOKE!>listOf<!>(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+            <!DEBUG_INFO_CALL("fqName: testsCase2.Case2.case1_0.case1_1.listOf; typeCall: extension function")!>listOf(elements1 = arrayOf(1), body = { "" })<!>
+        }
+    }
+
+    val Case2.listOf: A
+        get() = A()
+
+    fun <T> Case2.<!EXTENSION_FUNCTION_SHADOWED_BY_MEMBER_PROPERTY_WITH_INVOKE!>listOf<!>(vararg elements1: T = TODO(), body: () -> T =
+    { TODO() }): List<T> = TODO()
+
+    fun case2_0() {
+        <!DEBUG_INFO_CALL("fqName: testsCase2.Case2.listOf; typeCall: extension function")!>listOf(elements1 = arrayOf(1), body = { "" })<!>
+    }
+
+}
+
+class A {
+    operator fun <T> invoke(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+}
+
+// FILE: Lib.kt
+// TESTCASE NUMBER: 2
+package libPackageCase2
+import testsCase2.*
+
+val Case2.listOf: A
+    get() = A()
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+fun <T> Case2.<!EXTENSION_FUNCTION_SHADOWED_BY_MEMBER_PROPERTY_WITH_INVOKE!>listOf<!>(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+// FILE: Lib.kt
+// TESTCASE NUMBER: 2
+
+package libPackageCase2Explicit
+import testsCase2.*
+
+fun <T> Case2.<!EXTENSION_FUNCTION_SHADOWED_BY_MEMBER_PROPERTY_WITH_INVOKE!>listOf<!>(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+// FILE: LibtestsPack.kt
+// TESTCASE NUMBER: 2
+
+package testsCase2
+fun <T> Case2.<!EXTENSION_FUNCTION_SHADOWED_BY_MEMBER_PROPERTY_WITH_INVOKE!>listOf<!>(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+
+// FILE: TestCase.kt
+
+/*
+ * TESTCASE NUMBER: 3
+ * UNEXPECTED BEHAVIOUR
+ * ISSUES: KT-37179
+ */
+package testsCase3
+import libPackageCase3.*
+import libPackageCase3Explicit.listOf
+
+class Case3() {
+
+    fun case1_0() {
+        //fun <T> Case3.listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+        <!DEBUG_INFO_CALL("fqName: testsCase3.A.invoke; typeCall: variable&invoke")!>listOf(elements1 = arrayOf(1), body = { "" })<!>
+
+        fun case1_1() {
+            //  fun <T> Case3.listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+            <!DEBUG_INFO_CALL("fqName: testsCase3.A.invoke; typeCall: variable&invoke")!>listOf(elements1 = arrayOf(1), body = { "" })<!>
+        }
+    }
+
+    val Case3.listOf: A
+        get() = A()
+
+    //fun <T> Case3.listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+    fun case2_0() {
+        <!DEBUG_INFO_CALL("fqName: testsCase3.A.invoke; typeCall: variable&invoke")!>listOf(elements1 = arrayOf(1), body = { "" })<!>
+    }
+
+}
+
+class A {
+    operator fun <T> invoke(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+}
+
+// FILE: Lib.kt
+// TESTCASE NUMBER: 3
+package libPackageCase3
+import testsCase3.*
+
+val Case3.listOf: A
+    get() = A()
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+fun <T> Case3.<!EXTENSION_FUNCTION_SHADOWED_BY_MEMBER_PROPERTY_WITH_INVOKE!>listOf<!>(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+// FILE: Lib.kt
+// TESTCASE NUMBER: 3
+
+package libPackageCase3Explicit
+import testsCase3.*
+
+fun <T> Case3.<!EXTENSION_FUNCTION_SHADOWED_BY_MEMBER_PROPERTY_WITH_INVOKE!>listOf<!>(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+// FILE: LibtestsPack.kt
+// TESTCASE NUMBER: 3
+package testsCase3
+fun <T> Case3.<!EXTENSION_FUNCTION_SHADOWED_BY_MEMBER_PROPERTY_WITH_INVOKE!>listOf<!>(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+

compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.14.kt

@@ -0,0 +1,136 @@
+// !LANGUAGE: +NewInference
+// !DIAGNOSTICS: -UNUSED_VARIABLE -ASSIGNED_BUT_NEVER_ACCESSED_VARIABLE -UNUSED_VALUE -UNUSED_PARAMETER -UNUSED_EXPRESSION -NOTHING_TO_INLINE
+// SKIP_TXT
+
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
+ *
+ * SPEC VERSION: 0.1-300
+ * PLACE: overload-resolution, building-the-overload-candidate-set-ocs, call-with-trailing-lambda-expressions -> paragraph 1 -> sentence 2
+ * RELEVANT PLACES: overload-resolution, building-the-overload-candidate-set-ocs, call-with-named-parameters -> paragraph 2 -> sentence 1
+ * NUMBER: 14
+ * DESCRIPTION: call-with-trailing-lambda-expressions,Explicit receiver: The overload candidate sets for each pair of implicit receivers: Explicitly imported extension callables
+ */
+
+// FILE: TestCase.kt
+// TESTCASE NUMBER: 1
+
+package testsCase1
+
+import libPackageCase1.*
+import libPackageCase1Explicit.listOf
+
+class Case1() {
+
+    fun case1() {
+        <!DEBUG_INFO_CALL("fqName: libPackageCase1Explicit.listOf; typeCall: extension function")!>listOf(elements1 = arrayOf(1), body = { "" })<!>
+    }
+}
+
+// FILE: Lib.kt
+package libPackageCase1
+import testsCase1.*
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+fun <T> Case1.listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+// FILE: Lib.kt
+package libPackageCase1Explicit
+import testsCase1.*
+
+fun <T> Case1.listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+// FILE: LibtestsPack.kt
+package testsCase1
+fun <T> Case1.listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+
+// FILE: TestCase.kt
+// TESTCASE NUMBER: 2
+
+package testsCase2
+import libPackageCase2.*
+import libPackageCase2Explicit.listOf
+
+class Case2() {
+
+    fun case1() {
+        <!DEBUG_INFO_CALL("fqName: libPackageCase2Explicit.listOf; typeCall: extension function")!>listOf(elements1 = arrayOf(1), body = { "" })<!>
+    }
+}
+
+class A {
+    operator fun <T> invoke(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+}
+
+// FILE: Lib.kt
+package libPackageCase2
+import testsCase2.*
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+fun <T> Case2.listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+// FILE: Lib.kt
+package libPackageCase2Explicit
+import testsCase2.*
+
+val Case2.listOf: A
+    get() = A()
+
+fun <T> Case2.listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+// FILE: LibtestsPack.kt
+package testsCase2
+fun <T> Case2.listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+
+// FILE: TestCase.kt
+// TESTCASE NUMBER: 3
+
+package testsCase3
+import libPackageCase3.*
+import libPackageCase3Explicit.listOf
+
+class Case3() {
+
+    fun case1() {
+        <!DEBUG_INFO_CALL("fqName: testsCase3.A.invoke; typeCall: variable&invoke")!>listOf(elements1 = arrayOf(1), body = { "" })<!>
+    }
+}
+
+class A {
+    operator fun <T> invoke(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+}
+
+// FILE: Lib.kt
+package libPackageCase3
+import testsCase3.*
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+fun <T> Case3.listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+// FILE: Lib.kt
+package libPackageCase3Explicit
+import testsCase3.*
+
+val Case3.listOf: A
+    get() = A()
+
+private fun <T> Case3.listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+// FILE: LibtestsPack.kt
+package testsCase3
+fun <T> Case3.listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+

compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.15.kt

@@ -0,0 +1,127 @@
+// !LANGUAGE: +NewInference
+// !DIAGNOSTICS: -UNUSED_VARIABLE -ASSIGNED_BUT_NEVER_ACCESSED_VARIABLE -UNUSED_VALUE -UNUSED_PARAMETER -UNUSED_EXPRESSION -NOTHING_TO_INLINE
+// SKIP_TXT
+
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
+ *
+ * SPEC VERSION: 0.1-300
+ * PLACE: overload-resolution, building-the-overload-candidate-set-ocs, call-with-trailing-lambda-expressions -> paragraph 1 -> sentence 2
+ * RELEVANT PLACES: overload-resolution, building-the-overload-candidate-set-ocs, call-with-named-parameters -> paragraph 2 -> sentence 1
+ * NUMBER: 15
+ * DESCRIPTION: call-with-trailing-lambda-expressions,Explicit receiver: The overload candidate sets for each pair of implicit receivers: declared in the package scope extension callables
+ */
+
+// FILE: TestCase.kt
+// TESTCASE NUMBER: 1
+package testsCase1
+
+import libPackageCase1.*
+import libPackageCase1Explicit.listOf
+
+class Case1() {
+
+    fun case1() {
+        <!DEBUG_INFO_CALL("fqName: testsCase1.listOf; typeCall: extension function")!>listOf(elements1 = arrayOf(1), body = { "" })<!>
+    }
+}
+
+// FILE: Lib.kt
+package libPackageCase1
+import testsCase1.*
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+fun <T> Case1.listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+// FILE: Lib.kt
+package libPackageCase1Explicit
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+// FILE: LibtestsPack.kt
+package testsCase1
+fun <T> Case1.listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+
+// FILE: TestCase.kt
+// TESTCASE NUMBER: 2
+package testsCase2
+import libPackageCase2.*
+import libPackageCase2Explicit.listOf
+
+class Case2() {
+
+    fun case1() {
+        <!DEBUG_INFO_CALL("fqName: testsCase2.listOf; typeCall: extension function")!>listOf(elements1 = arrayOf(1), body = { "" })<!>
+    }
+}
+
+class A {
+    operator fun <T> invoke(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+}
+
+// FILE: Lib.kt
+package libPackageCase2
+import testsCase2.*
+
+val Case2.listOf: A
+    get() = A()
+
+fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+fun <T> Case2.listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+// FILE: Lib.kt
+package libPackageCase2Explicit
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+// FILE: LibtestsPack.kt
+package testsCase2
+fun <T> Case2.listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+val Case2.listOf: A
+    get() = A()
+
+// FILE: TestCase.kt
+// TESTCASE NUMBER: 3
+package testsCase3
+import libPackageCase3.*
+import libPackageCase3Explicit.listOf
+
+class Case3() {
+
+    fun case1() {
+        <!DEBUG_INFO_CALL("fqName: testsCase3.A.invoke; typeCall: variable&invoke")!>listOf(elements1 = arrayOf(1), body = { "" })<!>
+    }
+}
+
+class A {
+    operator fun <T> invoke(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+}
+
+// FILE: Lib.kt
+package libPackageCase3
+import testsCase3.*
+
+fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+fun <T> Case3.listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+// FILE: Lib.kt
+package libPackageCase3Explicit
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+// FILE: LibtestsPack.kt
+package testsCase3
+
+val Case3.listOf: A
+    get() = A()
+
+private fun <T> Case3.listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+

compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.16.kt

@@ -0,0 +1,123 @@
+// !LANGUAGE: +NewInference
+// !DIAGNOSTICS: -UNUSED_VARIABLE -ASSIGNED_BUT_NEVER_ACCESSED_VARIABLE -UNUSED_VALUE -UNUSED_PARAMETER -UNUSED_EXPRESSION -NOTHING_TO_INLINE
+// SKIP_TXT
+
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
+ *
+ * SPEC VERSION: 0.1-300
+ * PLACE: overload-resolution, building-the-overload-candidate-set-ocs, call-with-trailing-lambda-expressions -> paragraph 1 -> sentence 2
+ * RELEVANT PLACES: overload-resolution, building-the-overload-candidate-set-ocs, call-with-named-parameters -> paragraph 2 -> sentence 1
+ * NUMBER: 16
+ * DESCRIPTION: call-with-trailing-lambda-expressions,Explicit receiver: The overload candidate sets for each pair of implicit receivers: Implicitly imported extension callables
+ */
+
+// FILE: TestCase.kt
+// TESTCASE NUMBER: 1
+package testsCase1
+
+import libPackageCase1.*
+import libPackageCase1Explicit.listOf
+
+class Case1() {
+
+    fun case() {
+        <!DEBUG_INFO_CALL("fqName: libPackageCase1.listOf; typeCall: extension function")!>listOf(elements1 = arrayOf(1), body = { "" })<!>
+    }
+}
+
+// FILE: Lib.kt
+package libPackageCase1
+import testsCase1.*
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+fun <T> Case1.listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+// FILE: Lib.kt
+package libPackageCase1Explicit
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+// FILE: LibtestsPack.kt
+package testsCase1
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+
+// FILE: TestCase.kt
+// TESTCASE NUMBER: 2
+package testsCase2
+import libPackageCase2.*
+import libPackageCase2Explicit.listOf
+
+class Case2() {
+
+    fun case() {
+        <!DEBUG_INFO_CALL("fqName: libPackageCase2.listOf; typeCall: extension function")!>listOf(elements1 = arrayOf(1), body = { "" })<!>
+    }
+}
+
+class A {
+    operator fun <T> invoke(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+}
+
+
+// FILE: Lib.kt
+package libPackageCase2
+import testsCase2.*
+
+val Case2.listOf: A
+    get() = A()
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+fun <T> Case2.listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+// FILE: Lib.kt
+package libPackageCase2Explicit
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+// FILE: LibtestsPack.kt
+package testsCase2
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+
+// FILE: TestCase.kt
+// TESTCASE NUMBER: 3
+package testsCase3
+import libPackageCase3.*
+import libPackageCase3Explicit.listOf
+
+class Case3() {
+
+    fun case() {
+        <!DEBUG_INFO_CALL("fqName: testsCase3.A.invoke; typeCall: variable&invoke")!>listOf(elements1 = arrayOf(1), body = { "" })<!>
+    }
+}
+
+class A {
+    operator fun <T> invoke(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+}
+
+
+// FILE: Lib.kt
+package libPackageCase3
+import testsCase3.*
+
+val Case3.listOf: A
+    get() = A()
+
+fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+private fun <T> Case3.listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+// FILE: Lib.kt
+package libPackageCase3Explicit
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+// FILE: LibtestsPack.kt
+package testsCase3
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+

compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.17.kt

@@ -0,0 +1,123 @@
+// !LANGUAGE: +NewInference
+// !DIAGNOSTICS: -UNUSED_VARIABLE -ASSIGNED_BUT_NEVER_ACCESSED_VARIABLE -UNUSED_VALUE -UNUSED_PARAMETER -UNUSED_EXPRESSION
+// SKIP_TXT
+
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
+ *
+ * SPEC VERSION: 0.1-300
+ * PLACE: overload-resolution, building-the-overload-candidate-set-ocs, call-with-trailing-lambda-expressions -> paragraph 1 -> sentence 2
+ * RELEVANT PLACES: overload-resolution, building-the-overload-candidate-set-ocs, infix-function-call -> paragraph 2 -> sentence 1
+ * overload-resolution, building-the-overload-candidate-set-ocs, infix-function-call -> paragraph 2 -> sentence 2
+ * overload-resolution, building-the-overload-candidate-set-ocs, call-with-an-explicit-receiver -> paragraph 6 -> sentence 1
+ * NUMBER: 17
+ * DESCRIPTION: Infix fun: Local extension infix extension callables
+ */
+
+// TESTCASE NUMBER: 0, 1, 2, 3, 4
+// FILE: Extensions.kt
+package libPackage
+
+class A() {
+    infix fun foo(x: ()->Int) = "member fun foo"
+}
+
+// FILE: Extensions.kt
+// TESTCASE NUMBER: 0
+
+package sentence3
+import libPackage.A
+
+infix fun A.<!EXTENSION_SHADOWED_BY_MEMBER!>foo<!>(x: ()->Int) = "pack scope extension fun foo"
+
+// FILE: TestCase1.kt
+// TESTCASE NUMBER: 1
+
+package sentence3
+import libPackage.A
+
+class Case1() {
+    infix fun A.<!EXTENSION_SHADOWED_BY_MEMBER!>foo<!>(x: ()->Int) = "local extension fun foo"
+
+    fun case1() {
+        val a = A()
+        <!DEBUG_INFO_CALL("fqName: libPackage.A.foo; typeCall: infix function")!>a foo {1}<!>
+        <!DEBUG_INFO_CALL("fqName: libPackage.A.foo; typeCall: infix function")!>A() foo {1}<!>
+    }
+}
+// FILE: TestCase2.kt
+// TESTCASE NUMBER: 2
+
+package sentence3
+import libPackage.A
+
+interface Case2 {
+    infix fun A.<!EXTENSION_SHADOWED_BY_MEMBER!>foo<!>(x: ()->Int) = "local extension fun foo"
+
+    fun case2() {
+        val a = A()
+        <!DEBUG_INFO_CALL("fqName: libPackage.A.foo; typeCall: infix function")!>a foo {1}<!>
+        <!DEBUG_INFO_CALL("fqName: libPackage.A.foo; typeCall: infix function")!>A() foo {1}<!>
+    }
+}
+
+// FILE: TestCase3.kt
+// TESTCASE NUMBER: 3
+package testPack
+import libPackage.A
+
+infix fun A.<!EXTENSION_SHADOWED_BY_MEMBER!>foo<!>(x: ()->Int) = "my package scope top level trim"
+
+
+fun case3() {
+    infix fun A.<!EXTENSION_SHADOWED_BY_MEMBER!>foo<!>(x: ()->Int) = "my local scope trim"
+
+    val a = A()
+    <!DEBUG_INFO_CALL("fqName: libPackage.A.foo; typeCall: infix function")!>a foo {1}<!>
+    <!DEBUG_INFO_CALL("fqName: libPackage.A.foo; typeCall: infix function")!>A() foo {1}<!>
+}
+
+// FILE: TestCase4.kt
+// TESTCASE NUMBER: 4
+package testPackNew
+import libPackage.A
+
+infix fun A.<!EXTENSION_SHADOWED_BY_MEMBER!>foo<!>(x: ()->Int) = "my package scope top level trim"
+
+
+fun case4() {
+
+    infix fun A.<!EXTENSION_SHADOWED_BY_MEMBER!>foo<!>(x: ()->Int) = "my local trim"
+
+    fun subfun() {
+        infix fun A.<!EXTENSION_SHADOWED_BY_MEMBER!>foo<!>(x: ()->Int) = "my local trim"
+        val a = A()
+        <!DEBUG_INFO_CALL("fqName: libPackage.A.foo; typeCall: infix function")!>a foo {1}<!>
+        <!DEBUG_INFO_CALL("fqName: libPackage.A.foo; typeCall: infix function")!>A() foo {1}<!>
+    }
+}
+
+// FILE: TestCase5.kt
+// TESTCASE NUMBER: 5
+package testPackNew
+
+class A() {
+    fun foo(i: ()->Int) {}
+    infix fun A.foo(i: ()->Int) {}
+
+    fun bar(a: A) {
+        //todo: add info if function is infix one
+        <!DEBUG_INFO_CALL("fqName: testPackNew.A.foo; typeCall: infix extension function")!>a foo {1}<!>
+    }
+
+    fun buz(a: A) {
+        fun foo(i: ()->Int) {}
+        //todo: add info if function is infix one
+        <!DEBUG_INFO_CALL("fqName: testPackNew.A.foo; typeCall: infix extension function")!>a foo {1}<!>
+    }
+
+    fun boo(a: A) {
+        infix fun A.foo(i: ()->Int) {}
+        <!DEBUG_INFO_CALL("fqName: testPackNew.A.boo.foo; typeCall: infix extension function")!>a foo {1}<!>
+    }
+}

compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.18.kt

@@ -0,0 +1,85 @@
+// !LANGUAGE: +NewInference
+// !DIAGNOSTICS: -UNUSED_VARIABLE -ASSIGNED_BUT_NEVER_ACCESSED_VARIABLE -UNUSED_VALUE -UNUSED_PARAMETER -UNUSED_EXPRESSION
+// SKIP_TXT
+
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
+ *
+ * SPEC VERSION: 0.1-300
+ * PLACE: overload-resolution, building-the-overload-candidate-set-ocs, call-with-trailing-lambda-expressions -> paragraph 1 -> sentence 2
+ * RELEVANT PLACES: overload-resolution, building-the-overload-candidate-set-ocs, infix-function-call -> paragraph 2 -> sentence 1
+ * overload-resolution, building-the-overload-candidate-set-ocs, infix-function-call -> paragraph 2 -> sentence 2
+ * overload-resolution, building-the-overload-candidate-set-ocs, call-with-an-explicit-receiver -> paragraph 6 -> sentence 2
+ *
+ * NUMBER: 18
+ * DESCRIPTION: Infix fun: Local extension infix extension callables
+ */
+
+// FILE: Extensions.kt
+package libPackage
+
+infix fun CharSequence.trim(predicate: (Char) -> Boolean): CharSequence = TODO()
+// FILE: Extensions.kt
+
+package sentence3
+
+infix fun CharSequence.trim(predicate: (Char) -> Boolean): CharSequence = TODO()
+
+// FILE: TestCase1.kt
+// TESTCASE NUMBER: 1
+
+package sentence3
+import libPackage.trim
+
+class Case1() {
+    infix fun CharSequence.trim(predicate: (Char) -> Boolean): CharSequence = TODO()
+
+    fun case1() {
+        <!DEBUG_INFO_CALL("fqName: sentence3.Case1.trim; typeCall: infix extension function")!>"" trim {true}<!>
+    }
+}
+// FILE: TestCase2.kt
+// TESTCASE NUMBER: 2
+
+package sentence3
+import libPackage.trim
+
+interface Case2 {
+    infix fun CharSequence.trim(predicate: (Char) -> Boolean): CharSequence = TODO()
+
+    fun case2() {
+        <!DEBUG_INFO_CALL("fqName: sentence3.Case2.trim; typeCall: infix extension function")!>"" trim {true}<!>
+    }
+}
+
+// FILE: TestCase3.kt
+// TESTCASE NUMBER: 3
+package testPack
+import libPackage.trim
+
+infix fun CharSequence.trim(predicate: (Char) -> Boolean): CharSequence = TODO()
+fun case3() {
+    infix fun CharSequence.trim(predicate: (Char) -> Boolean): CharSequence = TODO()
+
+    <!DEBUG_INFO_CALL("fqName: testPack.case3.trim; typeCall: infix extension function")!>"" trim {true}<!>
+}
+
+// FILE: TestCase4.kt
+// TESTCASE NUMBER: 4
+package testPackNew
+import libPackage.trim
+
+infix fun CharSequence.trim(predicate: (Char) -> Boolean): CharSequence = TODO()
+
+fun case4() {
+
+    infix fun CharSequence.trim(predicate: (Char) -> Boolean): CharSequence = TODO()
+
+    fun subfun() {
+
+        infix fun CharSequence.trim(predicate: (Char) -> Boolean): CharSequence = TODO()
+
+        <!DEBUG_INFO_CALL("fqName: testPackNew.case4.subfun.trim; typeCall: infix extension function")!>"" trim {true}<!>
+
+    }
+}

compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.19.kt

@@ -0,0 +1,53 @@
+// !LANGUAGE: +NewInference
+// !DIAGNOSTICS: -UNUSED_VARIABLE -ASSIGNED_BUT_NEVER_ACCESSED_VARIABLE -UNUSED_VALUE -UNUSED_PARAMETER -UNUSED_EXPRESSION
+// SKIP_TXT
+
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
+ *
+ * SPEC VERSION: 0.1-300
+ * PLACE: overload-resolution, building-the-overload-candidate-set-ocs, call-with-trailing-lambda-expressions -> paragraph 1 -> sentence 2
+ * RELEVANT PLACES: overload-resolution, building-the-overload-candidate-set-ocs, infix-function-call -> paragraph 2 -> sentence 1
+ * overload-resolution, building-the-overload-candidate-set-ocs, infix-function-call -> paragraph 2 -> sentence 2
+ * overload-resolution, building-the-overload-candidate-set-ocs, call-with-an-explicit-receiver -> paragraph 6 -> sentence 3
+ *
+ * NUMBER: 19
+ * DESCRIPTION: infix fun: Explicitly imported infix extension callables
+ */
+
+// FILE: Extensions.kt
+package libPackage
+
+infix fun CharSequence.trim(predicate: (Char) -> Boolean): CharSequence = TODO()
+
+// FILE: Extensions.kt
+
+package sentence3
+
+infix fun CharSequence.trim(predicate: (Char) -> Boolean): CharSequence = TODO()
+
+
+// FILE: TestCase1.kt
+// TESTCASE NUMBER: 1
+
+package sentence3
+import libPackage.trim
+
+
+fun case1() {
+    <!DEBUG_INFO_CALL("fqName: libPackage.trim; typeCall: infix extension function")!>"" trim {true}<!>
+}
+
+// FILE: TestCase2.kt
+// TESTCASE NUMBER: 2
+
+package sentence3
+import libPackage.trim
+
+
+fun case2() {
+    infix fun CharSequence.trim(predicate: (Char) -> Boolean): CharSequence = TODO()
+
+    <!DEBUG_INFO_CALL("fqName: sentence3.case2.trim; typeCall: infix extension function")!>"" trim {true}<!>
+}
+

compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.2.kt

@@ -0,0 +1,69 @@
+// !LANGUAGE: +NewInference
+// !DIAGNOSTICS: -UNUSED_VARIABLE -ASSIGNED_BUT_NEVER_ACCESSED_VARIABLE -UNUSED_VALUE -UNUSED_PARAMETER -UNUSED_EXPRESSION
+// SKIP_TXT
+
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
+ *
+ * SPEC VERSION: 0.1-300
+ * PLACE: overload-resolution, building-the-overload-candidate-set-ocs, call-with-trailing-lambda-expressions -> paragraph 1 -> sentence 2
+ * RELEVANT PLACES: overload-resolution, building-the-overload-candidate-set-ocs, call-with-named-parameters -> paragraph 2 -> sentence 1
+ * NUMBER: 2
+ * DESCRIPTION: call-with-trailing-lambda-expressions,Implicit receiver: sets of local, explicitly imported, declared in the package scope and star-imported extension callables
+ */
+
+// FILE: Extensions.kt
+package libPackage
+
+public fun <T, R> T.let(block: (T) -> R): R = TODO()
+
+// FILE: TestCase1.kt
+
+package sentence3
+
+import libPackage.*
+import libPackage.let
+
+private fun <T, R> T.let(block: (T) -> R): R = TODO()
+
+// TESTCASE NUMBER: 1
+class Case1() {
+    fun <T, R> T.let(block: (T) -> R): R = TODO()
+    fun case1(s: String) {
+        s.<!DEBUG_INFO_CALL("fqName: sentence3.Case1.let; typeCall: extension function")!>let (block = { "" })<!>
+    }
+}
+
+// FILE: TestCase2.kt
+package sentence3
+import libPackage.*
+
+//import libPackage.orEmpty
+
+private fun <T, R> T.let(block: (T) -> R): R = TODO()
+
+// TESTCASE NUMBER: 2
+class Case2() {
+    fun <T, R> T.let(block: (T) -> R): R = TODO()
+    fun case2(s: String) {
+        s.<!DEBUG_INFO_CALL("fqName: sentence3.Case2.let; typeCall: extension function")!>let (block = { "" })<!>
+    }
+}
+
+// TESTCASE NUMBER: 3
+class Case3() {
+    fun <T, R> T.let(block: (T) -> R): R = TODO()
+    fun case3(s: String) {
+        s.<!DEBUG_INFO_CALL("fqName: sentence3.Case3.let; typeCall: extension function")!>let (block = { "" })<!>
+        fun innerFirst(s: String?) {
+            fun <T, R> T.let(block: (T) -> R): R = TODO()
+            s?.<!DEBUG_INFO_CALL("fqName: sentence3.Case3.case3.innerFirst.let; typeCall: extension function")!>let (block = { "" })<!>
+        }
+
+        fun innerSecond() {
+            fun <T, R> T.let(block: (T) -> R): R = TODO()
+            s.<!DEBUG_INFO_CALL("fqName: sentence3.Case3.case3.innerSecond.let; typeCall: extension function")!>let (block = { "" })<!>
+        }
+        s.<!DEBUG_INFO_CALL("fqName: sentence3.Case3.let; typeCall: extension function")!>let (block = { "" })<!>
+    }
+}

compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.20.kt

@@ -0,0 +1,53 @@
+// !LANGUAGE: +NewInference
+// !DIAGNOSTICS: -UNUSED_VARIABLE -ASSIGNED_BUT_NEVER_ACCESSED_VARIABLE -UNUSED_VALUE -UNUSED_PARAMETER -UNUSED_EXPRESSION
+// SKIP_TXT
+
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
+ *
+ * SPEC VERSION: 0.1-300
+ * PLACE: overload-resolution, building-the-overload-candidate-set-ocs, call-with-trailing-lambda-expressions -> paragraph 1 -> sentence 2
+ * RELEVANT PLACES: overload-resolution, building-the-overload-candidate-set-ocs, infix-function-call -> paragraph 2 -> sentence 1
+ * overload-resolution, building-the-overload-candidate-set-ocs, infix-function-call -> paragraph 2 -> sentence 2
+ * overload-resolution, building-the-overload-candidate-set-ocs, call-with-an-explicit-receiver -> paragraph 6 -> sentence 4
+ *
+ * NUMBER: 20
+ * DESCRIPTION: infix fun: Star-imported infix extension callables
+ */
+
+// FILE: Extensions.kt
+package libPackage
+
+infix fun CharSequence.trim(predicate: (Char) -> Boolean): CharSequence = TODO()
+
+// FILE: Extensions.kt
+
+package sentence3
+
+infix fun CharSequence.trim(predicate: (Char) -> Boolean): CharSequence = TODO()
+
+
+// FILE: TestCase1.kt
+// TESTCASE NUMBER: 1
+
+package sentence3
+import libPackage.*
+
+
+fun case1() {
+    val regex = Regex("")
+    <!DEBUG_INFO_CALL("fqName: sentence3.trim; typeCall: infix extension function")!>"" trim {true}<!>
+}
+
+// FILE: TestCase2.kt
+// TESTCASE NUMBER: 2
+package testPack
+import libPackage.*
+
+infix fun CharSequence.trim(predicate: (Char) -> Boolean): CharSequence = TODO()
+
+
+fun case2() {
+    val regex = Regex("")
+    <!DEBUG_INFO_CALL("fqName: testPack.trim; typeCall: infix extension function")!>"" trim {true}<!>
+}

compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.21.kt

@@ -0,0 +1,32 @@
+// !LANGUAGE: +NewInference
+// !DIAGNOSTICS: -UNUSED_VARIABLE -ASSIGNED_BUT_NEVER_ACCESSED_VARIABLE -UNUSED_VALUE -UNUSED_PARAMETER -UNUSED_EXPRESSION
+// SKIP_TXT
+
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
+ *
+ * SPEC VERSION: 0.1-300
+ * PLACE: overload-resolution, building-the-overload-candidate-set-ocs, call-with-trailing-lambda-expressions -> paragraph 1 -> sentence 2
+ * RELEVANT PLACES: overload-resolution, building-the-overload-candidate-set-ocs, infix-function-call -> paragraph 2 -> sentence 1
+ * overload-resolution, building-the-overload-candidate-set-ocs, infix-function-call -> paragraph 2 -> sentence 2
+ * overload-resolution, building-the-overload-candidate-set-ocs, call-with-an-explicit-receiver -> paragraph 6 -> sentence 5
+ *
+ * NUMBER: 21
+ * DESCRIPTION: infix fun: Star-imported infix extension callables
+ */
+
+// FILE: Extensions.kt
+package libPackage
+
+infix fun CharSequence.trim(predicate: (Char) -> Boolean): CharSequence = TODO()
+
+// FILE: TestCase1.kt
+// TESTCASE NUMBER: 1
+
+package sentence3
+import libPackage.*
+
+fun case1() {
+    <!DEBUG_INFO_CALL("fqName: libPackage.trim; typeCall: infix extension function")!>"" trim {true}<!>
+}
+

compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.3.kt

@@ -0,0 +1,35 @@
+// !LANGUAGE: +NewInference
+// !DIAGNOSTICS: -UNUSED_VARIABLE -ASSIGNED_BUT_NEVER_ACCESSED_VARIABLE -UNUSED_VALUE -UNUSED_PARAMETER -UNUSED_EXPRESSION
+// SKIP_TXT
+
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
+ *
+ * SPEC VERSION: 0.1-300
+ * PLACE: overload-resolution, building-the-overload-candidate-set-ocs, call-with-trailing-lambda-expressions -> paragraph 1 -> sentence 2
+ * RELEVANT PLACES: overload-resolution, building-the-overload-candidate-set-ocs, call-with-named-parameters -> paragraph 2 -> sentence 1
+ * NUMBER: 3
+ * DESCRIPTION: call-with-trailing-lambda-expressions,Implicit receiver: sets of explicitly imported, declared in the package scope and star-imported extension callables
+ */
+
+// FILE: Extensions.kt
+package libPackageExplicit
+
+public fun <T, R> T.let(block: (T) -> R): R = TODO()
+
+// FILE: Extensions.kt
+package libPackage
+
+public fun <T, R> T.let(block: (T) -> R): R = TODO()
+
+// FILE: TestCase1.kt
+package tests
+
+import libPackage.*
+import libPackageExplicit.let
+
+// TESTCASE NUMBER: 1
+fun case1(s: String) {
+    s.<!DEBUG_INFO_CALL("fqName: libPackageExplicit.let; typeCall: extension function")!>let (block = { "" })<!>
+}
+

compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.4.kt

@@ -0,0 +1,31 @@
+// !LANGUAGE: +NewInference
+// !DIAGNOSTICS: -UNUSED_VARIABLE -ASSIGNED_BUT_NEVER_ACCESSED_VARIABLE -UNUSED_VALUE -UNUSED_PARAMETER -UNUSED_EXPRESSION
+// SKIP_TXT
+
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
+ *
+ * SPEC VERSION: 0.1-300
+ * PLACE: overload-resolution, building-the-overload-candidate-set-ocs, call-with-trailing-lambda-expressions -> paragraph 1 -> sentence 2
+ * RELEVANT PLACES: overload-resolution, building-the-overload-candidate-set-ocs, call-with-named-parameters -> paragraph 2 -> sentence 1
+ * NUMBER: 4
+ * DESCRIPTION: call-with-trailing-lambda-expressions,Implicit receiver: sets of declared in the package scope and star-imported extension callables
+ */
+
+// FILE: Extensions.kt
+package libPackage
+
+public fun <T, R> T.let(block: (T) -> R): R = TODO()
+
+// FILE: TestCase2.kt
+package tests
+
+import libPackage.*
+
+public fun <T, R> T.let(block: (T) -> R): R = TODO()
+
+// TESTCASE NUMBER: 1
+fun case2(s: String) {
+    s.<!DEBUG_INFO_CALL("fqName: tests.let; typeCall: extension function")!>let (block = { "" })<!>
+}
+

compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.5.kt

@@ -0,0 +1,28 @@
+// !LANGUAGE: +NewInference
+// !DIAGNOSTICS: -UNUSED_VARIABLE -ASSIGNED_BUT_NEVER_ACCESSED_VARIABLE -UNUSED_VALUE -UNUSED_PARAMETER -UNUSED_EXPRESSION
+// SKIP_TXT
+
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
+ *
+ * SPEC VERSION: 0.1-300
+ * PLACE: overload-resolution, building-the-overload-candidate-set-ocs, call-with-trailing-lambda-expressions -> paragraph 1 -> sentence 2
+ * RELEVANT PLACES: overload-resolution, building-the-overload-candidate-set-ocs, call-with-named-parameters -> paragraph 2 -> sentence 1
+ * NUMBER: 5
+ * DESCRIPTION: call-with-trailing-lambda-expressions,Implicit receiver: set of star-imported extension callables
+ */
+
+// FILE: Extensions.kt
+package libPackage
+
+public fun <T, R> T.let(block: (T) -> R): R = TODO()
+
+// FILE: TestCase2.kt
+package sentence3
+
+import libPackage.*
+
+// TESTCASE NUMBER: 1
+fun case2(s: String) {
+    s.<!DEBUG_INFO_CALL("fqName: libPackage.let; typeCall: extension function")!>let (block = { "" })<!>
+}

compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.6.kt

@@ -0,0 +1,28 @@
+// !LANGUAGE: +NewInference
+// !DIAGNOSTICS: -UNUSED_VARIABLE -ASSIGNED_BUT_NEVER_ACCESSED_VARIABLE -UNUSED_VALUE -UNUSED_PARAMETER -UNUSED_EXPRESSION
+// SKIP_TXT
+
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
+ *
+ * SPEC VERSION: 0.1-300
+ * PLACE: overload-resolution, building-the-overload-candidate-set-ocs, call-with-trailing-lambda-expressions -> paragraph 1 -> sentence 2
+ * RELEVANT PLACES: overload-resolution, building-the-overload-candidate-set-ocs, call-with-named-parameters -> paragraph 2 -> sentence 1
+ * NUMBER: 6
+ * DESCRIPTION: call-with-trailing-lambda-expressions,Implicit receiver: set of implicitly-imported extension callables
+ */
+
+// FILE: Extensions.kt
+package libPackage
+
+public fun <T, R> T.let(block_: (T) -> R): R = TODO()
+
+// FILE: TestCase.kt
+package testCase1
+import libPackage.*
+
+// TESTCASE NUMBER: 1
+fun case2(s: String) {
+    s.<!DEBUG_INFO_CALL("fqName: libPackage.let; typeCall: extension function")!>let (block_ = { "" })<!>
+    s.<!DEBUG_INFO_CALL("fqName: kotlin.let; typeCall: inline extension function")!>let (block = { "" })<!>
+}

compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.7.kt

@@ -0,0 +1,27 @@
+// !LANGUAGE: +NewInference
+// !DIAGNOSTICS: -UNUSED_VARIABLE -ASSIGNED_BUT_NEVER_ACCESSED_VARIABLE -UNUSED_VALUE -UNUSED_PARAMETER -UNUSED_EXPRESSION
+// SKIP_TXT
+
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
+ *
+ * SPEC VERSION: 0.1-300
+ * PLACE: overload-resolution, building-the-overload-candidate-set-ocs, call-with-trailing-lambda-expressions -> paragraph 1 -> sentence 2
+ * RELEVANT PLACES: overload-resolution, building-the-overload-candidate-set-ocs, call-with-named-parameters -> paragraph 2 -> sentence 1
+ * NUMBER: 7
+ * DESCRIPTION: call-with-trailing-lambda-expressions,Implicit receiver: set of implicitly-imported extension callables
+ */
+
+// FILE: Extensions.kt
+package libPackage
+
+private fun <T, R> T.let(block: (T) -> R): R = TODO()
+
+// FILE: TestCase.kt
+package testCase1
+import libPackage.*
+
+// TESTCASE NUMBER: 1
+fun case2(s: String) {
+    s.<!DEBUG_INFO_CALL("fqName: kotlin.let; typeCall: inline extension function")!>let (block = { "" })<!>
+}

compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.8.kt

@@ -0,0 +1,106 @@
+// !LANGUAGE: +NewInference
+// !DIAGNOSTICS: -UNUSED_VARIABLE -ASSIGNED_BUT_NEVER_ACCESSED_VARIABLE -UNUSED_VALUE -UNUSED_PARAMETER -UNUSED_EXPRESSION -NOTHING_TO_INLINE
+// SKIP_TXT
+
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
+ *
+ * SPEC VERSION: 0.1-300
+ * PLACE: overload-resolution, building-the-overload-candidate-set-ocs, call-with-trailing-lambda-expressions -> paragraph 1 -> sentence 2
+ * RELEVANT PLACES: overload-resolution, building-the-overload-candidate-set-ocs, call-with-named-parameters -> paragraph 2 -> sentence 1
+ * NUMBER: 8
+ * DESCRIPTION: call-with-trailing-lambda-expressions,Explicit receiver:  Top-level non-extension functions: Callables explicitly imported into the current file
+ */
+
+// FILE: TestCase.kt
+// TESTCASE NUMBER: 1
+package testsCase1
+
+import libPackageCase1.*
+import libPackageCase1Explicit.listOf
+
+fun case1() {
+    <!DEBUG_INFO_CALL("fqName: libPackageCase1Explicit.listOf; typeCall: function")!>listOf(elements1 = arrayOf(1), body = { "" })<!>
+}
+
+// FILE: Lib.kt
+package libPackageCase1
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+// FILE: Lib.kt
+package libPackageCase1Explicit
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+// FILE: LibtestsPack.kt
+package testsCase1
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+
+// FILE: TestCase.kt
+// TESTCASE NUMBER: 2
+package testsCase2
+import libPackageCase2.*
+import libPackageCase2Explicit.listOf
+
+fun case2() {
+    <!DEBUG_INFO_CALL("fqName: libPackageCase2Explicit.listOf; typeCall: function")!>listOf(elements1 = arrayOf(1), body = { "" })<!>
+}
+
+class A {
+    operator fun <T> invoke(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+}
+// FILE: Lib.kt
+package libPackageCase2
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+// FILE: Lib.kt
+package libPackageCase2Explicit
+import testsCase2.*
+
+val listOf: A
+    get() = A()
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+// FILE: LibtestsPack.kt
+package testsCase2
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+
+// FILE: TestCase.kt
+// TESTCASE NUMBER: 3
+package testsCase3
+import libPackageCase3.*
+import libPackageCase3Explicit.listOf
+
+fun case3() {
+    <!DEBUG_INFO_CALL("fqName: testsCase3.A.invoke; typeCall: variable&invoke")!>listOf(elements1 = arrayOf(1), body = { "" })<!>
+}
+
+class A {
+    operator fun <T> invoke(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+}
+// FILE: Lib.kt
+package libPackageCase3
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+// FILE: Lib.kt
+package libPackageCase3Explicit
+import testsCase3.*
+
+val listOf: A
+    get() = A()
+
+private fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+// FILE: LibtestsPack.kt
+package testsCase3
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+

compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.9.kt

@@ -0,0 +1,89 @@
+// !LANGUAGE: +NewInference
+// !DIAGNOSTICS: -UNUSED_VARIABLE -ASSIGNED_BUT_NEVER_ACCESSED_VARIABLE -UNUSED_VALUE -UNUSED_PARAMETER -UNUSED_EXPRESSION -NOTHING_TO_INLINE
+// SKIP_TXT
+
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
+ *
+ * SPEC VERSION: 0.1-300
+ * PLACE:  overload-resolution, building-the-overload-candidate-set-ocs, call-with-trailing-lambda-expressions -> paragraph 1 -> sentence 2
+ * RELEVANT PLACES: overload-resolution, building-the-overload-candidate-set-ocs, call-with-named-parameters -> paragraph 2 -> sentence 1
+ * NUMBER: 9
+ * DESCRIPTION: call-with-trailing-lambda-expressions,Explicit receiver:  Top-level non-extension functions: Callables declared in the same package
+ */
+
+// FILE: TestCase.kt
+// TESTCASE NUMBER: 1
+package testsCase1
+
+import libPackageCase1.*
+
+fun case1() {
+    <!DEBUG_INFO_CALL("fqName: testsCase1.listOf; typeCall: function")!>listOf(elements1 = arrayOf(1), body = { "" })<!>
+}
+
+// FILE: Lib.kt
+package libPackageCase1
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+// FILE: LibtestsPack.kt
+package testsCase1
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+// FILE: TestCase.kt
+// TESTCASE NUMBER: 2
+package testsCase2
+import libPackageCase2.*
+
+fun case2() {
+    <!DEBUG_INFO_CALL("fqName: testsCase2.listOf; typeCall: function")!>listOf(elements1 = arrayOf(1), body = { "" })<!>
+}
+
+// FILE: Lib.kt
+package libPackageCase2
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+// FILE: LibtestsPack.kt
+package testsCase2
+import testsCase2.*
+
+public val listOf: A
+    get() = A()
+
+class A {
+    operator fun <T> invoke(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+}
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+
+// FILE: TestCase.kt
+// TESTCASE NUMBER: 3
+package testsCase3
+import libPackageCase3.*
+
+fun case3() {
+    <!DEBUG_INFO_CALL("fqName: testsCase3.A.invoke; typeCall: variable&invoke")!>listOf(elements1 = arrayOf(1), body = { "" })<!>
+}
+
+// FILE: Lib.kt
+package libPackageCase3
+
+public fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+
+// FILE: LibtestsPack.kt
+package testsCase3
+import testsCase3.*
+
+public val listOf: A
+    get() = A()
+
+class A {
+    operator fun <T> invoke(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+}
+
+private fun <T> listOf(vararg elements1: T = TODO(), body: () -> T = { TODO() }): List<T> = TODO()
+

compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/testsMap.json

@@ -0,0 +1,134 @@
+{
+  "1": {
+    "pos": {
+      "2": [
+        {
+          "specVersion": "0.1-300",
+          "casesNumber": 3,
+          "description": "call-with-trailing-lambda-expressions,Explicit receiver:  Top-level non-extension functions: Callables star-imported into the current file;",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-300",
+          "casesNumber": 5,
+          "description": "call-with-trailing-lambda-expressions,Implicit receiver: sets of non-extension member callables, local, explicitly imported, declared in the package scope and star-imported extension callables",
+          "unexpectedBehaviour": true
+        },
+        {
+          "specVersion": "0.1-300",
+          "casesNumber": 2,
+          "description": "infix fun: Star-imported infix extension callables",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-300",
+          "casesNumber": 3,
+          "description": "call-with-trailing-lambda-expressions,Explicit receiver: The overload candidate sets for each pair of implicit receivers: Explicitly imported extension callables",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-300",
+          "casesNumber": 1,
+          "description": "call-with-trailing-lambda-expressions,Implicit receiver: set of star-imported extension callables",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-300",
+          "casesNumber": 1,
+          "description": "infix fun: Star-imported infix extension callables",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-300",
+          "casesNumber": 3,
+          "description": "call-with-trailing-lambda-expressions,Explicit receiver: The overload candidate sets for each pair of implicit receivers: declared in the package scope extension callables",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-300",
+          "casesNumber": 1,
+          "description": "call-with-trailing-lambda-expressions,Implicit receiver: sets of declared in the package scope and star-imported extension callables",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-300",
+          "casesNumber": 2,
+          "description": "call-with-trailing-lambda-expressions,Explicit receiver:  Top-level non-extension functions: Implicitly imported callables",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-300",
+          "casesNumber": 3,
+          "description": "call-with-trailing-lambda-expressions,Explicit receiver:  Top-level non-extension functions: Callables declared in the same package",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-300",
+          "casesNumber": 4,
+          "description": "Infix fun: Local extension infix extension callables",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-300",
+          "casesNumber": 3,
+          "description": "call-with-trailing-lambda-expressions,Explicit receiver:  Top-level non-extension functions: Callables explicitly imported into the current file",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-300",
+          "casesNumber": 2,
+          "description": "infix fun: Explicitly imported infix extension callables",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-300",
+          "casesNumber": 3,
+          "description": "call-with-trailing-lambda-expressions,Explicit receiver: The overload candidate sets for each pair of implicit receivers: Implicitly imported extension callables",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-300",
+          "casesNumber": 1,
+          "description": "call-with-trailing-lambda-expressions,Implicit receiver: set of implicitly-imported extension callables",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-300",
+          "casesNumber": 3,
+          "description": "call-with-trailing-lambda-expressions,Explicit receiver:  The overload candidate sets for each pair of implicit receivers: Local extension callables",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-300",
+          "casesNumber": 1,
+          "description": "call-with-trailing-lambda-expressions,Implicit receiver: sets of explicitly imported, declared in the package scope and star-imported extension callables",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-300",
+          "casesNumber": 3,
+          "description": "call-with-trailing-lambda-expressions,Explicit receiver: The overload candidate sets for each pair of implicit receivers: Local extension callables",
+          "unexpectedBehaviour": true
+        },
+        {
+          "specVersion": "0.1-300",
+          "casesNumber": 3,
+          "description": "call-with-trailing-lambda-expressions,Implicit receiver: sets of local, explicitly imported, declared in the package scope and star-imported extension callables",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-300",
+          "casesNumber": 6,
+          "description": "Infix fun: Local extension infix extension callables",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-300",
+          "casesNumber": 1,
+          "description": "call-with-trailing-lambda-expressions,Implicit receiver: set of implicitly-imported extension callables",
+          "unexpectedBehaviour": false
+        }
+      ]
+    }
+  }
+}

compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/infix-function-call/testsMap.json

@@ -1,5 +1,111 @@
 {
   "2": {
+    "pos": {
+      "1": [
+        {
+          "specVersion": "0.1-300",
+          "casesNumber": 2,
+          "description": "infix fun: Star-imported infix extension callables",
+          "path": "compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.20.kt",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-300",
+          "casesNumber": 1,
+          "description": "infix fun: Star-imported infix extension callables",
+          "path": "compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.21.kt",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-300",
+          "casesNumber": 4,
+          "description": "Infix fun: Local extension infix extension callables",
+          "path": "compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.18.kt",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-300",
+          "casesNumber": 2,
+          "description": "infix fun: Explicitly imported infix extension callables",
+          "path": "compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.19.kt",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-300",
+          "casesNumber": 6,
+          "description": "Infix fun: Local extension infix extension callables",
+          "path": "compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.17.kt",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-268",
+          "casesNumber": 2,
+          "description": "Star-imported infix extension callables",
+          "path": "compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/infix-function-call/p-2/pos/3.4.kt",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-268",
+          "casesNumber": 1,
+          "description": "Star-imported infix extension callables",
+          "path": "compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/infix-function-call/p-2/pos/3.5.kt",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-268",
+          "casesNumber": 6,
+          "description": "Local extension infix extension callables",
+          "path": "compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/infix-function-call/p-2/pos/3.1.kt",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-268",
+          "casesNumber": 4,
+          "description": "Local extension infix extension callables",
+          "path": "compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/infix-function-call/p-2/pos/3.2.kt",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-268",
+          "casesNumber": 2,
+          "description": "Explicitly imported infix extension callables",
+          "path": "compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/infix-function-call/p-2/pos/3.3.kt",
+          "unexpectedBehaviour": false
+        }
+      ],
+      "3": [
+        {
+          "specVersion": "0.1-268",
+          "casesNumber": 2,
+          "description": "Star-imported infix extension callables",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-268",
+          "casesNumber": 1,
+          "description": "Star-imported infix extension callables",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-268",
+          "casesNumber": 6,
+          "description": "Local extension infix extension callables",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-268",
+          "casesNumber": 4,
+          "description": "Local extension infix extension callables",
+          "unexpectedBehaviour": false
+        },
+        {
+          "specVersion": "0.1-268",
+          "casesNumber": 2,
+          "description": "Explicitly imported infix extension callables",
+          "unexpectedBehaviour": false
+        }
+      ]
+    },
     "neg": {
       "1": [
         {
@@ -72,77 +178,6 @@
           "unexpectedBehaviour": false
         }
       ]
-    },
-    "pos": {
-      "3": [
-        {
-          "specVersion": "0.1-268",
-          "casesNumber": 2,
-          "description": "Star-imported infix extension callables",
-          "unexpectedBehaviour": false
-        },
-        {
-          "specVersion": "0.1-268",
-          "casesNumber": 1,
-          "description": "Star-imported infix extension callables",
-          "unexpectedBehaviour": false
-        },
-        {
-          "specVersion": "0.1-268",
-          "casesNumber": 6,
-          "description": "Local extension infix extension callables",
-          "unexpectedBehaviour": false
-        },
-        {
-          "specVersion": "0.1-268",
-          "casesNumber": 4,
-          "description": "Local extension infix extension callables",
-          "unexpectedBehaviour": false
-        },
-        {
-          "specVersion": "0.1-268",
-          "casesNumber": 2,
-          "description": "Explicitly imported infix extension callables",
-          "unexpectedBehaviour": false
-        }
-      ],
-      "1": [
-        {
-          "specVersion": "0.1-268",
-          "casesNumber": 2,
-          "description": "Star-imported infix extension callables",
-          "path": "compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/infix-function-call/p-2/pos/3.4.kt",
-          "unexpectedBehaviour": false
-        },
-        {
-          "specVersion": "0.1-268",
-          "casesNumber": 1,
-          "description": "Star-imported infix extension callables",
-          "path": "compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/infix-function-call/p-2/pos/3.5.kt",
-          "unexpectedBehaviour": false
-        },
-        {
-          "specVersion": "0.1-268",
-          "casesNumber": 6,
-          "description": "Local extension infix extension callables",
-          "path": "compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/infix-function-call/p-2/pos/3.1.kt",
-          "unexpectedBehaviour": false
-        },
-        {
-          "specVersion": "0.1-268",
-          "casesNumber": 4,
-          "description": "Local extension infix extension callables",
-          "path": "compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/infix-function-call/p-2/pos/3.2.kt",
-          "unexpectedBehaviour": false
-        },
-        {
-          "specVersion": "0.1-268",
-          "casesNumber": 2,
-          "description": "Explicitly imported infix extension callables",
-          "path": "compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/infix-function-call/p-2/pos/3.3.kt",
-          "unexpectedBehaviour": false
-        }
-      ]
     }
   }
 }

compiler/tests-spec/tests/org/jetbrains/kotlin/spec/checkers/DiagnosticsTestSpecGenerated.java

@@ -3623,6 +3623,150 @@ public class DiagnosticsTestSpecGenerated extends AbstractDiagnosticsTestSpec {
                     }
                 }
 
+                @TestMetadata("compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions")
+                @TestDataPath("$PROJECT_ROOT")
+                @RunWith(JUnit3RunnerWithInners.class)
+                public static class Call_with_trailing_lambda_expressions extends AbstractDiagnosticsTestSpec {
+                    private void runTest(String testDataFilePath) throws Exception {
+                        KotlinTestUtils.runTest(this::doTest, this, testDataFilePath);
+                    }
+
+                    public void testAllFilesPresentInCall_with_trailing_lambda_expressions() throws Exception {
+                        KotlinTestUtils.assertAllTestsPresentByMetadataWithExcluded(this.getClass(), new File("compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions"), Pattern.compile("^(.+)\\.kt$"), null, true);
+                    }
+
+                    @TestMetadata("compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1")
+                    @TestDataPath("$PROJECT_ROOT")
+                    @RunWith(JUnit3RunnerWithInners.class)
+                    public static class P_1 extends AbstractDiagnosticsTestSpec {
+                        private void runTest(String testDataFilePath) throws Exception {
+                            KotlinTestUtils.runTest(this::doTest, this, testDataFilePath);
+                        }
+
+                        public void testAllFilesPresentInP_1() throws Exception {
+                            KotlinTestUtils.assertAllTestsPresentByMetadataWithExcluded(this.getClass(), new File("compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1"), Pattern.compile("^(.+)\\.kt$"), null, true);
+                        }
+
+                        @TestMetadata("compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos")
+                        @TestDataPath("$PROJECT_ROOT")
+                        @RunWith(JUnit3RunnerWithInners.class)
+                        public static class Pos extends AbstractDiagnosticsTestSpec {
+                            private void runTest(String testDataFilePath) throws Exception {
+                                KotlinTestUtils.runTest(this::doTest, this, testDataFilePath);
+                            }
+
+                            @TestMetadata("2.1.kt")
+                            public void test2_1() throws Exception {
+                                runTest("compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.1.kt");
+                            }
+
+                            @TestMetadata("2.10.kt")
+                            public void test2_10() throws Exception {
+                                runTest("compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.10.kt");
+                            }
+
+                            @TestMetadata("2.11.kt")
+                            public void test2_11() throws Exception {
+                                runTest("compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.11.kt");
+                            }
+
+                            @TestMetadata("2.12.kt")
+                            public void test2_12() throws Exception {
+                                runTest("compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.12.kt");
+                            }
+
+                            @TestMetadata("2.13.kt")
+                            public void test2_13() throws Exception {
+                                runTest("compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.13.kt");
+                            }
+
+                            @TestMetadata("2.14.kt")
+                            public void test2_14() throws Exception {
+                                runTest("compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.14.kt");
+                            }
+
+                            @TestMetadata("2.15.kt")
+                            public void test2_15() throws Exception {
+                                runTest("compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.15.kt");
+                            }
+
+                            @TestMetadata("2.16.kt")
+                            public void test2_16() throws Exception {
+                                runTest("compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.16.kt");
+                            }
+
+                            @TestMetadata("2.17.kt")
+                            public void test2_17() throws Exception {
+                                runTest("compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.17.kt");
+                            }
+
+                            @TestMetadata("2.18.kt")
+                            public void test2_18() throws Exception {
+                                runTest("compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.18.kt");
+                            }
+
+                            @TestMetadata("2.19.kt")
+                            public void test2_19() throws Exception {
+                                runTest("compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.19.kt");
+                            }
+
+                            @TestMetadata("2.2.kt")
+                            public void test2_2() throws Exception {
+                                runTest("compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.2.kt");
+                            }
+
+                            @TestMetadata("2.20.kt")
+                            public void test2_20() throws Exception {
+                                runTest("compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.20.kt");
+                            }
+
+                            @TestMetadata("2.21.kt")
+                            public void test2_21() throws Exception {
+                                runTest("compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.21.kt");
+                            }
+
+                            @TestMetadata("2.3.kt")
+                            public void test2_3() throws Exception {
+                                runTest("compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.3.kt");
+                            }
+
+                            @TestMetadata("2.4.kt")
+                            public void test2_4() throws Exception {
+                                runTest("compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.4.kt");
+                            }
+
+                            @TestMetadata("2.5.kt")
+                            public void test2_5() throws Exception {
+                                runTest("compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.5.kt");
+                            }
+
+                            @TestMetadata("2.6.kt")
+                            public void test2_6() throws Exception {
+                                runTest("compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.6.kt");
+                            }
+
+                            @TestMetadata("2.7.kt")
+                            public void test2_7() throws Exception {
+                                runTest("compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.7.kt");
+                            }
+
+                            @TestMetadata("2.8.kt")
+                            public void test2_8() throws Exception {
+                                runTest("compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.8.kt");
+                            }
+
+                            @TestMetadata("2.9.kt")
+                            public void test2_9() throws Exception {
+                                runTest("compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos/2.9.kt");
+                            }
+
+                            public void testAllFilesPresentInPos() throws Exception {
+                                KotlinTestUtils.assertAllTestsPresentByMetadataWithExcluded(this.getClass(), new File("compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-trailing-lambda-expressions/p-1/pos"), Pattern.compile("^(.+)\\.kt$"), null, true);
+                            }
+                        }
+                    }
+                }
+
                 @TestMetadata("compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-without-an-explicit-receiver")
                 @TestDataPath("$PROJECT_ROOT")
                 @RunWith(JUnit3RunnerWithInners.class)