Skip to content

manual_unwrap_or: Try suggesting map_or when unwrap_or fails#13127

Closed
tesuji wants to merge 1 commit into
rust-lang:masterfrom
tesuji:suggest_map_or
Closed

manual_unwrap_or: Try suggesting map_or when unwrap_or fails#13127
tesuji wants to merge 1 commit into
rust-lang:masterfrom
tesuji:suggest_map_or

Commits

Commits on Jul 19, 2024