<@U0NUDKKMJ>: It's called "Smart cast" <https://k...
# announcements
c
@denis.st: It's called "Smart cast" https://kotlinlang.org/docs/reference/typecasts.html