Skip to content

replace one .map_or(true, ...) with .is_none_or(...)#136664

Merged
bors merged 1 commit intorust-lang:masterfrom
WaffleLapkin:un-map_or-true
Feb 7, 2025

Commits

Commits on Feb 6, 2025