that's a good point. An IDE hint might be nice in ...

# stdlib

[kevinmost]

that's a good point. An IDE hint might be nice in that case. The IDE currently gives you a nice, unobtrusive little hint when you get a smart-cast in Kotlin