When moving a method with a receiver parameter to another class, the parameter that corresponds to the former 'this' instance should receive type use annotations originally present on the receiver parameter.

The refactoring should understand and remove the receiver parameter from the moved/copied declaration.


e.g. consider

 class MyClass {
    ...
    public boolean doSomething(@ReadOnly MyClass this, Object other) { ... }
  }

and doSomething is about to be moved.

if we don't specifically handle the 'this' parameter, a compilation error occurs after move (the 'this' parameter must be of the same type as enclosing class).