diff options
author | Taiki Endo <te316e89@gmail.com> | 2020-09-19 20:40:03 +0900 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-19 20:40:03 +0900 |
commit | 68f7eff39e5adf2246770d7239ed83731297d1f3 (patch) | |
tree | f297d280e73afbb83025395050e0f03b15ca142f /tokio/src | |
parent | 207320dbbbacb4e7c8c12f6e94f5e78eb0f055a5 (diff) |
time: remove outdated todo comment (#2848)
Diffstat (limited to 'tokio/src')
-rw-r--r-- | tokio/src/time/interval.rs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tokio/src/time/interval.rs b/tokio/src/time/interval.rs index 6a97f59b..52e081ce 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 } |