trait A {
    val foo: (Int)->Int
}

fun test(a: A) {
    a.foo<caret>(1)
}


Resolved call:

Resulting descriptor: fun invoke(p1: Int): Int

Explicit receiver kind = THIS_OBJECT
This object = foo {Function1<Int, Int>}
Receiver argument = NO_RECEIVER

Value arguments mapping:

SUCCESS  p1 : Int = 1