It's basically the same as ```if (any !is String) ...
# announcements
k
It's basically the same as
Copy code
if (any !is String) throw ClassCastException()
which would also smartcast.