blob: fff27db14f9fec9218e272b06f86a42589236afd [file]
// LANGUAGE: +ContextReceivers, -ContextParameters
// TARGET_BACKEND: JVM_IR
// IGNORE_BACKEND_K2: ANY
// IGNORE_HEADER_MODE: JVM_IR
class A {
val ok = "OK"
}
context(A)
class B {
fun result() = ok
}
fun box() = with(A()) {
B().result()
}