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