jspecify-discuss

Fantastic! Thanks, Sebastien. Will repost. On Thu, Dec 19, 2024 at 6:20 AM 'Sebastien Deleuze

I agree that it's out of the scope of JSpecify. IntelliJ IDEA does not report this field, as it

I am going for "Let's make this work for java!" Which means people like me have to make

New question: Same code example but now interested in the interaction between Nullable/NonNull and

The OpenRewrite JSpecify recipe has been published: https://github.com/openrewrite/rewrite-migrate-

Thanks! I opened a PR to mention this option in the docs. Best, Manu On Jul 18, 2024 at 22:03:19,

Hi, Jens, I'd probably go with your signature with your suggested tweak to use Optional<@

Hi, The reason for Spring null-safety annotations like org.springframework.lang.NonNull is that we

Is this a problem that you are seeing in IntelliJ? If so, there's a bug that was filed against

Here is a first set of answers: -- dishwasher detergent. YES -- dish detergent (for hand washing).

Thanks David for the quick and exciting reply! Best of luck with the 1.0 release. Cheers Baron On

Spring Framework main branch has now 100% of its code checked with NullAway at build time. I have

Sorry for burying this message. I don't know that we'd talked about providing multiple names.

Thanks for the questions, and thanks, Manu, for already documenting one answer. On the question of

Thanks for your interest! I'm not exactly sure what you mean by "in case any of the JSpecify

Just a note that on the NullAway side we are actively working on a way to translate the annotations

I gave this presentation quite a while ago but it's still current info: https://www.youtube.com/

Nicolai just made it available in his channel: https://www.youtube.com/watch?v=HS_kA42YNkU El jueves,

On Wed, Sep 27, 2023 at 7:37 PM Reinier Zwitserloot <rein...@gmail.com> wrote: > These seem

I'm startled to see that we missed this message for 3 weeks! I'm very sorry about that; we