time: remove outdated todo comment (#2848)

This commit is contained in:
Taiki Endo 2020-09-19 20:40:03 +09:00 committed by GitHub
parent 207320dbbb
commit 68f7eff39e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -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
}