class A {} fun A.foo() {} fun bar(a: A) { a.foo() } Resolved call: Resulting descriptor: fun A.foo(): Unit Explicit receiver kind = RECEIVER_ARGUMENT This object = NO_RECEIVER Receiver argument = a {A}