Method report

spotbugsTestCases/src/java/nonnull/TestNonNull.java:20–23

(A a)

public class TestNonNull implements B {
    public void report(A a) {
        // Report: first arg is declared @NonNull by A
        a.f(null, new Object());
    }

    public void doNotReport(B b) {
        // The B interface declared arg 2 to be @CheckForNull, so this is OK