I guess this is a bug ( ? ) 1. smart-cast is impossible 2. unresolved reference 3. variable 

s

 should be inlined ( Note how only the first form of

when

hint me that it should be exhaustive 🤔, changing order still hint only for that form ) ( Using

One

as initial or with explicit

: Type

it doesn’t change at all, nor changing the order of the `when`s )