<@U0BA013K5>: just checked, it does smart cast for...
# getting-started
m
@martynas: just checked, it does smart cast for me? Assuming "var b : String? = null; if (b != null) b.length()"