Replace option.map(cond) == Some(true) with option.is_some_and(cond)#118253
Merged
bors merged 1 commit intorust-lang:masterfrom Nov 25, 2023
Merged
Replace `option.map(cond) == Some(true)` with `option.is_some_and(cond)`#118253bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
