Sign in
pigweed
/
third_party
/
github
/
JetBrains
/
kotlin
/
eeaff786f0d0a86b7b827da0028bbafe287d3c04
/
.
/
compiler
/
testData
/
codegen
/
box
/
contextParameters
/
contextParameterToDefaultArgument.kt
blob: 7781473fe85bfb95138b101cf35a9eb1159ae00b [
file
]
// IGNORE_BACKEND_K1: ANY
// 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
()
}
}