From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 4 Feb 2024 12:58:40 +0000 (+0000)
Subject: Locally suppress a lint, with a TODO
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=2bc8b8f4ca5dbf0341b16b039d3e4b1718510fdf;p=mastodonochrome.git

Locally suppress a lint, with a TODO

I don't want to do this renaming now.
---

diff --git a/src/text.rs b/src/text.rs
index e20223a..3f86775 100644
--- a/src/text.rs
+++ b/src/text.rs
@@ -532,6 +532,9 @@ impl Paragraph {
         }
     }
 
+    // TODO clippy is right to complain, but I don't think I agree
+    // with the proposed resolution.  We should rename this method to `push`.
+    #[allow(clippy::should_implement_trait)]
     pub fn add(mut self, text: impl ColouredStringCommon) -> Self {
         self.push_text(text, false);
         self