NullAway icon indicating copy to clipboard operation
NullAway copied to clipboard

Properly handle `@NullUnmarked` generic types

Open msridhar opened this issue 2 years ago • 1 comments

Right now, we report an error for code like java.util.function.Function<@Nullable String,String> f = ... since we think Function has a non-null upper bound. But, since we currently treat Function as @NullUnmarked we shouldn't be doing this check in the first place. We need to tweak some of our JSpecify checking to detect when relevant code is @NullUnmarked` and bail out.

msridhar avatar Nov 29 '23 02:11 msridhar

FYI @akulk022

msridhar avatar Nov 29 '23 02:11 msridhar

I think this was fixed by #958

msridhar avatar Jun 21 '24 20:06 msridhar