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

interface Base {
}

class C implements Base {
    public void foo() {
        System.out.println("Hi there.");
    }
}