blob: 6be836e67d32cf6c0e22d82e2789f493551ecf60 [file]
// IGNORE_BACKEND_K1: ANY
// LANGUAGE: +ContextParameters
fun box(): String {
with("O") {
return (context(a: String) fun (y: String): String = a + y)("K")
}
}