diff --git a/clippy_lints/src/types.rs b/clippy_lints/src/types.rs index 50a64516e..8c151f227 100644 --- a/clippy_lints/src/types.rs +++ b/clippy_lints/src/types.rs @@ -124,7 +124,6 @@ declare_clippy_lint! { /// Contents::None /// } /// ``` - /// pub OPTION_OPTION, pedantic, "usage of `Option>`"