JVM IR: Generate interface delegations for specialized interface defaults

This commit is contained in:
Steven Schäfer
2020-01-13 12:03:29 +01:00
committed by Georgy Bronnikov
parent 8746d08dd5
commit a49ed1eca2
8 changed files with 52 additions and 5 deletions
@@ -0,0 +1,16 @@
// IGNORE_BACKEND_FIR: JVM_IR
interface A {
val result: Any get() = "Fail"
}
interface B : A {
override val result: String get() = "OK"
}
abstract class AImpl : A
class BImpl : AImpl(), B
fun box(): String =
(BImpl() as A).result.toString()