PreserveOverrideInPulledMethod.java

public class Test {
  abstract class Base extends IntImpl {
    @Override
    public abstract String<caret> foo();
  }

  class IntImpl extends Int {}
  
  class Int {
    public abstract String foo();
  }
}