<@U0B8SM5FX>: Why would you want new language cons...

# language-proposals

[alexander.asanov]

@alexfacciorusso: Why would you want new language construct? Smart casts is enough for your case.

if (nullable != null) {
        // smart cast magic happened
        val nonNullable = nullable
}

You don't even need new bindings here because you can use nullable as non nullable inside if