Skip to content

New lint: option_needless_deref#7596

Merged
bors merged 2 commits intorust-lang:masterfrom
lengyijun:option_needless_deref
Sep 5, 2021
Merged

New lint: option_needless_deref#7596
bors merged 2 commits intorust-lang:masterfrom
lengyijun:option_needless_deref

Commits

Commits on Sep 4, 2021

Commits on Sep 5, 2021