Is there a reason why smart-casting to a `Cat` is ...

# announcements

[sindrenm]

Is there a reason why smart-casting to a Cat is not possible in these two (similar) cases? This is mainly out of curiosity, as I was explaining sealed classes to a colleague and kind of expected this to work.

Smart-cast_not_possible_.kt