Auto merge of #6555 - stanislav-tkach:patch-1, r=flip1995

Remove duplication in the manual_ok_or lint example

changelog: none
This commit is contained in:
bors 2021-01-15 10:27:47 +00:00
commit 9ea66e946e

View File

@ -23,9 +23,6 @@ declare_clippy_lint! {
/// ```rust
/// let foo: Option<i32> = None;
/// foo.map_or(Err("error"), |v| Ok(v));
///
/// let foo: Option<i32> = None;
/// foo.map_or(Err("error"), |v| Ok(v));
/// ```
///
/// Use instead: