#845
93%

Ran 07 May 2022 07:55PM UTC

Jobs 1

Files 73

Run time 4s

Badge

Embed ▾

pending completion

Build # #845

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

Jobs

ID	Job ID	Ran	Files	Coverage
1	#845.1	07 May 2022 07:55PM UTC	0	92.09

Source Files on build #845

Detailed source file information is not available for this build.

uber / NullAway / #845
93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #845

uber / NullAway / #845 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #845

uber / NullAway / #845
93%

README BADGES
x