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

This commit is contained in:
anastasiia.spaseeva
2020-03-25 14:17:02 +03:00
committed by Victor Petukhov
parent 4736b3b348
commit 90d1cdf2e1
30 changed files with 2425 additions and 176 deletions
@@ -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
fun String.foo() : String = this //fqName: Case1.foo; typeCall: function;
operator fun String.invoke(): String {
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')<!>
}
}
@@ -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')<!>
}
}
@@ -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')<!>
}
@@ -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')<!>
}
@@ -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')<!>
}
@@ -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
}
]
}
}
}
@@ -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 })<!>
}
@@ -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()
@@ -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()
@@ -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()
@@ -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()
@@ -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()
@@ -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()
@@ -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()
@@ -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}<!>
}
}
@@ -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}<!>
}
}
@@ -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}<!>
}
@@ -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 = { "" })<!>
}
}
@@ -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}<!>
}
@@ -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}<!>
}
@@ -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 = { "" })<!>
}
@@ -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 = { "" })<!>
}
@@ -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 = { "" })<!>
}
@@ -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 = { "" })<!>
}
@@ -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 = { "" })<!>
}
@@ -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()
@@ -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()
@@ -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
}
]
}
}
}
@@ -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
}
]
}
}
}
@@ -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)