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

// TARGET_BACKEND: JVM

// FILE: lib.kt
inline fun <reified T : CharSequence> f(x: Array<out Any>) = x as Array<T>

// FILE: main.kt
fun box(): String = try {
    f<String>(arrayOf<Int>(42))
    "Fail"
} catch (e: Exception) {
    "OK"
}