Sign in
◑
Theme
pigweed
/
third_party
/
github
/
JetBrains
/
kotlin
/
HEAD
/
.
/
compiler
/
testData
/
codegen
/
box
/
casts
/
as.kt
blob: 882d8947d3f86aca341835ae8c1074c50b94395a [
file
]
// TARGET_BACKEND: JVM
fun foo
(
x
:
Any
)
=
x
as
Runnable
fun box
():
String
{
val r
=
object
:
Runnable
{
override
fun run
()
{}
}
return
if
(
foo
(
r
)
===
r
)
"OK"
else
"Fail"
}