kotlin/idea/testData/kotlinAndJavaChecker/javaAgainstKotlin/ImplementedMethodsFromTraits.kt

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

public class B: A {
}