Pavel Mikhailovskii
30 lines
888 B
Kotlin
Vendored
30 lines
888 B
Kotlin
Vendored
// IGNORE_BACKEND: JVM
|
|
// !LANGUAGE: +InlineClasses
|
|
// LAMBDAS: INDY
|
|
|
|
inline class A(val value: String?)
|
|
|
|
fun interface B {
|
|
fun f(x: A): A
|
|
}
|
|
|
|
inline fun g(unit: Unit = Unit, b: B): A {
|
|
return b.f(A("Fail"))
|
|
}
|
|
|
|
fun box(): String {
|
|
val b = { _ : A -> A("OK") }
|
|
return g(b = b).value!!
|
|
}
|
|
|
|
// 0 public final invoke-ZsE1S_E-ZsE1S_E\(Ljava/lang/String;\)Ljava/lang/String;
|
|
// 0 public final invoke-ZsE1S_E\(Ljava/lang/String;\)Ljava/lang/String;
|
|
// 0 public synthetic bridge invoke\(Ljava/lang/Object;\)Ljava/lang/Object;
|
|
|
|
// @B.class:
|
|
// 1 public abstract f-ZsE1S_E\(Ljava/lang/String;\)Ljava/lang/String;
|
|
// @MangledSamWrappersKt.class:
|
|
// 3 INVOKEINTERFACE B.f-ZsE1S_E \(Ljava/lang/String;\)Ljava/lang/String;
|
|
// 0 private final static box\$lambda-0\(LA;\)LA;
|
|
// @MangledSamWrappersKt$sam$B$0.class:
|
|
// public final synthetic f-ZsE1S_E\(Ljava/lang/String;\)Ljava/lang/String; |