Skip to content

Fix manual_unwrap_or false positive#13061

Merged
bors merged 2 commits into
rust-lang:masterfrom
tesuji:fix-map-unwrap-or-13018
Jul 13, 2024
Merged

Fix manual_unwrap_or false positive#13061
bors merged 2 commits into
rust-lang:masterfrom
tesuji:fix-map-unwrap-or-13018

Commits

Commits on Jul 7, 2024