Skip to content

A041 DuplicateLocalName#237

Merged
0xGeorgii merged 1 commit into
mainfrom
217-duplicate-local-name-rule
Jul 3, 2026
Merged

A041 DuplicateLocalName#237
0xGeorgii merged 1 commit into
mainfrom
217-duplicate-local-name-rule

A041 DuplicateLocalName

247460e
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Jul 3, 2026 in 0s

98.88% of diff hit (target 70.00%)

View this Pull Request on Codecov

98.88% of diff hit (target 70.00%)

Annotations

Check warning on line 103 in core/analysis/src/rules/duplicate_local_name.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

core/analysis/src/rules/duplicate_local_name.rs#L103 

Added line #L103 was not covered by tests
View more details on Codecov