1
93%
master: 93%

Ran 12 Aug 2023 10:18PM UTC

Files 81

Run time 1s

Badge

Embed ▾

Committed 12 Aug 2023 10:15PM UTC coverage: 93.127% (+0.05%) from 93.081%

Job # #1162.1

Build Type

push

github-actions

Committed by

web-flow

Commit Message

Generics checks for method overriding (#755)

This PR implements JSpecify-related generics checks for method
overriding, including:

* checks that overrides of generic methods respect subtyping of
nullability qualifiers
* proper handling of calls to generic methods, taking into account
(qualified) types passed as type parameters

See the new tests and docs for further examples.

**Note:** This PR does not handle overriding in explicitly-typed
anonymous inner classes. Those will be handled in a follow-up PR, to
keep the PR size manageable.

---------

Co-authored-by: Manu Sridharan <msridhar@gmail.com>

Run Details

5718 of 6140 relevant lines covered (93.13%)

0.93 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #1162.1

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #1162.1

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

README BADGES
x