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

  }

}

fun f($context_receiver_0: Context): String {
  return TODO()
}

fun f(): Any {
  return TODO()
}

fun test() {
  with<Context, Int>(receiver = Context(), block = local fun Context.<anonymous>(): Int {
    return f($context_receiver_0 = $this$with).<get-length>()
  }
) /*~> Unit */
}