If I recall correctly, it only works on fairly str...

# language-proposals

[fellshard]

If I recall correctly, it only works on fairly straightforward cases. Inside this block:

var x: String? = ...
if(x != null) {
    // x is smart-cast inside this block to be of type String, not String?
}