spring-data-redis icon indicating copy to clipboard operation
spring-data-redis copied to clipboard
verified publisher icon spring-projects

Migrate to JSpecify annotations for nullability constraints

Open mp911de opened this issue 11 months ago • 3 comments

mp911de avatar Jan 15 '25 08:01 mp911de

@mp911de can you explain to me what the leftover is? I would like to open PR to resolve this issue if you don't mind.

AnneMayor avatar Mar 14 '25 11:03 AnneMayor

This ticket needs to be fully resolved. Migrating off org.springframework.lang.@Nullable|@NonNullApi to use JSpecifys @Nullable and @NullMarked (on the package), adding missing annotations to all Template API implementations and ensuring that NullAway does not report any nullability errors. This is quite an effort, even for a seasoned Spring developer so I recommend that you leave this one to us except if you are looking for a difficult-to-master adventure along with a hard time looking for workarounds.

mp911de avatar Mar 18 '25 10:03 mp911de

Oh, I see. Thanks for your comment. For now, I think it would be better to resolve others. I would challenge a difficult-to-master adventure if I resolve lots of issues and understand the whole picture of this library.

AnneMayor avatar Mar 22 '25 13:03 AnneMayor