checker/tests/nullness/CallSuper.java

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

class MyFilterInputStream {
  MyFilterInputStream(InputStream in) {}
}

public class CallSuper extends MyFilterInputStream {
  CallSuper(@Nullable InputStream in) {
    // The MyFilterInputStream constructor takes a NonNull argument
    // (but that's not true of FilterInputStream itself).
    // :: error: (argument)
    super(in);
  }
}