Fix default interface generic extension fun call with inline class type

When we've determined that we are going to invoke an erased inline class
method ('static foo-impl(this, ...)' in inline class), keep track of it
so that the remaining type mapping logic proceeds correctly.

 #KT-26998 Fixed Target versions 1.3.20
This commit is contained in:
Dmitry Petrov
2018-09-20 15:28:54 +03:00
parent 95010de32e
commit 0f898dc6dc
7 changed files with 68 additions and 1 deletions
@@ -0,0 +1,39 @@
// !LANGUAGE: +InlineClasses
// IGNORE_BACKEND: JVM_IR
interface IFoo<T : IFoo<T>> {
fun T.foo(): String = bar()
fun bar(): String
}
inline class Z(val x: Int) : IFoo<Z> {
override fun bar(): String = "OK"
}
inline class L(val x: Long) : IFoo<L> {
override fun bar(): String = "OK"
}
inline class S(val x: String) : IFoo<S> {
override fun bar(): String = x
}
fun Z.testZ() {
if (Z(42).foo() != "OK") throw AssertionError()
}
fun L.testL() {
if (L(4L).foo() != "OK") throw AssertionError()
}
fun S.testS() {
if (S("OK").foo() != "OK") throw AssertionError()
}
fun box(): String {
Z(42).testZ()
L(4L).testL()
S("").testS()
return "OK"
}