FILE: main.kt
    public final fun foo(m: R|MyRunnable|): R|kotlin/Unit| {
    }
    public final fun MyRunnable(x: R|kotlin/Function1<kotlin/Int, kotlin/Boolean>|): R|kotlin/Int| {
        ^MyRunnable Int(1)
    }
    public final fun main(): R|kotlin/Unit| {
        <Inapplicable(INAPPLICABLE): [/foo]>#(R|/MyRunnable|(<L> = MyRunnable@fun <anonymous>(x: R|kotlin/Int|): R|kotlin/Boolean| <kind=EXACTLY_ONCE>  {
            >(R|<local>/x|, Int(1))
        }
        ))
        <Inapplicable(INAPPLICABLE): [/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))
        }

        <Inapplicable(INAPPLICABLE): [/foo]>#(R|/MyRunnable|(R|<local>/x|))
    }
