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

interface Int {}
public class Test {}
class B extends Test implements Int {}