Method report3

spotbugsTestCases/src/java/nonnull/TestNonNull.java:35–38

(C c)

    }

    public void report3(C c) {
        // C doesn't relax any constraints: A's constraints should apply
        c.f(new Object(), null);
    }

    @Override
    public void f(Object obj, Object obj2) {