Files
kotlin-fork/idea/testData/checker/regression/Jet183-1.jet
T
Andrey Breslav 117cead179 JET-183 Typechecker fails with enum constants
+
Tests for annotations
2011-07-14 19:04:07 +04:00

21 lines
427 B
Plaintext

enum class ProtocolState {
WAITING {
override fun signal() = ProtocolState.TALKING
}
TALKING {
override fun signal() = ProtocolState.WAITING
}
abstract fun signal() : ProtocolState
}
fun box(): String {
val x: ProtocolState = ProtocolState.WAITING
x = x.signal()
if (x != ProtocolState.TALKING) return "fail 1"
x = x.signal()
if (x != ProtocolState.WAITING) return "fail 2"
return "OK"
}