Sign in
◑
Theme
pigweed
/
third_party
/
github
/
JetBrains
/
kotlin
/
260e8dfd39d86c4c5db834113ee010d647f3995e
/
.
/
compiler
/
testData
/
codegen
/
box
/
contextParameters
/
contextParameterToDefaultArgument.kt
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
()
}
}