Skip to content

allow needless_option_take to report for more cases#13684

Merged
Centri3 merged 1 commit intorust-lang:masterfrom
ericwu17:generalized-needless-option-take
Dec 14, 2024
Merged

allow needless_option_take to report for more cases#13684
Centri3 merged 1 commit intorust-lang:masterfrom
ericwu17:generalized-needless-option-take

Commits

Commits on Dec 12, 2024