Ilmir Usmanov
26 lines
499 B
Kotlin
Vendored
26 lines
499 B
Kotlin
Vendored
// MODULE: lib
|
|
// WITH_RUNTIME
|
|
// FILE: lib.kt
|
|
|
|
@Suppress("OPTIONAL_DECLARATION_USAGE_IN_NON_COMMON_SOURCE")
|
|
@kotlin.jvm.JvmInline
|
|
value class Z private constructor(private val value: Any?) {
|
|
fun result(): String = value as String
|
|
|
|
companion object {
|
|
fun create(value: Any?): Z = Z(value)
|
|
}
|
|
}
|
|
|
|
fun interface IFoo<T> {
|
|
fun foo(x: T): String
|
|
}
|
|
|
|
fun foo1(fs: IFoo<Z>) = fs.foo(Z.create("OK"))
|
|
|
|
// MODULE: main(lib)
|
|
// FILE: main.kt
|
|
|
|
fun box(): String =
|
|
foo1 { it.result() }
|