FILE: sam.kt public abstract fun interface MySam : R|kotlin/Any| { public abstract fun run(x: R|kotlin/String|): R|kotlin/Int| } public final class A : R|kotlin/Any| { public constructor(): R|A| { super() } public final fun bar(x: R|kotlin/String|): R|kotlin/Int| { } } public final fun foo(x: R|MySam|): R|kotlin/Unit| { } public final fun main(): R|kotlin/Unit| { lval a: R|A| = R|/A.A|() R|/foo|(SAM(R|/a|::R|/A.bar|)) }