Mikhail Glukhikh
f6872dfbea
When on sealed can use is (both for derived classes and objects) or just comparison (only for derived objects). A pack of tests provided.
23 lines
586 B
Kotlin
Vendored
23 lines
586 B
Kotlin
Vendored
sealed class Sealed(val x: Int) {
|
|
interface ITuple {
|
|
val x: Int
|
|
val y: Int
|
|
}
|
|
class Tuple(override val x: Int, override val y: Int): ITuple
|
|
object First: Sealed(12)
|
|
open class NonFirst(tuple: Tuple): Sealed(tuple.x), ITuple {
|
|
override val y: Int = tuple.y
|
|
object Second: NonFirst(Tuple(34, 2))
|
|
class Third: NonFirst(Tuple(56, 3))
|
|
}
|
|
}
|
|
|
|
fun foo(s: Sealed): Int {
|
|
return <!NO_ELSE_IN_WHEN!>when<!>(s) {
|
|
is Sealed.First -> 1
|
|
!is <!INCOMPATIBLE_TYPES!>Sealed.ITuple<!> -> 0
|
|
// else required
|
|
}
|
|
}
|
|
|