compiler/testData/codegen/box/contextParameters/contextualLocalFunction.kt

// LANGUAGE: +ContextParameters

fun box(): String {
    context(s: String)
    fun f() = s

    return with("OK") {
        f()
    }
}