Uplift `clippy::double_neg` lint as `double_negations` - #126604

Merged

bors merged 3 commits into

rust-lang:masterfrom

kadiwa4:uplift_double_negation

Jan 27, 2025

Commits on Jan 26, 2025

unrelated cleanup
kadiwa4
committed
d810d42
remove `clippy::double_neg`
kadiwa4
committed
9e316f3
implement lint `double_negations`
kadiwa4
committed
c1dcbeb