Null-safety of generics, varargs and array elements

[sdeleuze]

See Kotlin/KEEP#79.

[sdeleuze]

We are discussing publishing a new null-safety library with JetBrains, that could be a replacement for JSR 305 and provide a solution for generics, varargs and array elements.

Any thoughts about the proposal and my remarks on the PR?

[simonbasle]

there has been no activity around this in a while

[sdeleuze]

In fact there has been quite a lot of activity on other channels, I was about to reach you about that. I am part of the https://github.com/jspecify/jspecify/ project which intent to provide better null safety annotations than JSR one with generics support. We are coming close to a point where we could test that on Reactor (with checks possible in the build and in Idea). Could you update the status accordingly?

[simonbasle]

got it, waiting to hear more from you then 👍

[chemicL]

I believe the most recent news on this would appear in spring-projects/spring-framework#28797. @sdeleuze do you think we should keep this issue open on our end? Is this an ongoing effort?

[sdeleuze]

As discussed recently, I am still waiting the opportuntity to discuss with the JSpecify team in order to provide a useful feedback. Should happen in January.

[sdeleuze]

I shared on spring-projects/spring-framework#28797 (comment) that Spring Framework 7 intends to migrate to JSpecify, I recommend the related version of Reactor to do the same. Happy to provide guidance and support.