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

interface Base {
    void foo<caret>() default {
        System.out.println("Hi there.");
    }
}

class C implements Base {
}