codeql/java/ql/test-kotlin1/library-tests/methods-mixed-java-and-kotlin/W.kt

package k

interface A<T> {
    fun foo(t: T)
}

class B : A<String> {
    override fun foo(t: String) {}
}