search

uber / NullAway

A tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead
MIT License
3.63k stars 293 forks source link

Properly handle `@NullUnmarked` generic types #872

Closed msridhar closed 3 months ago

msridhar commented 10 months ago

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 commented 10 months ago

FYI @akulk022

msridhar commented 3 months ago

I think this was fixed by #958