From 93deced5531562a43048f59f853307749574a631 Mon Sep 17 00:00:00 2001
From: lucarlig <luca.carlig@huawei.com>
Date: Mon, 26 Feb 2024 07:02:40 +0400
Subject: [PATCH] change rs doc to no_run

---
 clippy_lints/src/doc/mod.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/clippy_lints/src/doc/mod.rs b/clippy_lints/src/doc/mod.rs
index 4a253e9fd6c..639179a070d 100644
--- a/clippy_lints/src/doc/mod.rs
+++ b/clippy_lints/src/doc/mod.rs
@@ -345,14 +345,14 @@ declare_clippy_lint! {
     /// ### Why is this bad?
     /// It is unlikely that there is any reason to have empty documentation for an item
     /// ### Example
-    /// ```rs
+    /// ```no_run
     /// ///
     /// fn returns_true() -> bool {
     ///     true
     /// }
     /// ```
     /// Use instead:
-    /// ```rs
+    /// ```no_run
     /// fn returns_true() -> bool {
     ///     true
     /// }