class C {
  val result: String
    field = "OK"
    get

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

  }

}

fun box(): String {
  return contextual(f = context($context_receiver_0: C)
  local fun <anonymous>(): String {
    return $context_receiver_0.<get-result>()
  }
)
}

fun contextual(f: Function1<C, String>): String {
  return f.invoke(p1 = C())
}

