java/java-tests/testData/codeInsight/overrideImplement/afterOverrideInInterface.java

interface A {
  void foo();
}

interface B extends A {
    @Override
    void foo();
}