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.type.incompatible)
        super(in);
    }
}
