<@U0B8SM5FX>: Why would you want new language cons...
# language-proposals
a
@alexfacciorusso: Why would you want new language construct? Smart casts is enough for your case.
Copy code
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