blob: 0d4bd399772a9d37e60750e3a7d062646c832ebb [file]
// LANGUAGE: +ContextParameters
class A(var x: String) {
fun foo(): String { return x }
}
var result = ""
context(a: A)
fun test() {
fun local(a: A) {
result = a.foo()
}
local(A("OK"))
}
fun box(): String {
with(A("not OK")) {
test()
}
return result
}