23 lines
842 B
Plaintext
Vendored
23 lines
842 B
Plaintext
Vendored
FILE: kotlinSam.kt
|
|
public abstract interface MyRunnable : R|kotlin/Any| {
|
|
public abstract fun foo(x: R|kotlin/Int|): R|kotlin/Boolean|
|
|
|
|
}
|
|
public final fun foo(m: R|MyRunnable|): R|kotlin/Unit| {
|
|
}
|
|
public final fun main(): R|kotlin/Unit| {
|
|
R|/foo|(R|/MyRunnable|(<L> = MyRunnable@fun <anonymous>(x: R|kotlin/Int|): R|kotlin/Boolean| <kind=EXACTLY_ONCE> {
|
|
>(R|<local>/x|, Int(1))
|
|
}
|
|
))
|
|
R|/foo|(R|/MyRunnable|(MyRunnable@fun <anonymous>(it: R|kotlin/Int|): R|kotlin/Boolean| <kind=EXACTLY_ONCE> {
|
|
>(R|<local>/it|, Int(1))
|
|
}
|
|
))
|
|
lval x: R|kotlin/Function1<kotlin/Int, kotlin/Boolean>| = fun <anonymous>(x: R|kotlin/Int|): kotlin/Boolean {
|
|
>(R|<local>/x|, Int(1))
|
|
}
|
|
|
|
R|/foo|(R|/MyRunnable|(R|<local>/x|))
|
|
}
|