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

  }

}

context($context_receiver_0: Context)
fun f(): 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 */
}

