checker/tests/nullness/OverrideGenerics.java

import org.checkerframework.checker.nullness.qual.*;

class Super<S extends @Nullable Object> {
  public void m(S p) {}
}

class Impl1<T extends @NonNull Object> extends Super<T> {
  public void m(T p) {}
}

class Impl2<T> extends Super<T> {
  public void m(T p) {}
}