class Context { constructor() /* primary */ { super/*Any*/() /* () */ } fun foo(): Int { return 1 } } class Test { private /* final field */ val contextReceiverField0: Context constructor($context_receiver_0: Context) /* primary */ { super/*Any*/() .#contextReceiverField0 = $context_receiver_0 /* () */ } fun bar() { val x: Int = .#contextReceiverField0.foo() } fun foo(): Int { return 2 } }