void () { Defaults a = Instances.DEFAULTS; Foo x = Instances.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(); // jspecify_nullness_mismatch a.mixed(null).foo(); // jspecify_nullness_mismatch a.mixed(x).foo(); a.explicitlyNullnessUnspecified(x).foo(); // jspecify_nullness_not_enough_information a.explicitlyNullnessUnspecified(null).foo(); a.defaultField.foo(); // jspecify_nullness_mismatch a.field.foo(); }