kotlin/compiler/testData/loadJava/javaAgainstKotlin/signaturePropagation/InheritExtensionAndNot/Sub.java

package test;

import org.jetbrains.jet.jvm.compiler.annotation.ExpectLoadError;

public interface Sub extends Super1, Super2 {
    @ExpectLoadError("Incompatible super methods: some are extension functions, some are not")
    void foo(String p);

    @ExpectLoadError("Incompatible super methods: some are extension functions, some are not|Incompatible super methods: some have vararg parameter, some have not")
    void bar(String... p);
}