Kirill Rakhman
21 lines
278 B
Kotlin
Vendored
21 lines
278 B
Kotlin
Vendored
// EXPECTED_REACHABLE_NODES: 1284
|
|
// MODULE: lib
|
|
// FILE: lib.kt
|
|
package lib
|
|
|
|
object O
|
|
|
|
// MODULE: main(lib)
|
|
// FILE: main.kt
|
|
package main
|
|
|
|
import lib.*
|
|
|
|
fun box(): String {
|
|
var o: Any = O
|
|
if (o !is O) return "fail1"
|
|
if (!(o is O)) return "fail2"
|
|
|
|
return "OK"
|
|
}
|