java/java-tests/testData/inspection/canBeFinal/methodInheritance/src/a.java

public final class a {
  public final void foo() {
  }
}

final class b extends a {
  public void foo() {}
}