class A { fun dynamic.foo() {} } fun bar(a: A, b: dynamic) { with (a) { b.foo() } } Resolved call: Resulting descriptor: fun foo(): dynamic defined in bar.`` Explicit receiver kind = DISPATCH_RECEIVER Dispatch receiver = b {dynamic} Extension receiver = NO_RECEIVER