compiler/testData/codegen/box/casts/arrayDowncatingInvariant.kt

// TARGET_BACKEND: JVM

inline fun <reified T : CharSequence> f(x: Array<Any>) = x as Array<T>

fun box(): String = try {
    f<String>(arrayOf<Any>(42))
    "Fail"
} catch (e: Exception) {
    "OK"
}