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

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


Resolved call:

Explicit receiver kind = THIS_OBJECT
This object = foo
Receiver argument = NO_RECEIVER

Value arguments mapping:

SUCCESS  p1 : Int = 1