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

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


Resolved call:

Resulting descriptor: val foo: (Int) -> Int

Explicit receiver kind = THIS_OBJECT
This object = a {A}
Receiver argument = NO_RECEIVER