void () { IgnoreAnnotations a = Instances.IGNORE_ANNOTATIONS; Derived x = Instances.DERIVED; // jspecify_nullness_mismatch a.foo(x, null).foo(); // jspecify_nullness_mismatch a.foo(null, x).foo(); // jspecify_nullness_mismatch a.field.foo(); // jspecify_nullness_mismatch a.everythingNotNullable(null).foo(); a.everythingNotNullable(x).foo(); // jspecify_nullness_mismatch a.everythingNullable(null).foo(); // jspecify_nullness_not_enough_information a.everythingUnknown(null).foo(); }