Let's introduce a @NullPropagates annotation
It’s finally mature: a framework to define nullability in Java.
There have been so many attempts, but JSpecify is here to stay.
Now that this has been addressed, another challenge comes to mind:
How can we eliminate the boilerplate of handling incoming null arguments?