openide/plugins/kotlin/idea/tests/testData/kotlinAndJavaChecker/javaAgainstKotlin/ImplementedMethodsFromInterfaces.kt

public interface A {
    public fun foo() {}
}

public class B: A {
}