jspecify-discuss

Contact owners and managers

1–19 of 19

0 selected

Benjamin Evans, … tagir....@jetbrains.com3

Oct 21

Quarkus CDI injection with defaults

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

unread,

Quarkus CDI injection with defaults

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

Oct 21

Rich MacDonald, Chris Povirk7

Sep 27

Pros/Cons of Nullable Generic Type Declaration and ways to reduce verbiage

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

unread,

Pros/Cons of Nullable Generic Type Declaration and ways to reduce verbiage

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

Sep 27

Rich MacDonald3

Sep 14

Help understanding a 'type is made accessible using the less-annotated type' warning

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

unread,

Help understanding a 'type is made accessible using the less-annotated type' warning

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

Sep 14

Sep 11

OpenRewrite recipe for jspecify

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

unread,

OpenRewrite recipe for jspecify

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

Sep 11

Manu Sridharan, Liam Miller-Cushon3

Jul 19

tool to move declaration @Nullable annotations to the right spot for type-use annotations?

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

unread,

tool to move declaration @Nullable annotations to the right spot for type-use annotations?

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

Jul 19

Jens Bannmann, Chris Povirk2

Jul 18

Optional<@NonNull T>

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

unread,

Optional<@NonNull T>

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

Jul 18

Greg Thomas, … Sebastien Deleuze3

Jul 18

jspecify with other annotations

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

unread,

jspecify with other annotations

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

Jul 18

PBoe, Chris Povirk2

Jul 16

"unspecified" local variables complain but need to be annotatable with "@Nullable" or to be excluded from the Marking-Requirements

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

unread,

"unspecified" local variables complain but need to be annotatable with "@Nullable" or to be excluded from the Marking-Requirements

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

Jul 16

Jun 28

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

unread,

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

Jun 28

Baron Roberts, David P. Baker3

Jun 10

Can we get a status update on JSpecify

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

unread,

Can we get a status update on JSpecify

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

Jun 10

Sebastien Deleuze, … Manu Sridharan9

Mar 27

Feedback with Spring Framework codebase

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

unread,

Feedback with Spring Framework codebase

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

Mar 27

Caleb Cushing, Chris Povirk2

Mar 15

add a deprecated Nonnull

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

unread,

add a deprecated Nonnull

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

Mar 15

Caleb Cushing, … Chris Povirk6

Mar 15

does nullmarking packages recurese?

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

unread,

does nullmarking packages recurese?

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

Mar 15

pompiuses pompiuses, David P. Baker2

Mar 4

Maven plugin for JSpecify

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

unread,

Maven plugin for JSpecify

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

Mar 4

Caleb Cushing, … Manu Sridharan8

Feb 22

general user feedback

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

unread,

general user feedback

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

Feb 22

Kevin Bourrillion

12/11/23

Video presentation about JSpecify

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

unread,

Video presentation about JSpecify

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

12/11/23

Kevin Bourrillion, … Caio César3

12/11/23

Manu and I are livestreaming about JSpecify tomorrow/Wednesday

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

unread,

Manu and I are livestreaming about JSpecify tomorrow/Wednesday

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

12/11/23

Reinier Zwitserloot, … Kevin Bourrillion6

10/2/23

Expanding the horizon beyond nullity: Far-future, or is there a list?

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

unread,

Expanding the horizon beyond nullity: Far-future, or is there a list?

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

10/2/23

Björn Michael, Kevin Bourrillion2

2/9/23

Type-use annotation syntax and qualified names

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

unread,

Type-use annotation syntax and qualified names

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

2/9/23

Search

Clear search

Close search

Google apps

Main menu