K2: add tests for KT-58579 and for KT-64090 reproduction

This commit is contained in:
Mikhail Glukhikh
2023-12-20 15:05:55 +01:00
committed by Space Team
parent f45d92eebc
commit d5b784805b
11 changed files with 153 additions and 0 deletions
@@ -0,0 +1,25 @@
// TARGET_BACKEND: JVM_IR
// IGNORE_BACKEND_K2: JVM_IR
// ISSUE: KT-64090
// MODULE: lib
// FILE: Invariant.java
public class Invariant<T> {}
// FILE: Generic.java
public class Generic<T> {
public class Inner {}
public static Invariant<? extends Generic.Inner> foo() {
return null;
}
}
// MODULE: main(lib)
// FILE: Main.kt
fun box(): String {
val value = Generic.foo()
value.bar()
return "OK"
}
fun <T> T.bar() {}
@@ -0,0 +1,22 @@
// TARGET_BACKEND: JVM_IR
// ISSUE: KT-58579
// FILE: Invariant.java
public class Invariant<T> {}
// FILE: Generic.java
public class Generic<T> {
public class Inner {}
public static Invariant<? extends Generic.Inner> foo() {
return null;
}
}
// FILE: Main.kt
fun box(): String {
val value = Generic.foo()
value.bar()
return "OK"
}
fun <T> T.bar() {}