Migrate to standardised static analysis annotations

[joshuajaharwood]

There's a strong industry-wide push to migrate standardised static analysis annotations. This issue proposes for this project to do so also. (I can knock this out in 10 mins if you're interested).

[lessthanoptimal]

Can you go into a bit more detail about what you would like to do? Nullable is already there. What other annotations are you suggesting?

[joshuajaharwood]

I'm not suggesting usage of new annotations (though this can't be a bad thing), but rather swapping out the dependency. Looks like lots of large projects are moving to the nullability annotations provided by JSpecify.

NullAway is already using them (https://github.com/uber/NullAway/wiki/JSpecify-Support), and I remember seeing that Spring has a branch in merge review moving to them. IntelliJ also supports them natively, as I use them in some of my other projects.

Here's the FAQ if you're interested: https://github.com/jspecify/jspecify/wiki/jspecify-faq

[joshuajaharwood]

A thought - an advantage of this approach is that packages or entire modules (if you decide to use them) can be null-marked using @NullMarked, which will make static analysis tools prevent users passing in null to method params unless the parameter is marked as @nullable.

[lessthanoptimal]

I think there was another request for this. Go for it. It does seem like peopel are switching over. Just a keyword swap for now. Thanks!