> Even in the presence of such tests, Java demands that the author cast their objects appropriately. This is one of the many reasons why I've found Kotlin so r

> Even in the presence of such tests, Java demands that the author cast their objects appropriately. This is one of the many reasons why I've found Kotlin so refreshing after five years of writing enterprise Java https://kotlinlang.org/docs/typecasts.html#smart-casts https://kotlinlang.org/docs/typecasts.html#smart-casts