FILE: runnable.kt public final fun foo(runnable: R|java/lang/Runnable|): R|kotlin/Unit| { } public final fun main(): R|kotlin/Unit| { R|/foo|(R|java/lang/Runnable|( = Runnable@fun (): R|kotlin/Unit| { ^@Runnable Unit } )) }