Skip to content

Rename *Guard::try_map to filter_map.#140536

Merged
bors merged 1 commit intorust-lang:masterfrom
zachs18:mapped-guard-filter-map
May 3, 2025

Commits

Commits on May 1, 2025