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 */)
  }
)
}

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

