Sign in
◑
Theme
pigweed
/
third_party
/
github
/
JetBrains
/
kotlin
/
HEAD
/
.
/
compiler
/
testData
/
codegen
/
box
/
casts
/
asSafe.kt
blob: b80dda05ce0ede7ac28dfcc10c2c2571eb28bbd2 [
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"
}