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

interface Int {}
public class Test implements In<caret>t {}
class B extends Test implements Int {}