azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

K1/K2: add test for KT-62959

Browse Source
This commit is contained in:
Mikhail Glukhikh
2023-11-26 23:46:31 +01:00
committed by Space Team
parent 67d32c3072
commit 3c20a7b82a
7 changed files with 56 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/testData/diagnostics/tests/capturedTypesSubtyping.fir.kt
Vendored
+13
View File
@@ -0,0 +1,13 @@
// ISSUE: KT-62959
fun bar(x: Inv<out CharSequence>) {
x.foo { <!ARGUMENT_TYPE_MISMATCH("CapturedType(out kotlin.CharSequence); kotlin.CharSequence")!>it<!> }
x.bar { <!ARGUMENT_TYPE_MISMATCH("CapturedType(out kotlin.CharSequence); kotlin.CharSequence"), TYPE_MISMATCH("CapturedType(out kotlin.CharSequence); CapturedType(out kotlin.CharSequence)")!>it.e()<!> }
}
interface Inv<E> {
fun foo(x: (E) -> E) {}
fun bar(x: (Inv<E>) -> E) {}
fun e(): E = null!!
}
compiler/testData/diagnostics/tests/capturedTypesSubtyping.kt
Vendored
+13
View File
@@ -0,0 +1,13 @@
// ISSUE: KT-62959
fun bar(x: Inv<out CharSequence>) {
x.foo { <!TYPE_MISMATCH("Nothing; CharSequence"), TYPE_MISMATCH("Nothing; CharSequence")!>it<!> }
x.bar { <!TYPE_MISMATCH("Nothing; CharSequence"), TYPE_MISMATCH("Nothing; CharSequence")!>it.e()<!> }
}
interface Inv<E> {
fun foo(x: (E) -> E) {}
fun bar(x: (Inv<E>) -> E) {}
fun e(): E = null!!
}