Skip to content

new lint [redundant_guards]#10955

Merged
bors merged 1 commit intorust-lang:masterfrom
Centri3:redundant_matches_guard
Jul 22, 2023
Merged

new lint [`redundant_guards`]#10955
bors merged 1 commit intorust-lang:masterfrom
Centri3:redundant_matches_guard

Commits

Commits on Jul 22, 2023