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