class C {
  val c: Int
    field = 42
    get

  constructor() /* primary */ {
    super/*Any*/()
    /* <init>() */

  }

}

fun bar(c: C) {
  with<C, Unit>(receiver = c, block = local fun C.<anonymous>() {
    foo($context_receiver_0 = $this$with)
  }
)
}

fun foo($context_receiver_0: C) {
  $context_receiver_0.<get-c>() /*~> Unit */
}