plugins/kotlin-dataframe/testData/diagnostics/targetOfCastIsAny.kt

import org.jetbrains.kotlinx.dataframe.*
import org.jetbrains.kotlinx.dataframe.annotations.*
import org.jetbrains.kotlinx.dataframe.api.*
import org.jetbrains.kotlinx.dataframe.io.*

fun box(): String {
    val df = DataFrame.Empty
    df.cast<Any>()
    return "OK"
}