FR: Strict Nullability?

[stefanhaustein]

Hi,

Unfortunately, the current nullability annotations don't work in all the places where they are needed for strict null-marking. For instance, we currently can't correctly mark the generic value type of the Attribute Map Entry as nullable with javax.annotations.Nullable:

public class Attribute implements Map.Entry<String, @Nullable String>, Cloneable  {

Would you mind if I'd create a PR to switch the project to strict nullability using Jspecify? This would also allow us to switch the two internal "NonNullByDefault" annotations over to @NullMarked.

Stefan

[jhy]

Hi - sure I'd be happy to take a look at a PR and improve this. I'm not very familiar with jspecify so will I will need to dig into that. Impl needs to maintain API compatibility.