Add smart cast after a "require" statement?

Language Design
1

Smart casting is a great feature, and it seems to work with many standard control-flow mechanisms. But something like this does not work:

    var foo: Any? = null
    require (foo is Int)
    foo++

Are there plans to support this feature?

2

It does work since version 1.3

fun main() {
//sampleStart
    var foo: Any? = null
    require(foo is Int)
    foo++
//sampleEnd
}
3

https://kotlinlang.org/docs/reference/whatsnew13.html#contracts