framework/tests/framework/MethodOverrideBadReceiver.java

import org.checkerframework.framework.testchecker.util.*;

public abstract class MethodOverrideBadReceiver {

  public abstract String method();

  public static class SubclassA extends MethodOverrideBadReceiver {
    // :: error: (override.receiver)
    public String method(@Odd SubclassA this) {
      return "";
    }
  }
}