#843
93%

Ran 07 May 2022 07:35PM UTC

Jobs 1

Files 73

Run time 5s

Badge

Embed ▾

pending completion

Build # #843

Build Type

push

github-actions

Committed by

web-flow

Commit Message

Allow zero-argument static method calls to be the root of an access path (#596)

This allows code like `if (System.console() != null) { System.console().readLine() }` to typecheck without storing `System.console()` in a local variable.  The treatment is unsound in principle, but we believe will rarely introduce unsoundness in practice.  (We have a similar unsoundness for zero-argument (ignoring the receiver) instance methods, which we assume are getters.)

Run Details

4795 of 5207 relevant lines covered (92.09%)

0.92 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	#843.1	07 May 2022 07:35PM UTC	0	92.09

Source Files on build #843

Detailed source file information is not available for this build.

uber / NullAway / #843
93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #843

uber / NullAway / #843 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #843

uber / NullAway / #843
93%

README BADGES
x