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 e20223a836c327bdc96fe976020b5881039ffa97..3f86775127659eb137cf8bdb391539765760a1b7 100644 (file)
--- 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