blob: 0d76c62a383c7b5a90aaf028610f6eb1be9f0976 [file]
// LANGUAGE: +ContextParameters
class C(var a: String) {
fun foo(): String { return a }
}
context(a: C)
fun test(b: C = a): String {
return b.foo()
}
fun box(): String {
with(C("OK")) {
return test()
}
}