#1162
93%

Ran 12 Aug 2023 10:18PM UTC

Jobs 1

Files 81

Run time 2s

Badge

Embed ▾

pending completion

Build # #1162

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

Jobs

ID	Job ID	Ran	Files	Coverage
1	#1162.1	12 Aug 2023 10:18PM UTC	0	93.13

Source Files on build #1162

Detailed source file information is not available for this build.

uber / NullAway / #1162
93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #1162

uber / NullAway / #1162 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #1162

uber / NullAway / #1162
93%

README BADGES
x