Active refactorings

[Keyslam]

Hello,

Is it possible to leverage error-prone to develop a system for active refactorings, such as 'rename method', which would then try and perform the error, or give an error if that is not possible (In cases of name collision, or something else)?

Another example would be

class Super {
  void Do() { }
}

class Sub extends Super {
  @Override
  void Do() { }

  void Test() {
    Do()
  }
}

Say we want to perform the refatoring 'remove method' on Sub.Do. This wouldn't cause a compile error, since the Do() call would result in calling Super.Do instead of Sub.Do. However, we'd want to instead receive a warning that this refactoring breaks or program.