blob: 851a093b646f51e4244d7550c4e80ad3f567ccd1 [file]
class Box(var item: String?)
fun expectString(it: String) {}
fun Box.test() {
val other = Box("")
myRun {
if (item != null) {
expectString(<!SMARTCAST_IMPOSSIBLE!>item<!>)
other.item = null
expectString(<!SMARTCAST_IMPOSSIBLE!>item<!>)
this.item = null
expectString(<!TYPE_MISMATCH!>item<!>)
}
}
var item: String? = "OK"
myRun {
if (item != null) {
this.item = null
expectString(<!DEBUG_INFO_SMARTCAST!>item<!>)
}
}
}
fun myRun(block: () -> Unit) {}