kotlin-fork/compiler/testData/diagnostics/tests/override/parameterNames/kotlinInheritsJava.kt

// FILE: JavaInterface.java

public interface JavaInterface {
    void foo(int javaName);
}

// FILE: kotlin.kt

class SimpleSubclass : JavaInterface {
    override fun foo(kotlinName: Int) {}
}


interface SubtraitWithFakeOverride : JavaInterface

class Subclass : SubtraitWithFakeOverride {
    override fun foo(otherKotlinName: Int) {}
}