if `v` is `val`, `if` can smart-cast to non nullab...
# announcements
d
if
v
is
val
,
if
can smart-cast to non nullable