In JSpecify mode, reason about array contents nullability in for-each loop over array

uber / NullAway

A tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead

MIT License

3.62k stars 290 forks source link

In JSpecify mode, reason about array contents nullability in for-each loop over array #983

Closed msridhar closed 2 months ago

msridhar commented 2 months ago

See test case forEachLoop() in #982. We don't properly reason that when the array contents are @Nullable the for-each loop variable is @Nullable.