Thank you very much for that article link. Very interesting article.

The idea of smart casts in Kotlin comes from Scala, which doesn't have nullable types. And yet, in Scala, I've never gotten a warning about possible nulls, or indeed a warning about anything, that I want to sidestep, much less suppress.