Method report2

spotbugsTestCases/src/java/nonnull/TestNonNull.java:30–33

(B b)

    }

    public void report2(B b) {
        // arg1 must still not be null, though
        b.f(null, new Object());
    }

    public void report3(C c) {
        // C doesn't relax any constraints: A's constraints should apply