Kotlin has type inference and smart-casting, which i guess is what you mean!?

Most probably, sorry I lost track of languages changelog there's so many of them these days.

Just saying, kotlin wasn't just a more aesthetically pleasing java, there were some deeper benefits as far as i can tell.