Sign in
pigweed
/
third_party
/
github
/
JetBrains
/
kotlin
/
9fc4d94d04f972782fee2dc5b3b25d052d88601a
/
.
/
compiler
/
testData
/
codegen
/
box
/
sealed
/
simple.kt
blob: 01ae3af2c9568e2f6396f370c950ebb13cec966f [
file
]
sealed
class
Season
{
class
Warm
:
Season
()
class
Cold
:
Season
()
}
fun foo
():
Season
=
Season
.
Warm
()
fun box
()
=
when
(
foo
())
{
is
Season
.
Warm
->
"OK"
is
Season
.
Cold
->
"Fail: Cold, should be Warm"
}