Skip to content

Do not lint when range is completely included into another one#6603

Merged
bors merged 2 commits intorust-lang:masterfrom ThibsG:MatchOverlappingArm5986Jan 31, 2021
+57-17

Commits

Commits on Jan 17, 2021

Commits on Jan 24, 2021