blob: a2d00e0156a67201cb2784fec535350ef0dcadf7 [file] [log] [blame]
// !LANGUAGE: +ContextReceivers
// TARGET_BACKEND: JVM_IR
class A {
val ok = "OK"
}
context(A)
class B {
fun result() = ok
}
fun box() = with(A()) {
B().result()
}