class Inner {
  private /* final field */ val contextReceiverField0: Outer
  constructor($context_receiver_0: Outer, arg: Any) /* primary */ {
    super/*Any*/()
    <this>.#contextReceiverField0 = $context_receiver_0
    /* <init>() */

  }

  fun bar(): Int {
    return <this>.#contextReceiverField0.<get-x>()
  }

}

class Outer {
  val x: Int
    field = 1
    get

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

  }

}

fun f(outer: Outer) {
  with<Outer, Inner>(receiver = outer, block = local fun Outer.<anonymous>(): Inner {
    return Inner($context_receiver_0 = $this$with, arg = 3)
  }
) /*~> Unit */
}