// FIR_IDENTICAL
// !LANGUAGE: +ContextReceivers

class Context

context(Context)
fun f(): String = TODO()

fun f(): Any = TODO()

fun test() {
    with(Context()) {
        f().length
    }
}