Sign in
◑
Theme
pigweed
/
third_party
/
github
/
JetBrains
/
kotlin
/
HEAD
/
.
/
compiler
/
testData
/
codegen
/
box
/
delegatedProperty
/
delegateToCastReceiver.kt
blob: e9d6cac52619f2342294848f7be0e5c43fdc4ee5 [
file
]
// WITH_STDLIB
// CHECK_BYTECODE_LISTING
class
A
{
var
x
=
"start"
}
val a
:
Any
=
A
()
class
B
{
var
y
by
(
a
as
A
)::
x
}
fun box
():
String
{
val b
=
B
()
if
(
b
.
y
!=
"start"
)
return
"FAIL 1: ${b.y}"
b
.
y
=
"K"
return
"O"
+
(
a
as
A
).
x
}