[Spec tests] Add tests for call-with-named-parameters
This commit is contained in:
anastasiia.spaseeva
committed by
Victor Petukhov
Victor Petukhov
parent
bb1ee952ba
commit
4736b3b348
+95
@@ -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-280
|
||||
* PLACE: overload-resolution, building-the-overload-candidate-set-ocs, call-with-named-parameters -> 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: 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)<!>
|
||||
}
|
||||
+72
@@ -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-280
|
||||
* PLACE: overload-resolution, building-the-overload-candidate-set-ocs, call-with-named-parameters -> 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: 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))<!>
|
||||
}
|
||||
// FILE: Lib.kt
|
||||
package libPackageCase1
|
||||
|
||||
fun <T> listOf(vararg elements: T): 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))<!>
|
||||
}
|
||||
|
||||
|
||||
class A {
|
||||
operator fun <T> invoke(): T = TODO()
|
||||
}
|
||||
|
||||
// FILE: Lib.kt
|
||||
package libPackageCase2
|
||||
import testsCase2.*
|
||||
|
||||
fun <T> listOf(vararg elements: T): 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))<!>
|
||||
}
|
||||
|
||||
|
||||
class A {
|
||||
operator fun <T> invoke(vararg elements: T): List<T> = TODO()
|
||||
}
|
||||
|
||||
// FILE: Lib.kt
|
||||
package libPackageCase3
|
||||
import testsCase3.*
|
||||
|
||||
private fun <T> listOf(vararg elements: T): List<T> = TODO()
|
||||
|
||||
val listOf: A
|
||||
get() = A()
|
||||
+52
@@ -0,0 +1,52 @@
|
||||
// !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-280
|
||||
* PLACE: overload-resolution, building-the-overload-candidate-set-ocs, call-with-named-parameters -> 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: 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.collections.listOf; typeCall: function")!>listOf(elements = *<!REDUNDANT_SPREAD_OPERATOR_IN_NAMED_FORM_IN_FUNCTION!>arrayOf(1)<!>)<!>
|
||||
}
|
||||
// FILE: Lib.kt
|
||||
package libPackageCase1
|
||||
|
||||
private fun <T> listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
// FILE: TestCase.kt
|
||||
// TESTCASE NUMBER: 2
|
||||
package testscase2
|
||||
|
||||
import libPackagecase2.* //nothing to import
|
||||
|
||||
class Case2 {
|
||||
|
||||
fun case2() {
|
||||
<!DEBUG_INFO_CALL("fqName: kotlin.collections.listOf; typeCall: function")!>listOf(elements = *<!REDUNDANT_SPREAD_OPERATOR_IN_NAMED_FORM_IN_FUNCTION!>arrayOf(1)<!>)<!>
|
||||
}
|
||||
}
|
||||
|
||||
class A {
|
||||
operator fun <T>invoke(vararg elements1: T): List<T> = TODO()
|
||||
}
|
||||
|
||||
// FILE: Lib.kt
|
||||
package libPackagecase2
|
||||
import testscase2.*
|
||||
private fun <T> listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
private val Case2.listOf: A
|
||||
get() = A()
|
||||
|
||||
+163
@@ -0,0 +1,163 @@
|
||||
// !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-280
|
||||
* PLACE: overload-resolution, building-the-overload-candidate-set-ocs, call-with-named-parameters -> 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: 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): List<T> = TODO()
|
||||
|
||||
fun case1() {
|
||||
fun <T> Case1.listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
<!DEBUG_INFO_CALL("fqName: testsCase1.Case1.listOf; typeCall: function")!>listOf(elements1= arrayOf(1))<!>
|
||||
}
|
||||
}
|
||||
// FILE: Lib.kt
|
||||
package libPackageCase1
|
||||
import testsCase1.*
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): List<T> = TODO()
|
||||
fun <T> Case1.listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
// FILE: Lib.kt
|
||||
package libPackageCase1Explicit
|
||||
import testsCase1.*
|
||||
|
||||
fun <T> Case1.listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
// FILE: LibtestsPack.kt
|
||||
package testsCase1
|
||||
fun <T> Case1.listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
|
||||
|
||||
|
||||
// FILE: TestCase.kt
|
||||
// TESTCASE NUMBER: 2
|
||||
package testsCase2
|
||||
import libPackageCase2.*
|
||||
import libPackageCase2Explicit.listOf
|
||||
|
||||
class Case2(){
|
||||
fun <T> listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
val listOf: A
|
||||
get() = A()
|
||||
|
||||
fun case1() {
|
||||
fun <T> Case2.listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
<!DEBUG_INFO_CALL("fqName: testsCase2.Case2.listOf; typeCall: function")!>listOf(elements1= arrayOf(1))<!>
|
||||
}
|
||||
}
|
||||
class A {
|
||||
operator fun <T>invoke(vararg elements1: T): List<T> = TODO()
|
||||
}
|
||||
// FILE: Lib.kt
|
||||
package libPackageCase2
|
||||
import testsCase2.*
|
||||
|
||||
val Case2.listOf: A
|
||||
get() = A()
|
||||
public fun <T> listOf(vararg elements1: T): List<T> = TODO()
|
||||
fun <T> Case2.listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
// FILE: Lib.kt
|
||||
package libPackageCase2Explicit
|
||||
import testsCase2.*
|
||||
|
||||
val Case2.listOf: A
|
||||
get() = A()
|
||||
fun <T> Case2.listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
// FILE: LibtestsPack.kt
|
||||
package testsCase2
|
||||
val Case2.listOf: A
|
||||
get() = A()
|
||||
|
||||
fun <T> Case2.listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): 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): 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): List<T> = TODO()
|
||||
|
||||
<!DEBUG_INFO_CALL("fqName: testsCase3.A.invoke; typeCall: variable&invoke")!>listOf(elements1= arrayOf(1))<!>
|
||||
}
|
||||
}
|
||||
class A {
|
||||
operator fun <T>invoke(vararg elements1: T): 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): List<T> = TODO()
|
||||
fun <T> Case3.<!EXTENSION_FUNCTION_SHADOWED_BY_MEMBER_PROPERTY_WITH_INVOKE!>listOf<!>(vararg elements1: T): 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): List<T> = TODO()
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): 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): List<T> = TODO()
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
|
||||
|
||||
|
||||
+185
@@ -0,0 +1,185 @@
|
||||
// !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-280
|
||||
* PLACE: overload-resolution, building-the-overload-candidate-set-ocs, call-with-named-parameters -> 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: 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): List<T> = TODO()
|
||||
|
||||
<!DEBUG_INFO_CALL("fqName: testsCase1.Case1.case1_0.listOf; typeCall: extension function")!>listOf(elements1= arrayOf(1))<!>
|
||||
|
||||
fun case1_1() {
|
||||
fun <T> Case1.listOf(vararg elements1: T): List<T> = TODO()
|
||||
<!DEBUG_INFO_CALL("fqName: testsCase1.Case1.case1_0.case1_1.listOf; typeCall: extension function")!>listOf(elements1= arrayOf(1))<!>
|
||||
}
|
||||
}
|
||||
|
||||
}
|
||||
|
||||
// FILE: Lib.kt
|
||||
package libPackageCase1
|
||||
import testsCase1.*
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): List<T> = TODO()
|
||||
fun <T> Case1.listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
// FILE: Lib.kt
|
||||
package libPackageCase1Explicit
|
||||
import testsCase1.*
|
||||
|
||||
fun <T> Case1.listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
// FILE: LibtestsPack.kt
|
||||
package testsCase1
|
||||
fun <T> Case1.listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): 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): List<T> = TODO()
|
||||
<!DEBUG_INFO_CALL("fqName: testsCase2.Case2.case1_0.listOf; typeCall: extension function")!>listOf(elements1= arrayOf(1))<!>
|
||||
|
||||
fun case1_1() {
|
||||
fun <T> Case2.<!EXTENSION_FUNCTION_SHADOWED_BY_MEMBER_PROPERTY_WITH_INVOKE!>listOf<!>(vararg elements1: T): List<T> = TODO()
|
||||
<!DEBUG_INFO_CALL("fqName: testsCase2.Case2.case1_0.case1_1.listOf; typeCall: extension function")!>listOf(elements1= arrayOf(1))<!>
|
||||
}
|
||||
}
|
||||
|
||||
val Case2.listOf: A
|
||||
get() = A()
|
||||
|
||||
fun <T> Case2.<!EXTENSION_FUNCTION_SHADOWED_BY_MEMBER_PROPERTY_WITH_INVOKE!>listOf<!>(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
fun case2_0(){
|
||||
<!DEBUG_INFO_CALL("fqName: testsCase2.Case2.listOf; typeCall: extension function")!>listOf(elements1= arrayOf(1))<!>
|
||||
}
|
||||
|
||||
}
|
||||
class A {
|
||||
operator fun <T>invoke(vararg elements1: T): 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): List<T> = TODO()
|
||||
fun <T> Case2.<!EXTENSION_FUNCTION_SHADOWED_BY_MEMBER_PROPERTY_WITH_INVOKE!>listOf<!>(vararg elements1: T): 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): List<T> = TODO()
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): 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): List<T> = TODO()
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): 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): List<T> = TODO()
|
||||
<!DEBUG_INFO_CALL("fqName: testsCase3.A.invoke; typeCall: variable&invoke")!>listOf(elements1= arrayOf(1))<!>
|
||||
|
||||
fun case1_1() {
|
||||
// fun <T> Case3.listOf(vararg elements1: T): List<T> = TODO()
|
||||
<!DEBUG_INFO_CALL("fqName: testsCase3.A.invoke; typeCall: variable&invoke")!>listOf(elements1= arrayOf(1))<!>
|
||||
}
|
||||
}
|
||||
|
||||
val Case3.listOf: A
|
||||
get() = A()
|
||||
|
||||
//fun <T> Case3.listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
fun case2_0(){
|
||||
<!DEBUG_INFO_CALL("fqName: testsCase3.A.invoke; typeCall: variable&invoke")!>listOf(elements1= arrayOf(1))<!>
|
||||
}
|
||||
|
||||
}
|
||||
class A {
|
||||
operator fun <T>invoke(vararg elements1: T): 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): List<T> = TODO()
|
||||
fun <T> Case3.<!EXTENSION_FUNCTION_SHADOWED_BY_MEMBER_PROPERTY_WITH_INVOKE!>listOf<!>(vararg elements1: T): 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): List<T> = TODO()
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): 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): List<T> = TODO()
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
+136
@@ -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-280
|
||||
* PLACE: overload-resolution, building-the-overload-candidate-set-ocs, call-with-named-parameters -> 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: 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))<!>
|
||||
}
|
||||
}
|
||||
|
||||
// FILE: Lib.kt
|
||||
package libPackageCase1
|
||||
import testsCase1.*
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): List<T> = TODO()
|
||||
fun <T> Case1.listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
// FILE: Lib.kt
|
||||
package libPackageCase1Explicit
|
||||
import testsCase1.*
|
||||
|
||||
fun <T> Case1.listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
// FILE: LibtestsPack.kt
|
||||
package testsCase1
|
||||
fun <T> Case1.listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): 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))<!>
|
||||
}
|
||||
}
|
||||
|
||||
class A {
|
||||
operator fun <T>invoke(vararg elements1: T): List<T> = TODO()
|
||||
}
|
||||
|
||||
// FILE: Lib.kt
|
||||
package libPackageCase2
|
||||
import testsCase2.*
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): List<T> = TODO()
|
||||
fun <T> Case2.listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
// FILE: Lib.kt
|
||||
package libPackageCase2Explicit
|
||||
import testsCase2.*
|
||||
|
||||
val Case2.listOf: A
|
||||
get() = A()
|
||||
|
||||
fun <T> Case2.listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
// FILE: LibtestsPack.kt
|
||||
package testsCase2
|
||||
fun <T> Case2.listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): 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))<!>
|
||||
}
|
||||
}
|
||||
|
||||
class A {
|
||||
operator fun <T>invoke(vararg elements1: T): List<T> = TODO()
|
||||
}
|
||||
|
||||
// FILE: Lib.kt
|
||||
package libPackageCase3
|
||||
import testsCase3.*
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): List<T> = TODO()
|
||||
fun <T> Case3.listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
// FILE: Lib.kt
|
||||
package libPackageCase3Explicit
|
||||
import testsCase3.*
|
||||
|
||||
val Case3.listOf: A
|
||||
get() = A()
|
||||
|
||||
private fun <T> Case3.listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
// FILE: LibtestsPack.kt
|
||||
package testsCase3
|
||||
fun <T> Case3.listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
+125
@@ -0,0 +1,125 @@
|
||||
// !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-280
|
||||
* PLACE: overload-resolution, building-the-overload-candidate-set-ocs, call-with-named-parameters -> 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: 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))<!>
|
||||
}
|
||||
}
|
||||
|
||||
// FILE: Lib.kt
|
||||
package libPackageCase1
|
||||
import testsCase1.*
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): List<T> = TODO()
|
||||
fun <T> Case1.listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
// FILE: Lib.kt
|
||||
package libPackageCase1Explicit
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
// FILE: LibtestsPack.kt
|
||||
package testsCase1
|
||||
fun <T> Case1.listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): 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))<!>
|
||||
}
|
||||
}
|
||||
class A {
|
||||
operator fun <T>invoke(vararg elements1: T): List<T> = TODO()
|
||||
}
|
||||
|
||||
// FILE: Lib.kt
|
||||
package libPackageCase2
|
||||
import testsCase2.*
|
||||
|
||||
val Case2.listOf: A
|
||||
get() = A()
|
||||
|
||||
fun <T> listOf(vararg elements1: T): List<T> = TODO()
|
||||
fun <T> Case2.listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
// FILE: Lib.kt
|
||||
package libPackageCase2Explicit
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
// FILE: LibtestsPack.kt
|
||||
package testsCase2
|
||||
fun <T> Case2.listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): 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))<!>
|
||||
}
|
||||
}
|
||||
class A {
|
||||
operator fun <T>invoke(vararg elements1: T): List<T> = TODO()
|
||||
}
|
||||
|
||||
// FILE: Lib.kt
|
||||
package libPackageCase3
|
||||
import testsCase3.*
|
||||
|
||||
fun <T> listOf(vararg elements1: T): List<T> = TODO()
|
||||
fun <T> Case3.listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
// FILE: Lib.kt
|
||||
package libPackageCase3Explicit
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
// FILE: LibtestsPack.kt
|
||||
package testsCase3
|
||||
|
||||
val Case3.listOf: A
|
||||
get() = A()
|
||||
|
||||
private fun <T> Case3.listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
|
||||
+120
@@ -0,0 +1,120 @@
|
||||
// !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-280
|
||||
* PLACE: overload-resolution, building-the-overload-candidate-set-ocs, call-with-named-parameters -> 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: 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))<!>
|
||||
}
|
||||
}
|
||||
|
||||
// FILE: Lib.kt
|
||||
package libPackageCase1
|
||||
import testsCase1.*
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): List<T> = TODO()
|
||||
fun <T> Case1.listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
// FILE: Lib.kt
|
||||
package libPackageCase1Explicit
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
// FILE: LibtestsPack.kt
|
||||
package testsCase1
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): 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))<!>
|
||||
}
|
||||
}
|
||||
class A {
|
||||
operator fun <T>invoke(vararg elements1: T): List<T> = TODO()
|
||||
}
|
||||
|
||||
|
||||
// FILE: Lib.kt
|
||||
package libPackageCase2
|
||||
import testsCase2.*
|
||||
|
||||
val Case2.listOf: A
|
||||
get() = A()
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): List<T> = TODO()
|
||||
fun <T> Case2.listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
// FILE: Lib.kt
|
||||
package libPackageCase2Explicit
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
// FILE: LibtestsPack.kt
|
||||
package testsCase2
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): 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))<!>
|
||||
}
|
||||
}
|
||||
class A {
|
||||
operator fun <T>invoke(vararg elements1: T): List<T> = TODO()
|
||||
}
|
||||
|
||||
|
||||
// FILE: Lib.kt
|
||||
package libPackageCase3
|
||||
import testsCase3.*
|
||||
|
||||
val Case3.listOf: A
|
||||
get() = A()
|
||||
|
||||
fun <T> listOf(vararg elements1: T): List<T> = TODO()
|
||||
private fun <T> Case3.listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
// FILE: Lib.kt
|
||||
package libPackageCase3Explicit
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
// FILE: LibtestsPack.kt
|
||||
package testsCase3
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
+69
@@ -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-280
|
||||
* PLACE: overload-resolution, building-the-overload-candidate-set-ocs, call-with-named-parameters -> 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: Implicit receiver: sets of local, explicitly imported, declared in the package scope and star-imported extension callables
|
||||
*/
|
||||
|
||||
// FILE: Extensions.kt
|
||||
package libPackage
|
||||
|
||||
public fun String.padEnd(length: Int, padChar: Char = ' '): String = TODO()
|
||||
|
||||
// FILE: TestCase1.kt
|
||||
|
||||
package sentence3
|
||||
|
||||
import libPackage.*
|
||||
import libPackage.padEnd
|
||||
|
||||
private fun String.padEnd(length: Int, padChar: Char = ' '): String = TODO()
|
||||
|
||||
// TESTCASE NUMBER: 1
|
||||
class Case1() {
|
||||
fun String.padEnd(length: Int, padChar: Char = ' '): String = TODO()
|
||||
fun case1(s: String) {
|
||||
s.<!DEBUG_INFO_CALL("fqName: sentence3.Case1.padEnd; typeCall: extension function")!>padEnd(length = 3)<!>
|
||||
}
|
||||
}
|
||||
|
||||
// FILE: TestCase2.kt
|
||||
package sentence3
|
||||
import libPackage.*
|
||||
|
||||
//import libPackage.orEmpty
|
||||
|
||||
private fun String.padEnd(length: Int, padChar: Char = ' '): String = TODO()
|
||||
|
||||
// TESTCASE NUMBER: 2
|
||||
class Case2() {
|
||||
fun String.padEnd(length: Int, padChar: Char = ' '): String = TODO()
|
||||
fun case2(s: String) {
|
||||
s.<!DEBUG_INFO_CALL("fqName: sentence3.Case2.padEnd; typeCall: extension function")!>padEnd(length = 3)<!>
|
||||
}
|
||||
}
|
||||
|
||||
// TESTCASE NUMBER: 3
|
||||
class Case3() {
|
||||
public fun String.padEnd(length: Int, padChar: Char = ' '): String = TODO()
|
||||
fun case3(s: String) {
|
||||
s.<!DEBUG_INFO_CALL("fqName: sentence3.Case3.padEnd; typeCall: extension function")!>padEnd(length = 3)<!>
|
||||
fun innerFirst(s: String?) {
|
||||
fun String.padEnd(length: Int, padChar: Char = ' '): String = TODO()
|
||||
s?.<!DEBUG_INFO_CALL("fqName: sentence3.Case3.case3.innerFirst.padEnd; typeCall: extension function")!>padEnd(length = 3)<!>
|
||||
}
|
||||
|
||||
fun innerSecond() {
|
||||
fun String.padEnd(length: Int, padChar: Char = ' '): String = TODO()
|
||||
s.<!DEBUG_INFO_CALL("fqName: sentence3.Case3.case3.innerSecond.padEnd; typeCall: extension function")!>padEnd(length = 3)<!>
|
||||
}
|
||||
s.<!DEBUG_INFO_CALL("fqName: sentence3.Case3.padEnd; typeCall: extension function")!>padEnd(length = 3)<!>
|
||||
}
|
||||
}
|
||||
+35
@@ -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-280
|
||||
* PLACE: overload-resolution, building-the-overload-candidate-set-ocs, call-with-named-parameters -> 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: Implicit receiver: sets of explicitly imported, declared in the package scope and star-imported extension callables
|
||||
*/
|
||||
|
||||
// FILE: Extensions.kt
|
||||
package libPackageExplicit
|
||||
|
||||
public fun String.padEnd(lengthParam: Int, padChar: Char = ' '): String = TODO()
|
||||
|
||||
// FILE: Extensions.kt
|
||||
package libPackage
|
||||
|
||||
public fun String.padEnd(lengthParam: Int, padChar: Char = ' '): String = TODO()
|
||||
|
||||
// FILE: TestCase1.kt
|
||||
package tests
|
||||
|
||||
import libPackage.*
|
||||
import libPackageExplicit.padEnd
|
||||
|
||||
// TESTCASE NUMBER: 1
|
||||
fun case1(s: String) {
|
||||
s.<!DEBUG_INFO_CALL("fqName: libPackageExplicit.padEnd; typeCall: extension function")!>padEnd(lengthParam = 5)<!>
|
||||
}
|
||||
|
||||
+31
@@ -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-280
|
||||
* PLACE: overload-resolution, building-the-overload-candidate-set-ocs, call-with-named-parameters -> 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: Implicit receiver: sets of declared in the package scope and star-imported extension callables
|
||||
*/
|
||||
|
||||
// FILE: Extensions.kt
|
||||
package libPackage
|
||||
|
||||
public fun String.padEnd(lengthParam: Int, padChar: Char = ' '): String = TODO()
|
||||
|
||||
// FILE: TestCase2.kt
|
||||
package tests
|
||||
|
||||
import libPackage.*
|
||||
|
||||
public fun String.padEnd(lengthParam: Int, padChar: Char = ' '): String = TODO()
|
||||
|
||||
// TESTCASE NUMBER: 1
|
||||
fun case2(s: String) {
|
||||
s.<!DEBUG_INFO_CALL("fqName: tests.padEnd; typeCall: extension function")!>padEnd(lengthParam = 5)<!>
|
||||
}
|
||||
|
||||
+28
@@ -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-280
|
||||
* PLACE: overload-resolution, building-the-overload-candidate-set-ocs, call-with-named-parameters -> 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: Implicit receiver: set of star-imported extension callables
|
||||
*/
|
||||
|
||||
// FILE: Extensions.kt
|
||||
package libPackage
|
||||
|
||||
public fun String.padEnd(lengthParam: Int, padChar: Char = ' '): String = TODO()
|
||||
|
||||
// FILE: TestCase2.kt
|
||||
package sentence3
|
||||
|
||||
import libPackage.*
|
||||
|
||||
// TESTCASE NUMBER: 1
|
||||
fun case2(s: String) {
|
||||
s.<!DEBUG_INFO_CALL("fqName: libPackage.padEnd; typeCall: extension function")!>padEnd(lengthParam = 5)<!>
|
||||
}
|
||||
+27
@@ -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-280
|
||||
* PLACE: overload-resolution, building-the-overload-candidate-set-ocs, call-with-named-parameters -> 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: Implicit receiver: set of implicitly-imported extension callables
|
||||
*/
|
||||
|
||||
// FILE: Extensions.kt
|
||||
package libPackage
|
||||
|
||||
public fun String.padEnd(lengthParam: Int, padChar: Char = ' '): String = TODO()
|
||||
|
||||
// FILE: TestCase.kt
|
||||
package testCase1
|
||||
import libPackage.*
|
||||
|
||||
// TESTCASE NUMBER: 1
|
||||
fun case2(s: String) {
|
||||
s.<!DEBUG_INFO_CALL("fqName: kotlin.text.padEnd; typeCall: extension function")!>padEnd(length = 5)<!>
|
||||
}
|
||||
+27
@@ -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-280
|
||||
* PLACE: overload-resolution, building-the-overload-candidate-set-ocs, call-with-named-parameters -> 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: Implicit receiver: set of implicitly-imported extension callables
|
||||
*/
|
||||
|
||||
// FILE: Extensions.kt
|
||||
package libPackage
|
||||
|
||||
private fun String.padEnd(length: Int, padChar: Char = ' '): String = TODO()
|
||||
|
||||
// FILE: TestCase.kt
|
||||
package testCase1
|
||||
import libPackage.*
|
||||
|
||||
// TESTCASE NUMBER: 1
|
||||
fun case2(s: String) {
|
||||
s.<!DEBUG_INFO_CALL("fqName: kotlin.text.padEnd; typeCall: extension function")!>padEnd(length = 5)<!>
|
||||
}
|
||||
+104
@@ -0,0 +1,104 @@
|
||||
// !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-280
|
||||
* PLACE: overload-resolution, building-the-overload-candidate-set-ocs, call-with-named-parameters -> 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: 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))<!>
|
||||
}
|
||||
|
||||
// FILE: Lib.kt
|
||||
package libPackageCase1
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
// FILE: Lib.kt
|
||||
package libPackageCase1Explicit
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
// FILE: LibtestsPack.kt
|
||||
package testsCase1
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): 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))<!>
|
||||
}
|
||||
class A {
|
||||
operator fun <T>invoke(vararg elements1: T): List<T> = TODO()
|
||||
}
|
||||
// FILE: Lib.kt
|
||||
package libPackageCase2
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
// FILE: Lib.kt
|
||||
package libPackageCase2Explicit
|
||||
import testsCase2.*
|
||||
|
||||
val listOf: A
|
||||
get() = A()
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
// FILE: LibtestsPack.kt
|
||||
package testsCase2
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): 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))<!>
|
||||
}
|
||||
class A {
|
||||
operator fun <T>invoke(vararg elements1: T): List<T> = TODO()
|
||||
}
|
||||
// FILE: Lib.kt
|
||||
package libPackageCase3
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
// FILE: Lib.kt
|
||||
package libPackageCase3Explicit
|
||||
import testsCase3.*
|
||||
|
||||
val listOf: A
|
||||
get() = A()
|
||||
|
||||
private fun <T> listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
// FILE: LibtestsPack.kt
|
||||
package testsCase3
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
+88
@@ -0,0 +1,88 @@
|
||||
// !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-280
|
||||
* PLACE: overload-resolution, building-the-overload-candidate-set-ocs, call-with-named-parameters -> 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: 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))<!>
|
||||
}
|
||||
|
||||
// FILE: Lib.kt
|
||||
package libPackageCase1
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
// FILE: LibtestsPack.kt
|
||||
package testsCase1
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): 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))<!>
|
||||
}
|
||||
|
||||
// FILE: Lib.kt
|
||||
package libPackageCase2
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): 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): List<T> = TODO()
|
||||
}
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): 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))<!>
|
||||
}
|
||||
|
||||
// FILE: Lib.kt
|
||||
package libPackageCase3
|
||||
|
||||
public fun <T> listOf(vararg elements1: T): 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): List<T> = TODO()
|
||||
}
|
||||
|
||||
private fun <T> listOf(vararg elements1: T): List<T> = TODO()
|
||||
|
||||
+228
@@ -0,0 +1,228 @@
|
||||
{
|
||||
"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-280",
|
||||
"casesNumber": 3,
|
||||
"description": "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-named-parameters/p-1/pos/2.10.kt",
|
||||
"unexpectedBehaviour": false
|
||||
},
|
||||
{
|
||||
"specVersion": "0.1-280",
|
||||
"casesNumber": 3,
|
||||
"description": "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-named-parameters/p-1/pos/2.14.kt",
|
||||
"unexpectedBehaviour": false
|
||||
},
|
||||
{
|
||||
"specVersion": "0.1-280",
|
||||
"casesNumber": 1,
|
||||
"description": "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-named-parameters/p-1/pos/2.5.kt",
|
||||
"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",
|
||||
"path": "compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-named-parameters/p-1/pos/2.15.kt",
|
||||
"unexpectedBehaviour": false
|
||||
},
|
||||
{
|
||||
"specVersion": "0.1-280",
|
||||
"casesNumber": 1,
|
||||
"description": "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-named-parameters/p-1/pos/2.4.kt",
|
||||
"unexpectedBehaviour": false
|
||||
},
|
||||
{
|
||||
"specVersion": "0.1-280",
|
||||
"casesNumber": 2,
|
||||
"description": "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-named-parameters/p-1/pos/2.11.kt",
|
||||
"unexpectedBehaviour": false
|
||||
},
|
||||
{
|
||||
"specVersion": "0.1-280",
|
||||
"casesNumber": 3,
|
||||
"description": "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-named-parameters/p-1/pos/2.9.kt",
|
||||
"unexpectedBehaviour": false
|
||||
},
|
||||
{
|
||||
"specVersion": "0.1-280",
|
||||
"casesNumber": 3,
|
||||
"description": "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-named-parameters/p-1/pos/2.8.kt",
|
||||
"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",
|
||||
"path": "compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-named-parameters/p-1/pos/2.16.kt",
|
||||
"unexpectedBehaviour": false
|
||||
},
|
||||
{
|
||||
"specVersion": "0.1-280",
|
||||
"casesNumber": 1,
|
||||
"description": "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-named-parameters/p-1/pos/2.7.kt",
|
||||
"unexpectedBehaviour": false
|
||||
},
|
||||
{
|
||||
"specVersion": "0.1-280",
|
||||
"casesNumber": 3,
|
||||
"description": "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-named-parameters/p-1/pos/2.12.kt",
|
||||
"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",
|
||||
"path": "compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-named-parameters/p-1/pos/2.3.kt",
|
||||
"unexpectedBehaviour": false
|
||||
},
|
||||
{
|
||||
"specVersion": "0.1-280",
|
||||
"casesNumber": 3,
|
||||
"description": "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-named-parameters/p-1/pos/2.13.kt",
|
||||
"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",
|
||||
"path": "compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-named-parameters/p-1/pos/2.2.kt",
|
||||
"unexpectedBehaviour": false
|
||||
},
|
||||
{
|
||||
"specVersion": "0.1-280",
|
||||
"casesNumber": 1,
|
||||
"description": "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-named-parameters/p-1/pos/2.6.kt",
|
||||
"unexpectedBehaviour": false
|
||||
}
|
||||
]
|
||||
}
|
||||
},
|
||||
"3": {
|
||||
"pos": {
|
||||
"1": [
|
||||
{
|
||||
"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",
|
||||
"path": "compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-named-parameters/p-1/pos/2.1.kt",
|
||||
"unexpectedBehaviour": true
|
||||
}
|
||||
]
|
||||
}
|
||||
}
|
||||
}
|
||||
Generated
+119
@@ -3504,6 +3504,125 @@ public class DiagnosticsTestSpecGenerated extends AbstractDiagnosticsTestSpec {
|
||||
}
|
||||
}
|
||||
|
||||
@TestMetadata("compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-named-parameters")
|
||||
@TestDataPath("$PROJECT_ROOT")
|
||||
@RunWith(JUnit3RunnerWithInners.class)
|
||||
public static class Call_with_named_parameters extends AbstractDiagnosticsTestSpec {
|
||||
private void runTest(String testDataFilePath) throws Exception {
|
||||
KotlinTestUtils.runTest(this::doTest, this, testDataFilePath);
|
||||
}
|
||||
|
||||
public void testAllFilesPresentInCall_with_named_parameters() throws Exception {
|
||||
KotlinTestUtils.assertAllTestsPresentByMetadataWithExcluded(this.getClass(), new File("compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-named-parameters"), Pattern.compile("^(.+)\\.kt$"), null, true);
|
||||
}
|
||||
|
||||
@TestMetadata("compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-named-parameters/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-named-parameters/p-1"), Pattern.compile("^(.+)\\.kt$"), null, true);
|
||||
}
|
||||
|
||||
@TestMetadata("compiler/tests-spec/testData/diagnostics/linked/overload-resolution/building-the-overload-candidate-set-ocs/call-with-named-parameters/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-named-parameters/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-named-parameters/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-named-parameters/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-named-parameters/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-named-parameters/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-named-parameters/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-named-parameters/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-named-parameters/p-1/pos/2.16.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-named-parameters/p-1/pos/2.2.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-named-parameters/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-named-parameters/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-named-parameters/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-named-parameters/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-named-parameters/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-named-parameters/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-named-parameters/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-named-parameters/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)
|
||||
|
||||
Reference in New Issue
Block a user