Simplify negative Option::{is_some_and,is_none_or}#13443
Merged
bors merged 1 commit intorust-lang:masterfrom Oct 2, 2024
Merged
Simplify negative `Option::{is_some_and,is_none_or}`#13443bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
