// DONT_TARGET_EXACT_BACKEND: JS JS_IR JS_IR_ES6 WASM NATIVE
// MODULE: lib
// FILE: Foo.java

import java.util.Collection;

public class Foo {
    public static <T extends CharSequence & java.io.Serializable> T id(T p) {
        return p;
    }
}

// MODULE: main(lib)
// FILE: 1.kt

fun box(): String {
    return Foo.id("OK" as java.lang.String)!! as kotlin.String
}