kotlin/compiler/testData/codegen/box/controlStructures/forInArrayWithIndex/forInByteArrayWithIndexWithSmartCast.kt

// KJS_WITH_FULL_RUNTIME
// WITH_RUNTIME

val arr = byteArrayOf(10, 20, 30, 40)

fun foo(xs: Any): String {
    if (xs !is ByteArray) return "not a ByteArray"

    val s = StringBuilder()
    for ((index, x) in xs.withIndex()) {
        s.append("$index:$x;")
    }
    return s.toString()
}

fun box(): String {
    val ss = foo(arr)
    return if (ss == "0:10;1:20;2:30;3:40;") "OK" else "fail: '$ss'"
}