1
93%
master: 93%

Ran 07 May 2022 07:35PM UTC

Files 73

Run time 4s

Badge

Embed ▾

Committed 07 May 2022 07:32PM UTC coverage: 92.088% (+0.03%) from 92.059%

Job # #843.1

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

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #843.1

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #843.1

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

README BADGES
x