Sign in
pigweed
/
third_party
/
github
/
JetBrains
/
kotlin
/
f7ff397a310cd4d47fc4849043f8c9d47412e512
/
.
/
compiler
/
testData
/
codegen
/
box
/
sealed
/
simple.kt
blob: e342bbbd968d3ffe584d22eb6b0e46410b6e6578 [
file
]
// IGNORE_BACKEND_FIR: JVM_IR
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"
}