val foo: String? = ""
if (foo?.toString() != null) {
    // won't compile without this check, but compiler could infer it
    if (foo == null)
        return;

    val bar: String = foo;
}