replace one .map_or(true, ...) with .is_none_or(...)#136664
Merged
bors merged 1 commit intorust-lang:masterfrom Feb 7, 2025
Merged
replace one .map_or(true, ...) with .is_none_or(...)#136664bors merged 1 commit intorust-lang:masterfrom
.map_or(true, ...) with .is_none_or(...)#136664bors merged 1 commit intorust-lang:masterfrom
