compiler/testData/asJava/lightClasses/ExtendingInterfaceWithDefaultImpls.java

public interface B extends p.A {
    @org.jetbrains.annotations.NotNull
    java.lang.String b();

    static final class DefaultImpls {
        @org.jetbrains.annotations.NotNull
        public static java.lang.String b(p.B $this) { /* compiled code */ }

        @org.jetbrains.annotations.NotNull
        public static java.lang.String a(p.B $this) { /* compiled code */ }
    }
}