Edarke opened a new pull request, #14132:
URL: https://github.com/apache/lucene/pull/14132

   Annotate public APIs with an internal definition of `@Nullable` where 
appropriate.
   
   This proposal is a follow up from the discussion 
[here](https://lists.apache.org/thread/oh09k7nlvntzf49gx7d399d1chdk1z0n). This 
change adds an internal copy of JSpecify's `@Nullable` to lucene-util and uses 
Intellij's "infer nullability" feature to automatically apply the annotation to 
`IndexSearcher` and its dependencies. If this looks good, there will be a 
follow up PR to automatically annotate other APIs.
   
   The motivation for this change is to increase the null safety of downstream 
projects using Lucene by allowing users to configure a javac plugin to lint 
their build. This change was tested with NullAway, which recognizes any 
annotation with the simple class name `@Nullable`
   


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: issues-unsubscr...@lucene.apache.org

For queries about this service, please contact Infrastructure at:
us...@infra.apache.org


---------------------------------------------------------------------
To unsubscribe, e-mail: issues-unsubscr...@lucene.apache.org
For additional commands, e-mail: issues-h...@lucene.apache.org

Reply via email to