Skip to content

Add missing override to RestoreNullnessAnnotationsVisitor#1154

Merged
msridhar merged 1 commit intomasterfrom
issue-1129
Mar 4, 2025
Merged

Add missing override to RestoreNullnessAnnotationsVisitor#1154
msridhar merged 1 commit intomasterfrom
issue-1129

Conversation

@msridhar
Copy link
Copy Markdown
Collaborator

@msridhar msridhar commented Mar 1, 2025

We missed the case for ForAll types (for generic methods)

Fixes #1129

@msridhar msridhar requested review from akshayutture and yuxincs March 1, 2025 20:32
@codecov
Copy link
Copy Markdown

codecov Bot commented Mar 1, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 88.16%. Comparing base (0888040) to head (21f7154).
Report is 1 commits behind head on master.

Additional details and impacted files
@@            Coverage Diff            @@
##             master    #1154   +/-   ##
=========================================
  Coverage     88.15%   88.16%           
  Complexity     2281     2281           
=========================================
  Files            87       87           
  Lines          7455     7461    +6     
  Branches       1490     1491    +1     
=========================================
+ Hits           6572     6578    +6     
  Misses          445      445           
  Partials        438      438           

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

@msridhar msridhar merged commit baf8f77 into master Mar 4, 2025
@msridhar msridhar deleted the issue-1129 branch March 4, 2025 17:53
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.

Undetected @Nullable annotation in super method

2 participants