blob: 0c6faf7f57c29134cf625fe2adb22cf5a42fe1ee [file]
// FREE_COMPILER_ARGS: -Xbinary=genericSafeCasts=true
// IGNORE_BACKEND: JS_IR, JS_IR_ES6
open class A<T> {
val s: T = "zzz" as T
}
interface C {
val s: String
}
class B : C, A<String>()
class Data(val x: Int)
fun box(): String {
val b = B()
try {
val s = (b as A<Data>).s
return "FAIL: ${s.x}"
} catch (e: ClassCastException) {
return "OK"
}
}