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