java/java-tests/testData/refactoring/turnRefsToSuper/cast/after/A.java

class A implements I {
   int method() {
       return 0;
   }
}