I think so yes The compiler has something called smart casts kotlinlang #announcements

I think so, yes. The compiler has something called...

karelpeeters

10/21/2017, 4:45 PM

I think so, yes. The compiler has something called "smart casts", cast information can sometimes be retained.