// FULL_JDK
fun foo(x: java.io.Serializable) {}

fun main() {
    foo("")
}