framework/tests/framework/MethodOverrideBadParam.java

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

public abstract class MethodOverrideBadParam {

  public abstract void method(String s);

  public static class SubclassA extends MethodOverrideBadParam {
    // :: error: (override.param)
    public void method(@Odd String s) {}
  }
}