checker/tests/nullness/OverrideNNOE2.java

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

public class OverrideNNOE2 {
  static class Super {
    @Nullable Object f;

    @RequiresNonNull("f")
    void call() {}
  }

  static class Sub extends Super {
    @Nullable Object g;

    @Override
    @RequiresNonNull({"f", "g"})
    // :: error: (contracts.precondition.override)
    void call() {
      g.hashCode();
    }
  }

  public static void main(String[] args) {
    Super s = new Sub();
    s.f = new Object();
    s.call();
  }
}