diff --git a/clippy_dev/src/new_lint.rs b/clippy_dev/src/new_lint.rs index a3ccb2758e2..9e2a4617cde 100644 --- a/clippy_dev/src/new_lint.rs +++ b/clippy_dev/src/new_lint.rs @@ -131,7 +131,11 @@ declare_clippy_lint! {{ /// **Example:** /// /// ```rust - /// // example code + /// // example code where clippy issues a warning + /// ``` + /// Use instead: + /// ```rust + /// // example code which does not raise clippy warning /// ``` pub {name_upper}, {category},