Dmitriy Novozhilov
24 lines
388 B
Kotlin
Vendored
24 lines
388 B
Kotlin
Vendored
interface IC1 {
|
|
abstract operator fun component1(): Int
|
|
|
|
}
|
|
|
|
interface IC2 {
|
|
abstract operator fun component2(): String
|
|
|
|
}
|
|
|
|
fun test(x: Any) {
|
|
when {
|
|
when {
|
|
x is IC1 -> x /*as IC1 */ is IC2
|
|
else -> false
|
|
} -> { // BLOCK
|
|
val tmp_0: Any = x
|
|
val x1: Int = tmp_0 /*as IC1 */.component1()
|
|
val x2: String = tmp_0 /*as IC2 */.component2()
|
|
}
|
|
}
|
|
}
|
|
|