compiler/testData/codegen/box/extensionClasses/useFromAnotherModule.kt

// LANGUAGE: +ContextReceivers, -ContextParameters
// TARGET_BACKEND: JVM_IR
// IGNORE_BACKEND_K2: ANY
// IGNORE_HEADER_MODE: ANY

// MODULE: lib
// FILE: A.kt

package a

class O(val o: String)

context(O)
class OK(val k: String) {
    val result = o + k
}

// MODULE: main(lib)
// FILE: B.kt

fun box(): String {
    return with(a.O("O")) {
        val ok = a.OK("K")
        ok.result
    }
}