Use a better message for unnecessary_map_or lint#13708

y21 merged 1 commit intorust-lang:masterrust-lang/rust-clippy:masterfrom

samueltardieu:push-ovzwnvvxntoksamueltardieu/rust-clippy:push-ovzwnvvxntokCopy head branch name to clipboard