Alexander Udalov
401f0ac583
"// TARGET_BACKEND: JVM" more clearly says that the test is JVM-specific, rather than DONT_TARGET_EXACT_BACKEND which excludes all other backends.
23 lines
281 B
Kotlin
Vendored
23 lines
281 B
Kotlin
Vendored
// TARGET_BACKEND: JVM
|
|
// MODULE: lib
|
|
// FILE: D.java
|
|
|
|
public class D {
|
|
public final String result = "OK";
|
|
}
|
|
|
|
// MODULE: main(lib)
|
|
// FILE: 1.kt
|
|
|
|
// KT-4878
|
|
|
|
interface T {
|
|
fun Int.foo(d: D) = d.result!!
|
|
}
|
|
|
|
class A : T {
|
|
fun bar() = 42.foo(D())
|
|
}
|
|
|
|
fun box() = A().bar()
|