Skip to content

Proper checking of vararg overrides with JSpecify annotations#1116

Merged
msridhar merged 6 commits intomasterfrom
issue-1113
Dec 26, 2024
Merged

Proper checking of vararg overrides with JSpecify annotations#1116
msridhar merged 6 commits intomasterfrom
issue-1113

Conversation

@msridhar
Copy link
Copy Markdown
Collaborator

Fixes #1113

We weren't calling the right API to check the nullability of a varargs argument when checking valid overriding. Most of this PR is tests to check handling of most of the cases.

@codecov
Copy link
Copy Markdown

codecov Bot commented Dec 25, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 88.14%. Comparing base (7cb6b98) to head (53aeb1b).
Report is 1 commits behind head on master.

Additional details and impacted files
@@            Coverage Diff            @@
##             master    #1116   +/-   ##
=========================================
  Coverage     88.13%   88.14%           
- Complexity     2231     2234    +3     
=========================================
  Files            85       85           
  Lines          7232     7237    +5     
  Branches       1437     1439    +2     
=========================================
+ Hits           6374     6379    +5     
  Misses          431      431           
  Partials        427      427           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@msridhar msridhar merged commit 6d331c7 into master Dec 26, 2024
@msridhar msridhar deleted the issue-1113 branch December 26, 2024 02:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Null-safety error related to superclass and varargs in Spring

2 participants