Add more tests on inline class boxing in covariant overrides

compiler/testData/codegen/box/inlineClasses/boxReturnValueInLambda/boxInt.kt

@@ -1,5 +1,3 @@
-// IGNORE_BACKEND: JVM_IR
-
 inline class X(val x: Int)
 
 fun useX(x: X): String = if (x.x == 42) "OK" else "fail: $x"

compiler/testData/codegen/box/inlineClasses/boxReturnValueInLambda/boxNullableInt.kt

@@ -1,5 +1,3 @@
-// IGNORE_BACKEND: JVM_IR
-
 inline class X(val x: Int?)
 
 fun useX(x: X): String = if (x.x == 42) "OK" else "fail: $x"

compiler/testData/codegen/box/inlineClasses/boxReturnValueInLambda/boxNullableIntNull.kt

@@ -1,5 +1,3 @@
-// IGNORE_BACKEND: JVM_IR
-
 inline class X(val x: Int?)
 
 fun useX(x: X): String = if (x.x == null) "OK" else "fail: $x"

compiler/testData/codegen/box/inlineClasses/boxReturnValueInLambda/boxNullableString.kt

@@ -1,5 +1,3 @@
-// IGNORE_BACKEND: JVM_IR
-
 inline class X(val x: String?)
 
 fun useX(x: X): String = x.x ?: "fail: $x"

compiler/testData/codegen/box/inlineClasses/boxReturnValueInLambda/boxNullableStringNull.kt

@@ -1,5 +1,3 @@
-// IGNORE_BACKEND: JVM_IR
-
 inline class X(val x: String?)
 
 fun useX(x: X): String = if (x.x == null) "OK" else "fail: $x"

compiler/testData/codegen/box/inlineClasses/boxReturnValueInLambda/boxString.kt

@@ -1,5 +1,3 @@
-// IGNORE_BACKEND: JVM_IR
-
 inline class X(val x: String)
 
 fun useX(x: X): String = x.x

compiler/testData/codegen/box/inlineClasses/boxReturnValueOnOverride/covariantOverrideChainErasedToAny.kt

@@ -0,0 +1,34 @@
+// IGNORE_BACKEND_FIR: JVM_IR
+// IGNORE_BACKEND: JVM_IR
+
+inline class X(val x: Any)
+
+interface IBar {
+    fun bar(): Any
+}
+
+interface IFoo : IBar {
+    fun foo(): Any
+    override fun bar(): X
+}
+
+class TestX : IFoo {
+    override fun foo(): X = X("O")
+    override fun bar(): X = X("K")
+}
+
+fun box(): String {
+    val t: IFoo = TestX()
+    val tFoo = t.foo()
+    if (tFoo !is X) {
+        throw AssertionError("X expected: $tFoo")
+    }
+
+    val t2: IBar = TestX()
+    val tBar = t.bar()
+    if (tBar !is X) {
+        throw AssertionError("X expected: $tBar")
+    }
+
+    return (t.foo() as X).x!!.toString() + (t2.bar() as X).x!!.toString()
+}

compiler/testData/codegen/box/inlineClasses/boxReturnValueOnOverride/covariantOverrideChainErasedToNullableAny.kt

@@ -0,0 +1,34 @@
+// IGNORE_BACKEND_FIR: JVM_IR
+// IGNORE_BACKEND: JVM_IR
+
+inline class X(val x: Any?)
+
+interface IBar {
+    fun bar(): Any
+}
+
+interface IFoo : IBar {
+    fun foo(): Any
+    override fun bar(): X
+}
+
+class TestX : IFoo {
+    override fun foo(): X = X("O")
+    override fun bar(): X = X("K")
+}
+
+fun box(): String {
+    val t: IFoo = TestX()
+    val tFoo = t.foo()
+    if (tFoo !is X) {
+        throw AssertionError("X expected: $tFoo")
+    }
+
+    val t2: IBar = TestX()
+    val tBar = t.bar()
+    if (tBar !is X) {
+        throw AssertionError("X expected: $tBar")
+    }
+
+    return (t.foo() as X).x!!.toString() + (t2.bar() as X).x!!.toString()
+}

compiler/testData/codegen/box/inlineClasses/boxReturnValueOnOverride/overrideGenericWithNullableInlineClassUpperBoundWithNonNullAny.kt

@@ -0,0 +1,21 @@
+inline class X(val x: Any)
+
+interface IFoo<out T : X?> {
+    fun foo(): T
+}
+
+class Test : IFoo<X> {
+    override fun foo(): X = X("OK")
+}
+
+fun box(): String {
+    val t1: IFoo<X?> = Test()
+    val x1 = t1.foo()
+    if (x1 != X("OK")) throw AssertionError("x1: $x1")
+
+    val t2 = Test()
+    val x2 = t2.foo()
+    if (x2 != X("OK")) throw AssertionError("x2: $x2")
+
+    return "OK"
+}

compiler/testData/codegen/box/inlineClasses/boxReturnValueOnOverride/overrideGenericWithNullableInlineClassUpperBoundWithNonNullNullableAny.kt

@@ -0,0 +1,23 @@
+// IGNORE_BACKEND_FIR: JVM_IR
+
+inline class X(val x: Any?)
+
+interface IFoo<out T : X?> {
+    fun foo(): T
+}
+
+class Test : IFoo<X> {
+    override fun foo(): X = X("OK")
+}
+
+fun box(): String {
+    val t1: IFoo<X?> = Test()
+    val x1 = t1.foo()
+    if (x1 != X("OK")) throw AssertionError("x1: $x1")
+
+    val t2 = Test()
+    val x2 = t2.foo()
+    if (x2 != X("OK")) throw AssertionError("x2: $x2")
+
+    return "OK"
+}

compiler/testData/codegen/box/inlineClasses/boxReturnValueOnOverride/overrideGenericWithNullableInlineClassUpperBoundWithNonNullNullableAnyNull.kt

@@ -0,0 +1,24 @@
+// IGNORE_BACKEND_FIR: JVM_IR
+// IGNORE_BACKEND: JS_IR
+
+inline class X(val x: Any?)
+
+interface IFoo<out T : X?> {
+    fun foo(): T
+}
+
+class Test : IFoo<X> {
+    override fun foo(): X = X(null)
+}
+
+fun box(): String {
+    val t1: IFoo<X?> = Test()
+    val x1 = t1.foo()
+    if (x1 != X(null)) throw AssertionError("x1: $x1")
+
+    val t2 = Test()
+    val x2 = t2.foo()
+    if (x2 != X(null)) throw AssertionError("x2: $x2")
+
+    return "OK"
+}

compiler/testData/codegen/box/inlineClasses/boxReturnValueOnOverride/overrideNullableInlineClassWithNonNullAny.kt

@@ -0,0 +1,21 @@
+inline class X(val x: Any)
+
+interface IFoo {
+    fun foo(): X?
+}
+
+class Test : IFoo {
+    override fun foo(): X = X("OK")
+}
+
+fun box(): String {
+    val t1: IFoo = Test()
+    val x1 = t1.foo()
+    if (x1 != X("OK")) throw AssertionError("x1: $x1")
+
+    val t2 = Test()
+    val x2 = t2.foo()
+    if (x2 != X("OK")) throw AssertionError("x2: $x2")
+
+    return "OK"
+}

compiler/testData/codegen/box/inlineClasses/boxReturnValueOnOverride/overrideNullableInlineClassWithNonNullNullableAny.kt

@@ -0,0 +1,23 @@
+// IGNORE_BACKEND_FIR: JVM_IR
+
+inline class X(val x: Any?)
+
+interface IFoo {
+    fun foo(): X?
+}
+
+class Test : IFoo {
+    override fun foo(): X = X("OK")
+}
+
+fun box(): String {
+    val t1: IFoo = Test()
+    val x1 = t1.foo()
+    if (x1 != X("OK")) throw AssertionError("x1: $x1")
+
+    val t2 = Test()
+    val x2 = t2.foo()
+    if (x2 != X("OK")) throw AssertionError("x2: $x2")
+
+    return "OK"
+}

compiler/testData/codegen/box/inlineClasses/boxReturnValueOnOverride/overrideNullableInlineClassWithNonNullNullableAnyNull.kt

@@ -0,0 +1,23 @@
+// IGNORE_BACKEND_FIR: JVM_IR
+
+inline class X(val x: Any?)
+
+interface IFoo {
+    fun foo(): X?
+}
+
+class Test : IFoo {
+    override fun foo(): X = X(null)
+}
+
+fun box(): String {
+    val t1: IFoo = Test()
+    val x1 = t1.foo()
+    if (x1 != X(null)) throw AssertionError("x1: $x1")
+
+    val t2 = Test()
+    val x2 = t2.foo()
+    if (x2 != X(null)) throw AssertionError("x2: $x2")
+
+    return "OK"
+}