1
93%
master: 93%

Ran 07 May 2022 07:55PM UTC

Files 73

Run time 4s

Badge

Embed ▾

Committed 07 May 2022 07:53PM UTC coverage: 92.091% (+0.003%) from 92.088%

Job # #845.1

Build Type

push

github-actions

Committed by

web-flow

Commit Message

Treat Void return type as @Nullable Void (#595)

This reverts the user-visible change from https://github.com/uber/NullAway/pull/586.  We have found use cases involving generics and method overriding where requiring writing of `@Nullable Void` currently requires adding some ugly error suppressions.  We need to think through those cases more carefully before requiring `@Nullable` on `Void`.

To be clear, this restored handling of `Void` is unsound.  We treat a `Void` return type as `@Nullable Void` when checking `return` statements (so they are allowed to return `null`), but at call sites of methods with a `Void` return type, we assume the method will return a `@NonNull` value.  Also, if an overriding method has return type `Void`, we treat it as `@NonNull Void`, which leads to unsound checking of method subtyping.

Run Details

4797 of 5209 relevant lines covered (92.09%)

0.92 hits per line

uber / NullAway / #845 / 1
93%
master: 93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #845.1

uber / NullAway / #845 / 1 93% master: 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #845.1

uber / NullAway / #845 / 1
93%
master: 93%

README BADGES
x