From 68f7eff39e5adf2246770d7239ed83731297d1f3 Mon Sep 17 00:00:00 2001
From: Taiki Endo <te316e89@gmail.com>
Date: Sat, 19 Sep 2020 20:40:03 +0900
Subject: [PATCH] time: remove outdated todo comment (#2848)

---
 tokio/src/time/interval.rs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/tokio/src/time/interval.rs b/tokio/src/time/interval.rs
index 6a97f59b5..52e081ce4 100644
--- a/tokio/src/time/interval.rs
+++ b/tokio/src/time/interval.rs
@@ -159,7 +159,6 @@ impl Interval {
     ///     // approximately 20ms have elapsed.
     /// }
     /// ```
-    #[allow(clippy::should_implement_trait)] // TODO: rename (tokio-rs/tokio#1261)
     pub async fn tick(&mut self) -> Instant {
         poll_fn(|cx| self.poll_tick(cx)).await
     }