Check handling of array types in unannotated / unmarked code

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

Open msridhar opened 1 month ago

msridhar commented 1 month ago

See #1027; we should do similar checking of our behavior with respect to restrictive annotations on array types.