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

Add test case for @Nullable Void with override in JSpecify mode #990

Closed msridhar closed 2 months ago

msridhar commented 2 months ago

See #801. Only adds a test.

codecov[bot] commented 2 months ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 85.95%. Comparing base (09e9a93) to head (6d03030).

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #990 +/- ## ========================================= Coverage 85.95% 85.95% Complexity 2070 2070 ========================================= Files 83 83 Lines 6863 6863 Branches 1319 1319 ========================================= Hits 5899 5899 Misses 550 550 Partials 414 414 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.