Skip to content

Comments

fix: Fix unused-variable reported on variable names starting with digit#1689

Merged
bhirsz merged 1 commit intomainfrom
fix/unused_variable_with_digit
Feb 20, 2026
Merged

fix: Fix unused-variable reported on variable names starting with digit#1689
bhirsz merged 1 commit intomainfrom
fix/unused_variable_with_digit

Conversation

@bhirsz
Copy link
Member

@bhirsz bhirsz commented Feb 20, 2026

Fixes #1688

@bhirsz bhirsz merged commit fc6b78d into main Feb 20, 2026
10 checks passed
@bhirsz bhirsz deleted the fix/unused_variable_with_digit branch February 20, 2026 13:49
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.

False negative VAR02 reports

1 participant