Skip to content

Rename overlapping_patterns lint#78242

Merged
bors merged 6 commits into
rust-lang:masterfrom
Nadrieril:rename-overlapping_endpoints-lint
Dec 22, 2020
Merged

Rename overlapping_patterns lint#78242
bors merged 6 commits into
rust-lang:masterfrom
Nadrieril:rename-overlapping_endpoints-lint

Tweak diagnostics

5b6c175
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs