Why doesn't smart cast use data from in-code contracts?

[ilya.gorbunov]

The contracts are an experimental feature that isn’t enabled yet. See the thread Status of kotlin.internal.contracts? for details.