> 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