kotlin-fork/compiler/testData/diagnostics/tests/regressions/Jet169.kt

fun set(key : String, value : String) {
  val a : String? = ""
  when (a) {
    "" -> <!DEBUG_INFO_SMARTCAST!>a<!>.get(0)
    is String, is Any -> <!DEBUG_INFO_SMARTCAST!>a<!>.compareTo("")
    else -> a.toString()
  }
}