java/java-tests/testData/refactoring/pushDown/ExtensionMethodToInterface_after.java

interface Base {
}

interface I2 extends Base {
    default void foo() {
        System.out.println("Hi there.");
    }
}